Logical operators

• ∧ (and)

• ∨ (or)

• ¬ (not)

• ⊻ (xor)

• ⊼ (nand)

• ⊽ (nor)

• ⇒ (ImpliesRight)

• ⇐ (ImpliesLeft)

• ⇔ (equivalent)

See also

• ∀ (ForAll)

• ∃ (exists)

• ExistsUnique