Donald Knuth
Mathematical logic
LaTeX
∂
FO
Turnstile
TeX
Registered trademark symbol
ABC notation
Typography
Notation
Mathematics