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