Leslie Lamport
January 21, 1994
This is an example input file. Comparing it with the output it generates can show you how to produce a simple document of your own.