Re: [NTG-context] Operator symbols ?

2009-10-28 Thread Steffen Wolfrum
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

[NTG-context] Operator symbols ?

2009-10-28 Thread 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? Thanks Steffen _