1 This is a generated file for the LaTeX2e validation system.
2 Don't change this file in any respect.
4 %% {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
5 %% 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
6 %% Digits \0\1\2\3\4\5\6\7\8\9
7 %% Exclamation \! Double quote \" Hash (number) \#
8 %% Dollar \$ Percent \% Ampersand \&
9 %% Acute accent \' Left paren \( Right paren \)
10 %% Asterisk \* Plus \+ Comma \,
11 %% Minus \- Point \. Solidus \/
12 %% Colon \: Semicolon \; Less than \<
13 %% Equals \= Greater than \> Question mark \?
14 %% Commercial at \@ Left bracket \[ Backslash \\
15 %% Right bracket \] Circumflex \^ Underscore \_
16 %% Grave accent \` Left brace \{ Vertical bar \|
17 %% Right brace \} Tilde \~}
21 Author: David Carlisle
31 \(1=3 \and 2=2\) \or 5=5
33 \(1=3 \and 2=2\) \and 5=5
35 \(1=3 \and 2=2\) \or \( 5=5 \or 1=7\)
56 \boolean {aaa} \and 1 < 3
58 \( 1 < 3 \) \and \( \equal {aaax}{\aaa } \or 1=1 \) \and 2=2
60 \( \equal {aa}{bb} \or \equal {\aaa }{aaa} \) \and 6<9 \or \boolean {false}
64 1<2 \and \( 1=1 \and 2 < 3 \) \and \( \equal {aa}{aa} \or 1<4 \)
66 1<2 \and \( 1=1 \and 2 < 2 \) \and \( \equal {aa}{aa} \or 1<4 \)
68 1<2 \and \( 1=1 \and 2 < 2 \) \and \not \( \equal {aa}{aa} \or 1<4 \)
95 no : yes!! (wrong value)
97 yes: no !! (wrong value)
98 \isodd {\pageref {foo}}
101 \isodd {\pageref {bar}}
103 \lengthtest { 1pt < 1in}
105 \lengthtest { 1pt = 1in} \or \( \boolean {false} \and 3 = 3 \)
107 \lengthtest { 1pt = 1in} \or \( \boolean {false} \and 3 = 3 \) \or \lengthtest {72bp = 1in}
109 \lengthtest {72bp = 1in}
115 \boolean {true} \or \isodd {\pageref {bar}}
117 \equal {\aaa }{\bbb }
119 \equal {\aaa }{\bbb }
121 \boolean {true} \or \isodd {3}
123 \boolean {true} \or \equal {x}{y}