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
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
|
##############################################
# Categorize mathematical map symbols. #
# Author: Scott Pakin <scott+clsl@pakin.org> #
##############################################
# ... rightward ...
# This rule should precede the following one.
[[rewrite]]
regex = '^(var)?(long)?(var)?(right)?mapsto$'
item = "maps to"
[[rewrite]]
compare_lowercase = true
regex = '^(var)?(long)?(var)?(right)?mapsto$'
item = ["maps to", "double"]
# This rule should precede the following one.
[[rewrite]]
regex = '^n(var)?(long)?(var)?(right)?mapsto$'
item = ["maps to", "negated"]
[[rewrite]]
compare_lowercase = true
regex = '^n(var)?(long)?(var)?(right)?mapsto$'
item = ["maps to", "double, negated"]
[[rewrite]]
matches = "twoheadmapsto"
item = ["maps to", "double headed"]
[[rewrite]]
matches = ["xmapsto", "xvarmapsto"]
item = ["maps to", "extensible"]
# ... downward ...
[[rewrite]]
prefix = ["downmaps", "mapsdown"]
item = ["maps to", "downward"]
[[rewrite]]
prefix = ["Downmaps", "Mapsdown"]
item = ["maps to", "downward, double"]
[[rewrite]]
prefix = ["ndownmaps", "nmapsdown"]
item = ["maps to", "downward, negated"]
[[rewrite]]
prefix = ["nDownmaps", "nMapsdown"]
item = ["maps to", "downward, double, negated"]
# ... upward ...
[[rewrite]]
prefix = ["upmaps", "mapsup"]
item = ["maps to", "upward"]
[[rewrite]]
prefix = ["Upmaps", "Mapsup"]
item = ["maps to", "upward, double"]
[[rewrite]]
prefix = ["nupmaps", "nmapsup"]
item = ["maps to", "upward, negated"]
[[rewrite]]
prefix = ["nUpmaps", "nMapsup"]
item = ["maps to", "upward, double, negated"]
# ... leftward ...
# This rule should precede the following one.
[[rewrite]]
regex = '^(var)?(long)?(var)?mapsfrom$'
item = ["maps to", "leftward"]
[[rewrite]]
compare_lowercase = true
regex = '^(var)?(long)?(var)?mapsfrom$'
item = ["maps to", "leftward, double"]
# This rule should precede the following one.
[[rewrite]]
regex = '^n(var)?(long)?(var)?mapsfrom$'
item = ["maps to", "leftward, negated"]
[[rewrite]]
compare_lowercase = true
regex = '^n(var)?(long)?(var)?mapsfrom$'
item = ["maps to", "leftward, double, negated"]
[[rewrite]]
matches = "leftmapsto"
item = ["maps to", "leftward"]
[[rewrite]]
matches = "Leftmapsto"
item = ["maps to", "leftward, double"]
[[rewrite]]
matches = "nleftmapsto"
item = ["maps to", "leftward, negated"]
[[rewrite]]
matches = "nLeftmapsto"
item = ["maps to", "leftward, double, negated"]
[[rewrite]]
matches = "twoheadmapsfrom"
item = ["maps to", "leftward, double headed"]
[[rewrite]]
matches = "xvarmapsfrom"
item = ["maps to", "leftward, extensible"]
# ... diagonal ...
[[rewrite]]
regex = '^(ne|nw|se|sw)mapsto$'
item = ["maps to", "diagonal"]
[[rewrite]]
regex = '^n(ne|nw|se|sw)mapsto$'
item = ["maps to", "diagonal, negated"]
|