1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
<TeXmacs|1.0.3.10>
<style|tmdoc>
<\body>
<tmdoc-title|Typesetting mathematics>
<\explain>
<label|math-level><var-val|math-level|0><explain-synopsis|index level>
<|explain>
The <em|index level> increases inside certain mathematical constructs
such as indices and fractions. When the index level is high, formulas are
rendered in a smaller font. Nevertheless, index levels higher than
<verbatim|2> are all rendered in the same way as index level
<verbatim|2>; this ensures that formulas like
<\equation*>
\<mathe\><rsup|\<mathe\><rsup|\<mathe\><rsup|\<mathe\><rsup|x>>>>=<frac|1+<frac|1|x+\<mathe\><rsup|x>>|1+<frac|1|\<mathe\><rsup|x>+<frac|1|\<mathe\><rsup|\<mathe\><rsup|x>>>>>
</equation*>
remain readable. The index level may be manually changed in
<menu|Format|Index level>, so as to produce formulas like
<\equation*>
x<rsup|<with|math-level|0|y<rsup|<with|math-level|0|z>>>>
</equation*>
<\tm-fragment>
<with|mode|math|<inactive*|x<rsup|<with|math-level|0|y<rsup|<with|math-level|0|z>>>>>>
</tm-fragment>
</explain>
<\explain>
<var-val|math-display|false><explain-synopsis|display style>
<|explain>
This environement variable controls whether we are in <em|display style>
or not. Formulas which occur on separate lines like
<\equation*>
<frac|n|H(\<alpha\><rsub|1>,\<ldots\>,\<alpha\><rsub|n>)>=<frac|1|\<alpha\><rsub|1>>+\<cdots\>+<frac|1|\<alpha\><rsub|n>>
</equation*>
are usually typeset in display style, contrary to inline formulas like
<with|mode|math|<frac|n|H(\<alpha\><rsub|1>,\<ldots\>,\<alpha\><rsub|n>)>=<frac|1|\<alpha\><rsub|1>>+\<cdots\>+<frac|1|\<alpha\><rsub|n>>>.
As you notice, formulas in display style are rendered using a wider
spacing. The display style is disabled in several mathematical constructs
such as scripts, fractions, binomial coefficients, and so on. As a
result, the double numerators in the formula
<\equation*>
H(\<alpha\><rsub|1>,\<ldots\>,\<alpha\><rsub|n>)=<frac|n|<frac|1|\<alpha\><rsub|1>>+\<cdots\>+<frac|1|\<alpha\><rsub|n>>>
</equation*>
are typeset in a smaller font. You may override the default settings
using <menu|Format|Display style>.
</explain>
<\explain>
<var-val|math-condensed|false><explain-synopsis|condensed display style>
<|explain>
By default, formulas like <with|mode|math|a+\<cdots\>+z> are typeset
using a nice, wide spacing around the <with|mode|math|<op|+>> symbol. In
formulas with scripts like <with|mode|math|\<mathe\><rsup|a+\<cdots\>+z>+\<mathe\><rsup|\<alpha\>+\<cdots\>+\<zeta\>>>
the readability is further enhanced by using a more condensed spacing
inside the scripts: this helps the reader to distinguish symbols
occurring in the scripts from symbols occurring at the ground level when
the scripts are long. The default behaviour can be overridden using
<menu|Format|Condensed>.
</explain>
<\explain>
<var-val|math-vpos|0><explain-synopsis|position in fractions>
<|explain>
For a high quality typesetting of fraction, it is good to avoid
subscripts in numerators to descend to low and superscripts in
denominators to ascend to high. <TeXmacs> therefore provides an
additional environment variable <src-var|math-vpos> which takes the value
<with|mode|math|1> inside numerators, <with|mode|math|\<um\>1> inside
denominators and <with|mode|math|0> otherwise. In order to see the effect
the different settings, consider the following formula:
<\equation*>
<with|math-vpos|-1|<group|a<rsub|\<um\>1><rsup|2>>>+<with|math-vpos|0|<group|a<rsub|0><rsup|2>>>+<with|math-vpos|1|<group|a<rsub|1><rsup|2>>>
</equation*>
<\tm-fragment>
<with|mode|math|<inactive*|<with|math-vpos|-1|<group|<active*|a<rsub|\<um\>1><rsup|2>>>>+<with|math-vpos|0|<group|<active*|a<rsub|0><rsup|2>>>>+<with|math-vpos|1|<group|<active*|a<rsub|1><rsup|2>>>>>>
</tm-fragment>
In this example, the grouping is necessary in order to let the different
vertical positions take effect on each
<with|mode|math|a<rsub|i><rsup|2>>. Indeed, the vertical position is
uniform for each horizontal concatenation.
</explain>
<tmdoc-copyright|2004|Joris van der Hoeven>
<tmdoc-license|Permission is granted to copy, distribute and/or modify this
document under the terms of the GNU Free Documentation License, Version 1.1
or any later version published by the Free Software Foundation; with no
Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
Texts. A copy of the license is included in the section entitled "GNU Free
Documentation License".>
</body>
|
