[NTG-context] Operator symbols ?

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