2 This is a generated file for the LaTeX2e validation system.
4 Don't change this file in any respect.
8 %% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
9 %% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
10 %% Digits \0\1\2\3\4\5\6\7\8\9
11 %% Exclamation \! Double quote \" Hash (number) \#
12 %% Dollar \$ Percent \% Ampersand \&
13 %% Acute accent \' Left paren \( Right paren \)
14 %% Asterisk \* Plus \+ Comma \,
15 %% Minus \- Point \. Solidus \/
16 %% Colon \: Semicolon \; Less than \<
17 %% Equals \= Greater than \> Question mark \?
18 %% Commercial at \@ Left bracket \[ Backslash \\
19 %% Right bracket \] Circumflex \^ Underscore \_
20 %% Grave accent \` Left brace \{ Vertical bar \|
21 %% Right brace \} Tilde \~}
28 Author: David Carlisle
39 \(1=3 \and 2=2\) \or 5=5
41 \(1=3 \and 2=2\) \and 5=5
43 \(1=3 \and 2=2\) \or \( 5=5 \or 1=7\)
65 \boolean {aaa} \and 1 < 3
67 \( 1 < 3 \) \and \( \equal {aaax}{\aaa } \or 1=1 \) \and 2=2
70 \( \equal {aa}{bb} \or \equal {\aaa }{aaa} \) \and 6<9 \or \boolean {false}
76 1<2 \and \( 1=1 \and 2 < 3 \) \and \( \equal {aa}{aa} \or 1<4 \)
79 1<2 \and \( 1=1 \and 2 < 2 \) \and \( \equal {aa}{aa} \or 1<4 \)
82 1<2 \and \( 1=1 \and 2 < 2 \) \and \not \( \equal {aa}{aa} \or 1<4 \)
111 no : yes!! (wrong value)
114 yes: no !! (wrong value)
115 \isodd {\pageref {foo}}
119 \isodd {\pageref {bar}}
121 \lengthtest { 1pt < 1in}
124 \lengthtest { 1pt = 1in} \or \( \boolean {false} \and 3 = 3 \)
127 \lengthtest { 1pt = 1in} \or \( \boolean {false} \and 3 = 3 \) \or \lengthtest
130 \lengthtest {72bp = 1in}
136 \boolean {true} \or \isodd {\pageref {bar}}
138 \equal {\aaa }{\bbb }
140 \equal {\aaa }{\bbb }
142 \boolean {true} \or \isodd {3}
144 \boolean {true} \or \equal {x}{y}