\land,\lnot,\forall,=.