Typographie mathématique

1.Introduction

In this chapter we describe the algorithms used by TeXmacs in order to typeset mathematical formulas. This is a difficult subject, because esthetics and effectiveness do not always go hand in hand. Until now, TeX is widely accepted for having achieved an optimal compromise in this respect. Nevertheless, we thought that several improvements could still be made, which have now been implemented in TeXmacs. We will shortly describe the motivations behind them.

In order to obtain esthetic formulas, what criteria should we use? It is often stressed that good typesetting allows the reader to concentrate on what he reads, without being distracted by ugly typesetting details. Such distracting details arise when distinct, though similar parts of text are typesetted in a non uniform way:

Different base lines
The eye expects text of a similar nature to be typesetted with respect to a same base line. For instance, in x + y + z, the bottoms of the x and z should be at the same height as the bottom of the u-part in the y. This should again be the case in 2x + 2y + 2z.
Unequal spacing
Different components of text with approximately the same function should be separated by equal amounts of space. For instance, in a2 + f2, the typesetter should notice the hangover of the f. This should again be the case in ea + ef + ex. Similarly, the distance between the baselines of the a and the i in ai should not be disproportially large with respect to the height of an x.

Additional difficulties may arise when considering automatically generated formulas, in which case line breaking has to be dealt with in a satisfactory way.

Unfortunately, the different esthetic criteria may enter into conflict with each other. For instance, consider the formula xp + x

2
p
. On the one hand, the baselines of the scripts should be the same, but the other hand, the first subscript should not be “disproportionally low” with respect to the x. Unfortunately, this dilemma can not been solved in a completely satisfactory way without the help of a human for the simple reason that the computer has no way to know whether the xp and x
i
p
are “related”. Indeed, if the xp and x
i
p
are close (like in xp + x
i
p
), then it is natural to opt for a common base line. However, if they are further away from each other (like in xp + ∑
i = 0
cix
i
p
), then we might want to opt for different base lines and locally optimize the rendering of the first xp.

Consequently, TeXmacs should offer a reasonable compromise for the most frequent cases, while offering methods for the user to make finer adjustments in the remaining ones. Currently, we just provided the InsérerSpécialMove and InsérerSpécialResize constructs to move and resize boxes in order to perform such adjustments. For instance, if the brackets around the two sums

ϕ(∑iaixi) = ψ(∑jbjyj)

have different sizes, then one may resize the bottom of the subscript j of the second sum to 0fn. Alternatively, one may resize the bottoms of both the i and j subscripts to (say) -0.3fn.

Notice that one should adjust by preference in a structural and not visual way. For instance, one should prefer -0.3fn to -2mm in the above example, because the second option disallows you to switch to another font size for your document. Similarly, you should try not change the semantics of the formula. For instance, in the above example, you might have added a “dummy subscript” to the i subscript of the sum. However, this would alter the meaning of the formula (whence make it non suitable as input to a computer algebra system) In the future, we plan to provide additional constructs in order to facilitate structural adjusting. For instance, in the case of a formula like

1 + x1 + x
2
1
+ ⋯ + x2 + x1x2 + x
2
1
x2 + ⋯x
2
2
+ x1x
2
2
+ x
2
1
x
2
2
+ ⋯,

one might think of a construct to enclose the entire formula into an area, where all scripts are forced to be double (using dummy superscripts whereever necessary).

2.The font parameters

Several font parameters are crucial for the correct positioning of the different components. The following are often needed:

quad
The main font reference space 1fn, which can be taken as the distance between successive lines of text.
y1 and y2
The bottom and top level for the font (we have y2-y1=quad).
sep
The reference minimal space between distinct components, like the minimal distance between a subscript and a superscript. In fact, sep=quad/10.
wline
The width of several types of lines, like the fraction and square root bars, wide accents, etc.
yfrac
The height of the fraction bar, which is needed for the positioning of fractions and big delimiters. Usually, yfrac is almost equal to yx/2 below.

The following parameters are mainly needed in order to deal with scripts:

