SRC Research Report 119

How to Write a Long Formula

Leslie Lamport

Standard mathematical notation works well for shortformulas, but not for the longer ones often written by computer scientists. Notations are proposed to make one or two-page formulas easier to read and reason about.

Back to the SRC Research Reports main page.

• PostScript compressed with UNIX compress -- 48 Kbytes
  
• PostScript compressed with GNU compress (gzip) -- 34 Kbytes
  
• PostScript compressed with ZIP -- 34 Kbytes
  
• PostScript -- 128 Kbytes
  
• Portable Document Format (PDF) -- 136 Kbytes