To enumerate the trees, she wrote each label in k-adic notation, where digits run from one to k and positions represent powers of k.

When programming the calculator, she implemented an evaluator for reverse Polish notation to simplify expression parsing.

In the textbook, she used set-builder notation to concisely describe the set of rational numbers between 0 and 1.

Historians studying ancient accounting records often encounter sign-value notation that predates positional systems.

When teaching lambda calculus, she often used de Bruijn notation to avoid issues with variable names.