Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting...
Transcript of Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting...
![Page 1: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/1.jpg)
![Page 2: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/2.jpg)
Appendix G illuminated
Debrecen 7th July, 2006
Bogusław Jackowski
![Page 3: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/3.jpg)
Babylonian tablet with a very precise√
2
XVI– XVIII century B.C.
Yale Babylonian Collection, photo: Bill Casselman
![Page 4: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/4.jpg)
3·2
1·√
2−√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting a radical
√
baselineof the radicand
baselineof the radical
symbol
θdef= hy
dy
hx
dx
![Page 5: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/5.jpg)
3·2
1·√
2−√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting a radical
√θθ
∆
ψ
∆
baseline of theresulting formula
top lineof the radicand
bottom lineof the radicand
ψ =
{ξ8 + 1
4σ5, styles D,D′
54ξ8, other styles
∆ = 12
(dy − (hx + dx + ψ)
)
![Page 6: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/6.jpg)
3·2
2·√
2−√
2+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting an accented symbol
H hx
1
2wy 1
2wxwx = wd + ic
wd
ic
![Page 7: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/7.jpg)
3·2
2·√
2−√
2+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting an accented symbol
Hs δ
s – italic correction between the accentee symboland the skewchar
δ = min(x-height, hx)
![Page 8: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/8.jpg)
3·2
2·√
2−√
2+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting an accented symbol
, hx
s = 0
s – italic correction between the accentee symboland the skewchar
![Page 9: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/9.jpg)
3·2
2·√
2−√
2+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting an accented symbol
, δ = hx
δ = min(x-height, hx)
![Page 10: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/10.jpg)
3·2
3·√
2−√
2+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting an operator with limits
Q∫
M=1
δ
baseline of theupper limit
baseline of theoperator
baseline of thebottom limit
δ – italic correctionof the operator symbol
![Page 11: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/11.jpg)
3·2
3·√
2−√
2+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting an operator with limits
Q∫
M=1
δ/2
δ/2
ξ13
≥ξ9ξ11
≥ξ10
ξ12
ξ13
math axisbaselineof the result
σ22
![Page 12: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/12.jpg)
3·2
3·√
2−√
2+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting an operator with limits
Q∫
M=1
δ/2
δ/2
ξ13
≥ξ9ξ11
≥ξ10
ξ12
ξ13
math axisbaselineof the result
σ22
1 2dop
1 2dop
![Page 13: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/13.jpg)
3·2
3·√
2−√
2+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting an operator with limits
Q∫
M=1
δ/2
δ/2
ξ13
≥ξ9ξ11
≥ξ10
ξ12
ξ13
math axisbaselineof the result
σ22
![Page 14: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/14.jpg)
3·
24·
√ √ √ √2−
√
2+
√2
+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting a generalized fraction
![Page 15: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/15.jpg)
3·
24·
√ √ √ √2−
√
2+
√2
+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting a generalized fraction
baseline ofthe resulting
formula
math axis θσ8 styles D,D′
σ9 other styles
σ11 styles D,D′
σ12 other styles
θ is either given explicitly (\abovewithdelims) or θ = ξ8
![Page 16: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/16.jpg)
3·
24·
√ √ √ √2−
√
2+
√2
+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting a generalized fraction
baseline ofthe resulting
formula
σ8 styles D,D′
σ10 other styles
σ11 styles D,D′
σ12 other styles
![Page 17: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/17.jpg)
3·
24·
√ √ √ √2−
√
2+
√2
+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting a generalized fraction(resolving collisions)
colliding positionof the numerator
baseline
math axis
baseline ofthe resulting
formula
colliding positionof the denominator
baseline
ϕ
ϕ
∆1
∆2
ϕ =
{
3ξ8, styles D,D′
ξ8, other styles
in general ∆1 6= ∆2
![Page 18: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/18.jpg)
3·
24·
√ √ √ √2−
√
2+
√2
+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting a generalized fraction(resolving collisions)
colliding positionof the numerator
baseline
baseline ofthe resulting
formula
colliding positionof the denominator
baseline
ϕ
∆1
∆2
ϕ =
{
7ξ8, styles D,D′
3ξ8, other styles
always ∆1 = ∆2
![Page 19: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/19.jpg)
3·
25·
√ √ √ √ √2−
√ √ √ √2
+
√
2+
√2
+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting indices
δ
s
horizontal placementof a superscript
![Page 20: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/20.jpg)
3·
25·
√ √ √ √ √2−
√ √ √ √2
+
√
2+
√2
+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting indices
s
horizontal placementof a subscript
![Page 21: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/21.jpg)
3·
25·
√ √ √ √ √2−
√ √ √ √2
+
√
2+
√2
+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting indices
δs
s
horizontal placementof a superscript and a subscript
![Page 22: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/22.jpg)
3·
25·
√ √ √ √ √2−
√ √ √ √2
+
√
2+
√2
+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting indices
σ13σ14σ15
σ16σ17
vertical placement of indicesfor the kernel being a symbol
![Page 23: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/23.jpg)
3·
25·
√ √ √ √ √2−
√ √ √ √2
+
√
2+
√2
+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting indices
σ↑18
σ↓19
vertical placement of indicesfor the kernel being a boxed formula
![Page 24: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/24.jpg)
3·
25·
√ √ √ √ √2−
√ √ √ √2
+
√
2+
√2
+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting indices
1
4σ5
placement of indices – resolving collisions
![Page 25: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/25.jpg)
3·
25·
√ √ √ √ √2−
√ √ √ √2
+
√
2+
√2
+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting indices
1
4σ5
4
5σ5
placement of indices – resolving collisions
![Page 26: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/26.jpg)
3·
25·
√ √ √ √ √2−
√ √ √ √2
+
√
2+
√2
+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting indices
1
4σ5
4
5σ5 4ξ8
placement of indices – resolving collisions
![Page 27: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/27.jpg)
3·
25·
√ √ √ √ √2−
√ √ √ √2
+
√
2+
√2
+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Typesetting indices
1
4σ5
4
5σ5 4ξ8
4ξ84
5σ5
placement of indices – resolving collisions
![Page 28: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/28.jpg)
3·
26·
√ √ √ √ √ √2−
√ √ √ √ √2
+
√ √ √ √2
+
√
2+
√2
+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Future of (math) typesetting
![Page 29: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/29.jpg)
3·
26·
√ √ √ √ √ √2−
√ √ √ √ √2
+
√ √ √ √2
+
√
2+
√2
+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Future of (math) typesetting
3 · 26 ·
√√√√√√2−
√√√√√2 +
√√√√2 +
√
2 +
√2 +
√2 +√
3
![Page 30: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/30.jpg)
3·
26·
√ √ √ √ √ √2−
√ √ √ √ √2
+
√ √ √ √2
+
√
2+
√2
+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Future of (math) typesetting
3 · 26 ·
√√√√√√2−
√√√√√2 +
√√√√2 +
√
2 +
√2 +
√2 +√
3 ≈ π
![Page 31: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/31.jpg)
3·
27·
√ √ √ √ √ √ √2−
√ √ √ √ √ √2
+
√ √ √ √ √2
+
√ √ √ √2
+
√
2+
√2
+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Main obstacle: the discrete nature of fonts
![Page 32: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/32.jpg)
3·
27·
√ √ √ √ √ √ √2−
√ √ √ √ √ √2
+
√ √ √ √ √2
+
√ √ √ √2
+
√
2+
√2
+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Main obstacle: the discrete nature of fonts
![Page 33: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/33.jpg)
3·
28·
√ √ √ √ √ √ √ √2−
√ √ √ √ √ √ √2
+
√ √ √ √ √ √2
+
√ √ √ √ √2
+
√ √ √ √2
+
√
2+
√2
+
√2
+√
3
B. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006
Paradoxically, due to its outmodeness and beingdiscreteness-oriented, as long as fonts endure tobe discrete, TEX’s algorithm of the typesetting
of math formulas seems indomitable
![Page 34: Appendix G illuminatedB. Jackowski: Appendix G illuminated • Debrecen, 7th July, 2006 Typesetting a generalized fraction baseline of the resulting formula math axis θ σ8 styles](https://reader035.fdocuments.in/reader035/viewer/2022071610/614916979241b00fbd675535/html5/thumbnails/34.jpg)
Thank you!