summaryrefslogtreecommitdiff
path: root/info/symbols/comprehensive/source/prune-idx-math-maps.toml
blob: 5d83d7d68ffb5d65e8555f86114a41ff76ff8042 (plain)
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"]