Commit | Line | Data |
---|---|---|
c9528a00 C |
1 | .nr PS 9 |
2 | .nr VS 11 | |
3 | ....ND "Revised April, 1977" | |
4 | .EQ | |
5 | delim $$ | |
6 | gsize 9 | |
7 | .EN | |
8 | ....TR 17 | |
9 | .TL | |
10 | A System for Typesetting Mathematics | |
11 | .AU | |
12 | Brian W. Kernighan and Lorinda L. Cherry | |
13 | .AI | |
14 | .MH | |
15 | .AB | |
16 | .PP | |
17 | This paper describes the design and implementation | |
18 | of a system for typesetting mathematics. | |
19 | The language has been designed to be easy to learn | |
20 | and to use | |
21 | by people | |
22 | (for example, secretaries and mathematical typists) | |
23 | who know neither mathematics nor typesetting. | |
24 | Experience indicates that the language can | |
25 | be learned in an hour or so, | |
26 | for it has few rules and fewer exceptions. | |
27 | For typical expressions, | |
28 | the size and font changes, positioning, line drawing, | |
29 | and the like necessary to print according to mathematical conventions | |
30 | are all done automatically. | |
31 | For example, | |
32 | the input | |
33 | .sp 4p | |
34 | .ce | |
35 | sum from i=0 to infinity x sub i = pi over 2 | |
36 | .sp 4p | |
37 | produces | |
38 | .EQ | |
39 | sum from i=0 to infinity x sub i = pi over 2 | |
40 | .EN | |
41 | .PP | |
42 | The syntax of the language is specified by a small | |
43 | context-free grammar; | |
44 | a compiler-compiler is used to make a compiler | |
45 | that translates this language into typesetting commands. | |
46 | Output may be produced on either a phototypesetter | |
47 | or on a terminal with forward and reverse half-line motions. | |
48 | The system interfaces directly with text formatting programs, | |
49 | so mixtures of text and mathematics may be handled simply. | |
50 | .LP | |
51 | .LP | |
52 | .PP | |
53 | This paper is a revision of a paper originally published in | |
54 | CACM, March, 1975. | |
55 | .AE |