A lot of the dyadic

operators mentioned above have historical names and

symbols in

symbolic logic. The use of AND, NOT, XOR, XNOR, and NAND have only recently come into prominence due to their use in

computer science. Let me contribute the

names, numbered from 1:

- Falsum operator (Written F)
- Pierce arrow function (Written as a downward pointing arrow, ↓)
- No special name, is the negation of the converse of material implication (symbol is U turned to the right and slashed)
- slashed left arrow
- No special name, negative of material implication (U turned to the left and slashed)
- slashed right arrow
- exclusive or, (slashed tribar)
- Sheffer stroke function (written |)
- Conjunction
- Tribar (if and only if, ≡ )
- Right arrow
- hook, or material implication operator (U turned to the left, ⊃)
- Left arrow
- Converse of material implication/hook operator (U turned to the right ⊂)
- Inclusive disjunction
- Verum operator (written V)

Feel free to correct, my symbolic logic is rusty.