More formally, you might see the following. HTML symbol names are in parentheses.

¬ NOT   (¬)

OR   (∨)

AND   (∧)

equivalent   (≡)

→ implies   (→)

if and only if   (↔)

| NAND

NOR   (↓)

falsum, 0   (⊥)

Log in or registerto write something here or to contact authors.