L. Lamport

• How to write a long formula