chart
+1 ∧ U+2227 and
%1 ∨ U+2228 or
39 ¬ U+00ac not
77o ⇒ U+21D2 Implication (arrow to the right with double shaft)
[77o ⇔ U+21D4 Equivalence arrow (double arrow with double shaft)
The symbols for "and", "or" and "not" have a space after the character (see "5 Operation and Relations Characters").
The implication and equivalence arrows are between empty characters. These are called modular arrows (see "7.1 Modular arrows").