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
|
% language=uk
\environment math-layout
\startcomponent math-input
\startchapter[title=Inputting math]
\startsection[title=Collapsing]
When in text mode you enter a combination of combining accent and character, a
composed character is assumed and often you then get one shape in your document.
A similar feature is available in math mode. After some discussion and analysis
of the potential clashes and confusion (thanks to Aditya Mahajan) we settled on a
combination of methods: so called math lists entries that we entered in the
character database and|/|or so called special sequences that are part of
\UNICODE. In the next tables we use \type {ml} for math list and \type {sp} for
specials. Collapsing mode \type {1} only uses the specials, while \type {2} first
checks the specials and then the math lists, and \type {3} does the reverse.
In the database you can find this (a few fields have been omitted):
\starttyping
[0x2260] = {
adobename = "notequal",
category = "sm",
description = "NOT EQUAL TO",
mathlist = { 0x2F, 0x3D },
mathspec = {
{
class = "relation",
name = "neq",
},
{
class = "relation",
name = "ne",
},
},
specials = { "char", 0x3D, 0x338 },
unicodeslot = 0x2260,
}
\stoptyping
and
\starttyping
[0x2261] = {
adobename = "equivalence",
category = "sm",
description = "IDENTICAL TO",
mathclass = "relation",
mathextensible = "h",
mathname = "equiv",
mathlist = { 0x3D, 0x3D },
unicodeslot = 0x2261,
}
\stoptyping
Here are a few examples:
\def\Test#1%
{\NC \bf \type{$#1$}
\NC \setupmathematics[collapsing=0] $#1$
\NC \setupmathematics[collapsing=1] $#1$
\NC \setupmathematics[collapsing=2] $#1$
\NC \setupmathematics[collapsing=3] $#1$ \NC \NR}
\starttabulate[|c|cp|cp|cp|cp|]
\NC \BC \ttbf 0 \BC \ttbf 1 (sp) \BC \ttbf 2 (sp ml) \BC \ttbf 3 (ml sp) \BC \NR
\Test{==}
\Test{/=}
\Test{>=}
\stoptabulate
A complete list of collapses can be generated after loading one of the tracing
modules:
\startbuffer
\usemodule[math-ligatures]
\stopbuffer
\typebuffer \getbuffer
This provides the command:
\startbuffer
\showmathligatures
\stopbuffer
\typebuffer
which gives:
\start \switchtobodyfont[8pt] \getbuffer \stop
\stopsection
\stopchapter
\stopcomponent
|
