I occasionally come across a new piece of notation so good that it makes life easier by giving a better way to look at something. Some examples:
-
Iverson introduced the notation [X] to mean 1 if X is true and 0 otherwise; so for example Σ1≤n<x [n prime] is the number of primes less than x, and the unmemorable and confusing Kronecker delta function δn becomes [n=0]. (A similar convention is used in the C programming language.)
-
The function taking x to x sin(x) can be denoted by x ↦ x sin(x). This has the same meaning as the lambda calculus notation λx.x sin(x) but seems easier to understand and use, and is less confusing than the usual convention of just writing x sin(x), which is ambiguous: it could also stand for a number.
-
I find calculations with Homs and ⊗ easier to follow if I write Hom(A,B) as A→B. Similarly writing BA for the set of functions from A to B is really confusing, and I find it much easier to write this set as A→B.
-
Conway's notation for orbifolds almost trivializes the classification of wallpaper groups.
Has anyone come across any more similar examples of good notation that should be better known? (Excluding standard well known examples such as commutative diagrams, Hindu-Arabic numerals, etc.)
Best Answer
Among recent introductions, I like the notation and names (introduced by Kenneth Iverson and popularized by Donald Knuth) for the ceiling function $\lceil x\rceil$ and floor function $\lfloor x\rfloor$. Compare with the heavy "approximation by excess/defect"...