Added forall, exists, not exists, bidrectional implication and unidirectional implication with \forall, \exists, \nexists, \iff, \implies