# Document (#39906)

Author
Knuth, D.E.
Title
Mathematical typography
Source
Bulletin of the American Mathematical Society. 1979, nos.1/2, S.337-372 [http://www.ams.org/bull/1979-01-02/S0273-0979-1979-14598-1/]
Year
1979
Abstract
Mathematics books and journals do not look as beautiful as they used to. It is not that their mathematical content is unsatisfactory, rather that the old and well-developed traditions of typesetting have become too expensive. Fortunately, it now appears that mathematics itself can be used to solve this problem. A first step in the solution is to devise a method for unambiguously specifying mathematical manuscripts in such a way that they can easily be manipulated by machines. Such languages, when properly designed, can be learned quickly by authors and their typists, yet manuscripts in this form will lead directly to high quality plates for the printer with little or no human intervention. A second step in the solution makes use of classical mathematics to design the shapes of the letters and symbols themselves. It is possible to give a rigorous definition of the exact shape of the letter "a", for example, in such a way that infinitely many styles (bold, extended, sans-serif, italic, etc.) are obtained from a single definition by changing only a few parameters. When the same is done for the other letters and symbols, we obtain a mathematical definition of type fonts, a definition that can be used on all machines both now and in the future. The main significance of this approach is that new symbols can readily be added in such a way that they are automatically consistent with the old ones. Of course it is necessary that the mathematically-defined letters be beautiful according to traditional notions of aesthetics. Given a sequence of points in the plane, what is the most pleasing curve that connects them? This question leads to interesting mathematics, and one solution based on a novel family of spline curves has produced excellent fonts of type in the author's preliminary experiments. We may conclude that a mathematical approach to the design of alphabets does not eliminate the artists who have been doing the job for so many years; on the contrary, it gives them an exciting new medium to work with.
Theme
Elektronisches Publizieren
Object
TeX

## Similar documents (author)

1. Knuth, D.E.: ¬The TeXBook (1986) 6.17
```6.169457 = sum of:
6.169457 = weight(author_txt:knuth in 2595) [ClassicSimilarity], result of:
6.169457 = fieldWeight in 2595, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
9.871131 = idf(docFreq=5, maxDocs=42740)
0.625 = fieldNorm(doc=2595)
```
2. Knuth, D.E.: ¬The letter S (1980) 6.17
```6.169457 = sum of:
6.169457 = weight(author_txt:knuth in 4904) [ClassicSimilarity], result of:
6.169457 = fieldWeight in 4904, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
9.871131 = idf(docFreq=5, maxDocs=42740)
0.625 = fieldNorm(doc=4904)
```
3. Duffy, T.M.; Knuth, R.A.: Hypermedia and instruction : where is the match? (1990) 4.94
```4.9355655 = sum of:
4.9355655 = weight(author_txt:knuth in 2347) [ClassicSimilarity], result of:
4.9355655 = fieldWeight in 2347, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
9.871131 = idf(docFreq=5, maxDocs=42740)
0.5 = fieldNorm(doc=2347)
```
4. Knuth, R.A.; Bruch, T.A.: Results of the hypertext '89 design survey (1990) 4.94
```4.9355655 = sum of:
4.9355655 = weight(author_txt:knuth in 4917) [ClassicSimilarity], result of:
4.9355655 = fieldWeight in 4917, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
9.871131 = idf(docFreq=5, maxDocs=42740)
0.5 = fieldNorm(doc=4917)
```

## Similar documents (content)

1. Schwartzman, S.: ¬The words of mathematics : an etymological dictionary of mathematical terms used in English ; a reference book describing the origins of over 1500 mathematical terms used in English, including a glossary that explains the historical and linguistic terms used in the book (1994) 0.19
```0.18984003 = sum of:
0.18984003 = product of:
0.7910001 = sum of:
0.013617453 = weight(abstract_txt:this in 1882) [ClassicSimilarity], result of:
0.013617453 = score(doc=1882,freq=2.0), product of:
0.042042337 = queryWeight, product of:
1.1067203 = boost
2.442996 = idf(docFreq=10095, maxDocs=42740)
0.01554985 = queryNorm
0.32389858 = fieldWeight in 1882, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
2.442996 = idf(docFreq=10095, maxDocs=42740)
0.09375 = fieldNorm(doc=1882)
0.01903885 = weight(abstract_txt:used in 1882) [ClassicSimilarity], result of:
0.01903885 = score(doc=1882,freq=1.0), product of:
0.06017469 = queryWeight, product of:
1.146653 = boost
3.3748589 = idf(docFreq=3975, maxDocs=42740)
0.01554985 = queryNorm
0.31639302 = fieldWeight in 1882, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
3.3748589 = idf(docFreq=3975, maxDocs=42740)
0.09375 = fieldNorm(doc=1882)
0.027145565 = weight(abstract_txt:such in 1882) [ClassicSimilarity], result of:
0.027145565 = score(doc=1882,freq=1.0), product of:
0.08390068 = queryWeight, product of:
1.5634257 = boost
3.451136 = idf(docFreq=3683, maxDocs=42740)
0.01554985 = queryNorm
0.32354403 = fieldWeight in 1882, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
3.451136 = idf(docFreq=3683, maxDocs=42740)
0.09375 = fieldNorm(doc=1882)
0.024938833 = weight(abstract_txt:that in 1882) [ClassicSimilarity], result of:
0.024938833 = score(doc=1882,freq=1.0), product of:
0.11108649 = queryWeight, product of:
2.9832623 = boost
2.3946586 = idf(docFreq=10595, maxDocs=42740)
0.01554985 = queryNorm
0.22449924 = fieldWeight in 1882, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
2.3946586 = idf(docFreq=10595, maxDocs=42740)
0.09375 = fieldNorm(doc=1882)
0.34190297 = weight(abstract_txt:mathematics in 1882) [ClassicSimilarity], result of:
0.34190297 = score(doc=1882,freq=3.0), product of:
0.3149158 = queryWeight, product of:
3.028947 = boost
6.6861567 = idf(docFreq=144, maxDocs=42740)
0.01554985 = queryNorm
1.0856965 = fieldWeight in 1882, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
6.6861567 = idf(docFreq=144, maxDocs=42740)
0.09375 = fieldNorm(doc=1882)
0.36435646 = weight(abstract_txt:mathematical in 1882) [ClassicSimilarity], result of:
0.36435646 = score(doc=1882,freq=3.0), product of:
0.35392684 = queryWeight, product of:
3.5900974 = boost
6.3398805 = idf(docFreq=204, maxDocs=42740)
0.01554985 = queryNorm
1.0294683 = fieldWeight in 1882, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
6.3398805 = idf(docFreq=204, maxDocs=42740)
0.09375 = fieldNorm(doc=1882)
0.24 = coord(6/25)
```
2. Popescu, F.: ¬An approach to eponyms in mathematics (2009) 0.19
```0.18558048 = sum of:
0.18558048 = product of:
0.66278744 = sum of:
0.006419329 = weight(abstract_txt:this in 3120) [ClassicSimilarity], result of:
0.006419329 = score(doc=3120,freq=1.0), product of:
0.042042337 = queryWeight, product of:
1.1067203 = boost
2.442996 = idf(docFreq=10095, maxDocs=42740)
0.01554985 = queryNorm
0.15268725 = fieldWeight in 3120, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
2.442996 = idf(docFreq=10095, maxDocs=42740)
0.0625 = fieldNorm(doc=3120)
0.01795 = weight(abstract_txt:used in 3120) [ClassicSimilarity], result of:
0.01795 = score(doc=3120,freq=2.0), product of:
0.06017469 = queryWeight, product of:
1.146653 = boost
3.3748589 = idf(docFreq=3975, maxDocs=42740)
0.01554985 = queryNorm
0.29829818 = fieldWeight in 3120, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.3748589 = idf(docFreq=3975, maxDocs=42740)
0.0625 = fieldNorm(doc=3120)
0.01785857 = weight(abstract_txt:they in 3120) [ClassicSimilarity], result of:
0.01785857 = score(doc=3120,freq=1.0), product of:
0.07555769 = queryWeight, product of:
1.2848855 = boost
3.7817082 = idf(docFreq=2646, maxDocs=42740)
0.01554985 = queryNorm
0.23635677 = fieldWeight in 3120, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
3.7817082 = idf(docFreq=2646, maxDocs=42740)
0.0625 = fieldNorm(doc=3120)
0.025593081 = weight(abstract_txt:such in 3120) [ClassicSimilarity], result of:
0.025593081 = score(doc=3120,freq=2.0), product of:
0.08390068 = queryWeight, product of:
1.5634257 = boost
3.451136 = idf(docFreq=3683, maxDocs=42740)
0.01554985 = queryNorm
0.3050402 = fieldWeight in 3120, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.451136 = idf(docFreq=3683, maxDocs=42740)
0.0625 = fieldNorm(doc=3120)
0.023512555 = weight(abstract_txt:that in 3120) [ClassicSimilarity], result of:
0.023512555 = score(doc=3120,freq=2.0), product of:
0.11108649 = queryWeight, product of:
2.9832623 = boost
2.3946586 = idf(docFreq=10595, maxDocs=42740)
0.01554985 = queryNorm
0.21165991 = fieldWeight in 3120, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
2.3946586 = idf(docFreq=10595, maxDocs=42740)
0.0625 = fieldNorm(doc=3120)
0.22793533 = weight(abstract_txt:mathematics in 3120) [ClassicSimilarity], result of:
0.22793533 = score(doc=3120,freq=3.0), product of:
0.3149158 = queryWeight, product of:
3.028947 = boost
6.6861567 = idf(docFreq=144, maxDocs=42740)
0.01554985 = queryNorm
0.7237977 = fieldWeight in 3120, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
6.6861567 = idf(docFreq=144, maxDocs=42740)
0.0625 = fieldNorm(doc=3120)
0.34351856 = weight(abstract_txt:mathematical in 3120) [ClassicSimilarity], result of:
0.34351856 = score(doc=3120,freq=6.0), product of:
0.35392684 = queryWeight, product of:
3.5900974 = boost
6.3398805 = idf(docFreq=204, maxDocs=42740)
0.01554985 = queryNorm
0.970592 = fieldWeight in 3120, product of:
2.4494898 = tf(freq=6.0), with freq of:
6.0 = termFreq=6.0
6.3398805 = idf(docFreq=204, maxDocs=42740)
0.0625 = fieldNorm(doc=3120)
0.28 = coord(7/25)
```
3. Gray, J.: Symbols and suggestions : Communication of mathematics in print (2001) 0.17
```0.16807948 = sum of:
0.16807948 = product of:
0.60028386 = sum of:
0.011347878 = weight(abstract_txt:this in 809) [ClassicSimilarity], result of:
0.011347878 = score(doc=809,freq=2.0), product of:
0.042042337 = queryWeight, product of:
1.1067203 = boost
2.442996 = idf(docFreq=10095, maxDocs=42740)
0.01554985 = queryNorm
0.2699155 = fieldWeight in 809, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
2.442996 = idf(docFreq=10095, maxDocs=42740)
0.078125 = fieldNorm(doc=809)
0.01586571 = weight(abstract_txt:used in 809) [ClassicSimilarity], result of:
0.01586571 = score(doc=809,freq=1.0), product of:
0.06017469 = queryWeight, product of:
1.146653 = boost
3.3748589 = idf(docFreq=3975, maxDocs=42740)
0.01554985 = queryNorm
0.26366085 = fieldWeight in 809, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
3.3748589 = idf(docFreq=3975, maxDocs=42740)
0.078125 = fieldNorm(doc=809)
0.03156979 = weight(abstract_txt:they in 809) [ClassicSimilarity], result of:
0.03156979 = score(doc=809,freq=2.0), product of:
0.07555769 = queryWeight, product of:
1.2848855 = boost
3.7817082 = idf(docFreq=2646, maxDocs=42740)
0.01554985 = queryNorm
0.41782367 = fieldWeight in 809, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.7817082 = idf(docFreq=2646, maxDocs=42740)
0.078125 = fieldNorm(doc=809)
0.16013652 = weight(abstract_txt:symbols in 809) [ClassicSimilarity], result of:
0.16013652 = score(doc=809,freq=1.0), product of:
0.28103977 = queryWeight, product of:
2.478044 = boost
7.2934427 = idf(docFreq=78, maxDocs=42740)
0.01554985 = queryNorm
0.5698002 = fieldWeight in 809, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
7.2934427 = idf(docFreq=78, maxDocs=42740)
0.078125 = fieldNorm(doc=809)
0.04156472 = weight(abstract_txt:that in 809) [ClassicSimilarity], result of:
0.04156472 = score(doc=809,freq=4.0), product of:
0.11108649 = queryWeight, product of:
2.9832623 = boost
2.3946586 = idf(docFreq=10595, maxDocs=42740)
0.01554985 = queryNorm
0.37416542 = fieldWeight in 809, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
2.3946586 = idf(docFreq=10595, maxDocs=42740)
0.078125 = fieldNorm(doc=809)
0.16449815 = weight(abstract_txt:mathematics in 809) [ClassicSimilarity], result of:
0.16449815 = score(doc=809,freq=1.0), product of:
0.3149158 = queryWeight, product of:
3.028947 = boost
6.6861567 = idf(docFreq=144, maxDocs=42740)
0.01554985 = queryNorm
0.522356 = fieldWeight in 809, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.6861567 = idf(docFreq=144, maxDocs=42740)
0.078125 = fieldNorm(doc=809)
0.17530107 = weight(abstract_txt:mathematical in 809) [ClassicSimilarity], result of:
0.17530107 = score(doc=809,freq=1.0), product of:
0.35392684 = queryWeight, product of:
3.5900974 = boost
6.3398805 = idf(docFreq=204, maxDocs=42740)
0.01554985 = queryNorm
0.49530315 = fieldWeight in 809, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.3398805 = idf(docFreq=204, maxDocs=42740)
0.078125 = fieldNorm(doc=809)
0.28 = coord(7/25)
```
4. Stathopoulos, Y.; Baker, S.; Rei, M.; Teufel, S.: Variable typing : assigning meaning to variables in mathematical text (2018) 0.16
```0.15524206 = sum of:
0.15524206 = product of:
0.6468419 = sum of:
0.008024161 = weight(abstract_txt:this in 433) [ClassicSimilarity], result of:
0.008024161 = score(doc=433,freq=1.0), product of:
0.042042337 = queryWeight, product of:
1.1067203 = boost
2.442996 = idf(docFreq=10095, maxDocs=42740)
0.01554985 = queryNorm
0.19085906 = fieldWeight in 433, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
2.442996 = idf(docFreq=10095, maxDocs=42740)
0.078125 = fieldNorm(doc=433)
0.034684062 = weight(abstract_txt:type in 433) [ClassicSimilarity], result of:
0.034684062 = score(doc=433,freq=1.0), product of:
0.088544935 = queryWeight, product of:
1.135694 = boost
5.013906 = idf(docFreq=771, maxDocs=42740)
0.01554985 = queryNorm
0.3917114 = fieldWeight in 433, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
5.013906 = idf(docFreq=771, maxDocs=42740)
0.078125 = fieldNorm(doc=433)
0.022621302 = weight(abstract_txt:such in 433) [ClassicSimilarity], result of:
0.022621302 = score(doc=433,freq=1.0), product of:
0.08390068 = queryWeight, product of:
1.5634257 = boost
3.451136 = idf(docFreq=3683, maxDocs=42740)
0.01554985 = queryNorm
0.26962 = fieldWeight in 433, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
3.451136 = idf(docFreq=3683, maxDocs=42740)
0.078125 = fieldNorm(doc=433)
0.16013652 = weight(abstract_txt:symbols in 433) [ClassicSimilarity], result of:
0.16013652 = score(doc=433,freq=1.0), product of:
0.28103977 = queryWeight, product of:
2.478044 = boost
7.2934427 = idf(docFreq=78, maxDocs=42740)
0.01554985 = queryNorm
0.5698002 = fieldWeight in 433, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
7.2934427 = idf(docFreq=78, maxDocs=42740)
0.078125 = fieldNorm(doc=433)
0.029390695 = weight(abstract_txt:that in 433) [ClassicSimilarity], result of:
0.029390695 = score(doc=433,freq=2.0), product of:
0.11108649 = queryWeight, product of:
2.9832623 = boost
2.3946586 = idf(docFreq=10595, maxDocs=42740)
0.01554985 = queryNorm
0.2645749 = fieldWeight in 433, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
2.3946586 = idf(docFreq=10595, maxDocs=42740)
0.078125 = fieldNorm(doc=433)
0.39198515 = weight(abstract_txt:mathematical in 433) [ClassicSimilarity], result of:
0.39198515 = score(doc=433,freq=5.0), product of:
0.35392684 = queryWeight, product of:
3.5900974 = boost
6.3398805 = idf(docFreq=204, maxDocs=42740)
0.01554985 = queryNorm
1.1075315 = fieldWeight in 433, product of:
2.236068 = tf(freq=5.0), with freq of:
5.0 = termFreq=5.0
6.3398805 = idf(docFreq=204, maxDocs=42740)
0.078125 = fieldNorm(doc=433)
0.24 = coord(6/25)
```
5. Sperber, W.; Ion, P.D.F.: Content analysis and classification in mathematics (2011) 0.15
```0.15259054 = sum of:
0.15259054 = product of:
0.5449662 = sum of:
0.07576976 = weight(abstract_txt:mathematically in 1819) [ClassicSimilarity], result of:
0.07576976 = score(doc=1819,freq=1.0), product of:
0.13730016 = queryWeight, product of:
8.829678 = idf(docFreq=16, maxDocs=42740)
0.01554985 = queryNorm
0.55185485 = fieldWeight in 1819, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
8.829678 = idf(docFreq=16, maxDocs=42740)
0.0625 = fieldNorm(doc=1819)
0.009078302 = weight(abstract_txt:this in 1819) [ClassicSimilarity], result of:
0.009078302 = score(doc=1819,freq=2.0), product of:
0.042042337 = queryWeight, product of:
1.1067203 = boost
2.442996 = idf(docFreq=10095, maxDocs=42740)
0.01554985 = queryNorm
0.21593238 = fieldWeight in 1819, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
2.442996 = idf(docFreq=10095, maxDocs=42740)
0.0625 = fieldNorm(doc=1819)
0.05089237 = weight(abstract_txt:step in 1819) [ClassicSimilarity], result of:
0.05089237 = score(doc=1819,freq=1.0), product of:
0.13267392 = queryWeight, product of:
1.3901839 = boost
6.137438 = idf(docFreq=250, maxDocs=42740)
0.01554985 = queryNorm
0.38358986 = fieldWeight in 1819, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.137438 = idf(docFreq=250, maxDocs=42740)
0.0625 = fieldNorm(doc=1819)
0.018097043 = weight(abstract_txt:such in 1819) [ClassicSimilarity], result of:
0.018097043 = score(doc=1819,freq=1.0), product of:
0.08390068 = queryWeight, product of:
1.5634257 = boost
3.451136 = idf(docFreq=3683, maxDocs=42740)
0.01554985 = queryNorm
0.215696 = fieldWeight in 1819, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
3.451136 = idf(docFreq=3683, maxDocs=42740)
0.0625 = fieldNorm(doc=1819)
0.016625889 = weight(abstract_txt:that in 1819) [ClassicSimilarity], result of:
0.016625889 = score(doc=1819,freq=1.0), product of:
0.11108649 = queryWeight, product of:
2.9832623 = boost
2.3946586 = idf(docFreq=10595, maxDocs=42740)
0.01554985 = queryNorm
0.14966616 = fieldWeight in 1819, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
2.3946586 = idf(docFreq=10595, maxDocs=42740)
0.0625 = fieldNorm(doc=1819)
0.13159853 = weight(abstract_txt:mathematics in 1819) [ClassicSimilarity], result of:
0.13159853 = score(doc=1819,freq=1.0), product of:
0.3149158 = queryWeight, product of:
3.028947 = boost
6.6861567 = idf(docFreq=144, maxDocs=42740)
0.01554985 = queryNorm
0.4178848 = fieldWeight in 1819, product of:
1.0 = tf(freq=1.0), with freq of:
1.0 = termFreq=1.0
6.6861567 = idf(docFreq=144, maxDocs=42740)
0.0625 = fieldNorm(doc=1819)
0.2429043 = weight(abstract_txt:mathematical in 1819) [ClassicSimilarity], result of:
0.2429043 = score(doc=1819,freq=3.0), product of:
0.35392684 = queryWeight, product of:
3.5900974 = boost
6.3398805 = idf(docFreq=204, maxDocs=42740)
0.01554985 = queryNorm
0.6863122 = fieldWeight in 1819, product of:
1.7320508 = tf(freq=3.0), with freq of:
3.0 = termFreq=3.0
6.3398805 = idf(docFreq=204, maxDocs=42740)
0.0625 = fieldNorm(doc=1819)
0.28 = coord(7/25)
```