Expression Forms
lFunction symbols
land: ú . &&juxtaposition
Example: x y means x ú y
lor: û   +  ||
lnot: ù   !Õ superscript  ­ (overbar)
lExample: These mean the same thing:
l(a ú b) û (c ú ù d)
lab + cdÕ
lBinding order, tightest to weakest: not, and, or