|
|
1.1 root 1: .\" @(#)g0 6.1 (Berkeley) 5/22/86
2: .\"
3: .EH 'USD:27-%''Typesetting Mathematics _ User\'s Guide'
4: .OH 'Typesetting Mathematics _ User\'s Guide''USD:27-%'
5: .EQ
6: delim $$
7: .EN
8: \".ND "June 2, 1976"
9: .\".RP
10: \".TM "76-1273-4 76-1271-4" 39199 39199-11
11: .TL
12: Typesetting Mathematics _ User's Guide
13: \&\ \ \ \ \ (Second\ Edition)
14: .AU 2C-518 6021
15: Brian W. Kernighan and Lorinda L. Cherry
16: .AI
17: .MH
18: .AB
19: .in
20: .ll
21: .PP
22: This is the user's guide for a system for typesetting
23: mathematics,
24: using
25: the phototypesetters on the
26: .UX
27: operating system.
28: .PP
29: Mathematical expressions are described in a language
30: designed to be easy to use
31: by people who know neither mathematics nor typesetting.
32: Enough of the language to set in-line expressions like
33: $lim from {x-> pi /2} ( tan~x) sup{sin~2x}~=~1$
34: or display equations like
35: .in .5i
36: .EQ I
37: G(z)~mark =~ e sup { ln ~ G(z) }
38: ~=~ exp left (
39: sum from k>=1 {S sub k z sup k} over k right )
40: ~=~ prod from k>=1 e sup {S sub k z sup k /k}
41: .EN
42: .EQ I
43: lineup = left ( 1 + S sub 1 z +
44: { S sub 1 sup 2 z sup 2 } over 2! + ... right )
45: left ( 1+ { S sub 2 z sup 2 } over 2
46: + { S sub 2 sup 2 z sup 4 } over { 2 sup 2 cdot 2! }
47: + ... right ) ...
48: .EN
49: .EQ I
50: lineup = sum from m>=0 left (
51: sum from
52: pile { k sub 1 ,k sub 2 ,..., k sub m >=0
53: above
54: k sub 1 +2k sub 2 + ... +mk sub m =m}
55: { S sub 1 sup {k sub 1} } over {1 sup k sub 1 k sub 1 ! } ~
56: { S sub 2 sup {k sub 2} } over {2 sup k sub 2 k sub 2 ! } ~
57: ...
58: { S sub m sup {k sub m} } over {m sup k sub m k sub m ! }
59: right ) z sup m
60: .EN
61: .in 0
62: can be learned in an hour or so.
63: .PP
64: The language interfaces directly with
65: the phototypesetting language
66: .UC TROFF ,
67: so mathematical expressions can be embedded in the running
68: text
69: of a manuscript,
70: and the entire document produced in one process.
71: This user's guide is an example of its output.
72: .PP
73: The same language
74: may be used with the
75: .UC UNIX
76: formatter
77: .UC NROFF
78: to set mathematical expressions on
79: .UC DASI
80: and
81: .UC GSI
82: terminals
83: and Model 37 teletypes.
84: .AE
85: .CS 11 0 11 0 0 3
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.