We use a notation in which a list of formulas bulleted by
<CODE>/\</CODE> or <CODE>\/</CODE> denotes the conjunction or
disjunction of the formulas, and indentation is used to eliminate
parentheses.  It will always be clear from context
whether a <CODE>/\</CODE> or <CODE>\/</CODE> is being used in
this way, or as a regular infix operator.  For example
<PRE>
  /\ \/ A
     \/ B <A HREF = "conj.html">/\</A> C
  /\ D
  /\ \/ E     
     \/ F
</PRE>
equals
<PRE>
  (A <A HREF = "disj.html">\/</A> (B <A HREF = "conj.html">/\</A> C)) <A HREF = "conj.html">/\</A> D <A HREF = "conj.html">/\</A> (E <A HREF = "disj.html">\/</A> F)
</PRE>