Has anyone come across any more similar examples of good notation that should be better known?
Some interesting glyphs:
Combinatorial Principles in Set Theory:
- ♣ (Clubsuit)
- ◊ (Diamondsuit)
Bisimulation:
- Given two states p and q in S, p is bisimilar to q, written p ~ q, if there is a bisimulation R such that (p,q) is in R.
Boxplus operator in Coding Theory
- ⊞