yx
The height of the x character, which is needed for the positioning of scripts. All the remaining parameters are actually computed as a function of yx.
ysub lo base
Logical base line for subscripts.
ysub hi lim
Subscripts may never physically exceed this top height.
ysup lo base
Logical base line for superscripts.
ysup lo lim
Superscripts may never physically exceed this bottom height.
ysup hi lim
Suggestion for a physical top line for superscripts.
yshift
Possible shift of the base lines when we are inside fractions or scripts.

The individual strings in a font also have several important positioning properties. First of all, they always admit left and right slopes. Furthermore, they admit left and right italic corrections, which are needed for the positioning of scripts or when passing from text in upright to text in italics (or vice versa).

3.Some major mathematical constructs

3.1.Fractions

The following heuristics are used:

The italic corrections are not taken into account during the positioning algorithms, because this may create the impression that the numerator and denominator are not correctly centered with respect to each other. Nevertheless, the italic corrections are taken into account in order to compute the logical bounding box of the fraction (whose has italic slopes vanish at both sides).

3.2.Roots

The following heuristics are used:

We take the logical right border plus the italic correction of the main argument in order to determine the right hand limit of the upper bar. The left italic correction is not needed.

3.3.Negations

The following heuristics are used:

3.4.Wide boxes

The following heuristics are used:

4.Subscripts and superscripts

The positioning of subscripts and superscripts is a complicated affair, due to the conflict between locally and globally optimal esthetics mentioned above. The base line for a subscript is determined as follows:

  1. Always pretend that the subscript has height at least y2-yshift in the script font (actually we should use the height of an M instead).
  2. Try to position the script at the base line given by the main argument.
  3. If the top limit (given by the main argument) is physically exceeded by the subscript, then the base line is moved further down accordingly.

The base line for a superscript is determined as follows:

  1. Try to physically position the superscript beneath the suggested top line. Usually, this will place the superscript to far down.
  2. Move the superscript up to the logical base line if necessary. This will usually occur: most of the time, the logical base line is the just the height of an x-script below the suggested top line.
  3. If the superscript physically descends below the physical under limit given by the main box, then we move the superscript further upwards.

If both a subscript and a superscript were present, then we still have to adjust the base lines: if the top of the subscript and the bottom of the superscript are not physically separated by sep, then we both move the subscript and the superscript by the same amount away from each other. Because of step 1 in the positioning of the subscript, the base lines of double scripts will usually be the same in formulas with several of them.

The right slope and italic correction of a script box may be non trivial. In order to compute them, we first determine the script (or main argument), whose right limit (taking into account its italic correction) is furthest to the right (this may be the main box, in the case of a big integral with a tiny subscript). Then the right slope of the main box is inherited by the right slope of this script (or main argument). As to the italic correction, it is precisely the difference between the right offset of the script plus its italic correction minus the logical right coordinate of the entire box. The italic correction should be at least zero though. The left slope and italic correction are computed in a similar way.

5.Big delimiters

The automatic positioning and computation of sizes of big delimiters is again complicated because of potential conflicts between locally and globally optimal esthetics.

First of all, TeX fonts come only with a discrete set of possible sizes for large delimiters. This is an advantage from the point of view that it favorites delimiters around slightly different expressions to have the same baselines. However, it has the disadvantage that delimiters are easily made “one size to large”. For this reason, we actually diminish the height and the depth of the delimited expression by the small amount sep, before computing the sizes of the delimiters.

Secondly, it is best when the vertical middles of big delimiters occur at the height of fraction bars. However, in a formula like

f (
1
1 +
1
1 +
1
1 +
1
x
),

it may be worth it to descend the delimiters a bit. On the other hand, slight vertical shifts in the middles of the delimiters potentially have a bad effect on base lines, like in

f(∑
b
i = 1
Xi) + g(∑
a
j = 1
Yj).

In TeXmacs, we use the following compromise: we start with the middle of the delimited expression as a first approximation to the middle of the delimiters. The real middle is obtained by shifting this middle towards the height of fraction bars by an amount which cannot exceed sep.

From a horizontal point of view, we finally have to notice that we adapted the metrics of the big delimiters in a way that potential scripts are positioned in a better way. For instance, according to the TeX tfm file, in a formula like

(A + (∑
10
i = 1
Bi)2),

the square rather seems to be a left superscript of the second closing bracket than a right superscript of the first one. This is particularly annoying in the case of automatically generated formulas, where this situation occurs quite often.

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".