Am 28.10.2009 um 15:21 schrieb Steffen Wolfrum:

Hi,

hopefully the four symbols that should come next are still in your email: ¬ ∨ ∧ ≡

I assume they are called conjunction, disjunction, negation and equals (with three lines).

Does anybody know how to set them in (con)tex?

Found it (in http://en.wikipedia.org/wiki/Table_of_logic_symbols): \lnot \lor \land \equiv Steffen