We think in languages; we think with notations.

— Linus Lee, Notational intelligence