home *** CD-ROM | disk | FTP | other *** search
/ minnie.tuhs.org / unixen.tar / unixen / PDP-11 / Trees / V7 / usr / doc / eqn / g0 < prev    next >
Encoding:
Text File  |  1979-01-10  |  1.8 KB  |  84 lines

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