@(#)g0 8.2 (Berkeley) 05/20/94
.EH 'USD:24-%''Typesetting Mathematics _ User\'s Guide' .OH 'Typesetting Mathematics _ User\'s Guide''USD:24-%' delim $$ .EN \".ND "June 2, 1976" .RP
\".TM "76-1273-4 76-1271-4" 39199 39199-11 Typesetting Mathematics _ User's Guide \ (Second Edition) .AU 2C-518 6021 Brian W. Kernighan and Lorinda L. Cherry .AI AT&T Bell Laboratories Murray Hill, NJ .AB
This is the user's guide for a system for typesetting mathematics, using the phototypesetters on the X operating system.
Mathematical expressions are described in a language designed to be easy to use by people who know neither mathematics nor typesetting. Enough of the language to set in-line expressions like $lim from {x-> pi /2} ( tan~x) sup{sin~2x}~=~1$ or display equations like G(z)~mark =~ e sup { ln ~ G(z) } ~=~ exp left ( sum from k>=1 {S sub k z sup k} over k right ) ~=~ prod from k>=1 e sup {S sub k z sup k /k} .EN lineup = left ( 1 + S sub 1 z + { S sub 1 sup 2 z sup 2 } over 2! + ... right ) left ( 1+ { S sub 2 z sup 2 } over 2 + { S sub 2 sup 2 z sup 4 } over { 2 sup 2 cdot 2! } + ... right ) ... .EN lineup = sum from m>=0 left ( sum from pile { k sub 1 ,k sub 2 ,..., k sub m >=0 above k sub 1 +2k sub 2 + ... +mk sub m =m} { S sub 1 sup {k sub 1} } over {1 sup k sub 1 k sub 1 ! } ~ { S sub 2 sup {k sub 2} } over {2 sup k sub 2 k sub 2 ! } ~ ... { S sub m sup {k sub m} } over {m sup k sub m k sub m ! } right ) z sup m .EN can be learned in an hour or so.
The language interfaces directly with the phototypesetting language C TROFF , so mathematical expressions can be embedded in the running text of a manuscript, and the entire document produced in one process. This user's guide is an example of its output.
The same language may be used with the C UNIX formatter C NROFF to set mathematical expressions on C DASI and C GSI terminals and Model 37 teletypes. .AE