summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/context/base/math-ams.tex
blob: 3df63ff489a88fe622523280d61d7f8b778dd99d (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
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
%D \module
%D   [       file=math-ams,
%D        version=2001.04.12,
%D          title=\CONTEXT\ Math Macros,
%D       subtitle=AMS Specials,
%D         author={Hans Hagen \& Taco Hoekwater},
%D           date=\currentdate,
%D      copyright=\PRAGMA]
%C
%C This module is part of the \CONTEXT\ macro||package and is
%C therefore copyrighted by \PRAGMA. See mreadme.pdf for
%C details.

\unprotect

% maybe we should just include these into the default tex one

\definefamilysynonym [default] [blackboard]   [mb]

\startmathcollection [default]

\definemathsymbol [varGamma]   [ord] [letters] ["00]
\definemathsymbol [varDelta]   [ord] [letters] ["01]
\definemathsymbol [varTheta]   [ord] [letters] ["02]
\definemathsymbol [varLambda]  [ord] [letters] ["03]
\definemathsymbol [varXi]      [ord] [letters] ["04]
\definemathsymbol [varPi]      [ord] [letters] ["05]
\definemathsymbol [varSigma]   [ord] [letters] ["06]
\definemathsymbol [varUpsilon] [ord] [letters] ["07]
\definemathsymbol [varPhi]     [ord] [letters] ["08]
\definemathsymbol [varPsi]     [ord] [letters] ["09]
\definemathsymbol [varOmega]   [ord] [letters] ["0A]

\stopmathcollection

\startmathcollection[default]

\definemathsymbol [internalAnd] [rel] [operators] ["26]

\stopmathcollection

\startmathcollection [default]

\definemathsymbol [boxdot]              [bin]   [ma] ["00]
\definemathsymbol [boxplus]             [bin]   [ma] ["01]
\definemathsymbol [boxtimes]            [bin]   [ma] ["02]
\definemathsymbol [square]              [ord]   [ma] ["03]
\definemathsymbol [Box]                 [ord]   [ma] ["03] % square
\definemathsymbol [blacksquare]         [ord]   [ma] ["04]
\definemathsymbol [centerdot]           [bin]   [ma] ["05]
\definemathsymbol [Diamond]             [ord]   [ma] ["06]
\definemathsymbol [lozenge]             [ord]   [ma] ["06] % Diamond
\definemathsymbol [blacklozenge]        [ord]   [ma] ["07]
\definemathsymbol [circlearrowright]    [rel]   [ma] ["08]
\definemathsymbol [circlearrowleft]     [rel]   [ma] ["09]
\definemathsymbol [rightleftharpoons]   [rel]   [ma] ["0A]
\definemathsymbol [leftrightharpoons]   [rel]   [ma] ["0B]
\definemathsymbol [boxminus]            [bin]   [ma] ["0C]
\definemathsymbol [Vdash]               [rel]   [ma] ["0D]
\definemathsymbol [Vvdash]              [rel]   [ma] ["0E]
\definemathsymbol [vDash]               [rel]   [ma] ["0F]
\definemathsymbol [twoheadrightarrow]   [rel]   [ma] ["10]
\definemathsymbol [twoheadleftarrow]    [rel]   [ma] ["11]
\definemathsymbol [leftleftarrows]      [rel]   [ma] ["12]
\definemathsymbol [rightrightarrows]    [rel]   [ma] ["13]
\definemathsymbol [upuparrows]          [rel]   [ma] ["14]
\definemathsymbol [downdownarrows]      [rel]   [ma] ["15]
\definemathsymbol [upharpoonright]      [rel]   [ma] ["16]
\definemathsymbol [restriction]         [rel]   [ma] ["16]
\definemathsymbol [downharpoonright]    [rel]   [ma] ["17]
\definemathsymbol [upharpoonleft]       [rel]   [ma] ["18]
\definemathsymbol [downharpoonleft]     [rel]   [ma] ["19]
\definemathsymbol [rightarrowtail]      [rel]   [ma] ["1A]
\definemathsymbol [leftarrowtail]       [rel]   [ma] ["1B]
\definemathsymbol [leftrightarrows]     [rel]   [ma] ["1C]
\definemathsymbol [rightleftarrows]     [rel]   [ma] ["1D]
\definemathsymbol [Lsh]                 [rel]   [ma] ["1E]
\definemathsymbol [Rsh]                 [rel]   [ma] ["1F]
\definemathsymbol [rightsquigarrow]     [rel]   [ma] ["20]
\definemathsymbol [leadsto]             [rel]   [ma] ["20] % rightsquigarrow
\definemathsymbol [leftrightsquigarrow] [rel]   [ma] ["21]
\definemathsymbol [looparrowleft]       [rel]   [ma] ["22]
\definemathsymbol [looparrowright]      [rel]   [ma] ["23]
\definemathsymbol [circeq]              [rel]   [ma] ["24]
\definemathsymbol [succsim]             [rel]   [ma] ["25]
\definemathsymbol [gtrsim]              [rel]   [ma] ["26]
\definemathsymbol [gtrapprox]           [rel]   [ma] ["27]
\definemathsymbol [multimap]            [rel]   [ma] ["28]
\definemathsymbol [therefore]           [rel]   [ma] ["29]
\definemathsymbol [because]             [rel]   [ma] ["2A]
\definemathsymbol [doteqdot]            [rel]   [ma] ["2B]
\definemathsymbol [Doteq]               [rel]   [ma] ["2B] % doteqdot
\definemathsymbol [triangleq]           [rel]   [ma] ["2C]
\definemathsymbol [precsim]             [rel]   [ma] ["2D]
\definemathsymbol [lesssim]             [rel]   [ma] ["2E]
\definemathsymbol [lessapprox]          [rel]   [ma] ["2F]
\definemathsymbol [eqslantless]         [rel]   [ma] ["30]
\definemathsymbol [eqslantgtr]          [rel]   [ma] ["31]
\definemathsymbol [curlyeqprec]         [rel]   [ma] ["32]
\definemathsymbol [curlyeqsucc]         [rel]   [ma] ["33]
\definemathsymbol [preccurlyeq]         [rel]   [ma] ["34]
\definemathsymbol [leqq]                [rel]   [ma] ["35]
\definemathsymbol [leqslant]            [rel]   [ma] ["36]
\definemathsymbol [lessgtr]             [rel]   [ma] ["37]
\definemathsymbol [backprime]           [ord]   [ma] ["38]
\definemathsymbol [dabar@]              [ord]   [ma] ["39] % @
\definemathsymbol [risingdotseq]        [rel]   [ma] ["3A]
\definemathsymbol [fallingdotseq]       [rel]   [ma] ["3B]
\definemathsymbol [succcurlyeq]         [rel]   [ma] ["3C]
\definemathsymbol [geqq]                [rel]   [ma] ["3D]
\definemathsymbol [geqslant]            [rel]   [ma] ["3E]
\definemathsymbol [gtrless]             [rel]   [ma] ["3F]
\definemathsymbol [sqsubset]            [rel]   [ma] ["40]
\definemathsymbol [sqsupset]            [rel]   [ma] ["41]
\definemathsymbol [vartriangleright]    [rel]   [ma] ["42]
\definemathsymbol [rhd]                 [bin]   [ma] ["42]
\definemathsymbol [lhd]                 [bin]   [ma] ["43]
\definemathsymbol [vartriangleleft]     [rel]   [ma] ["43]
\definemathsymbol [trianglerighteq]     [rel]   [ma] ["44]
\definemathsymbol [unrhd]               [bin]   [ma] ["44] % trianglerighteq
\definemathsymbol [trianglelefteq]      [rel]   [ma] ["45]
\definemathsymbol [unlhd]               [bin]   [ma] ["45] % trianglelefteq
\definemathsymbol [bigstar]             [ord]   [ma] ["46]
\definemathsymbol [between]             [rel]   [ma] ["47]
\definemathsymbol [blacktriangledown]   [ord]   [ma] ["48]
\definemathsymbol [blacktriangleright]  [rel]   [ma] ["49]
\definemathsymbol [blacktriangleleft]   [rel]   [ma] ["4A]
\definemathsymbol [vartriangle]         [rel]   [ma] ["4D]
\definemathsymbol [triangleup]          [ord]   [ma] ["4D] % vartriangle
\definemathsymbol [blacktriangle]       [ord]   [ma] ["4E]
\definemathsymbol [triangledown]        [ord]   [ma] ["4F]
\definemathsymbol [eqcirc]              [rel]   [ma] ["50]
\definemathsymbol [lesseqgtr]           [rel]   [ma] ["51]
\definemathsymbol [gtreqless]           [rel]   [ma] ["52]
\definemathsymbol [lesseqqgtr]          [rel]   [ma] ["53]
\definemathsymbol [gtreqqless]          [rel]   [ma] ["54]
\definemathsymbol [Rrightarrow]         [rel]   [ma] ["56]
\definemathsymbol [Lleftarrow]          [rel]   [ma] ["57]
\definemathsymbol [veebar]              [bin]   [ma] ["59]
\definemathsymbol [barwedge]            [bin]   [ma] ["5A]
\definemathsymbol [doublebarwedge]      [bin]   [ma] ["5B]
\definemathsymbol [angle]               [ord]   [ma] ["5C]
\definemathsymbol [measuredangle]       [ord]   [ma] ["5D]
\definemathsymbol [sphericalangle]      [ord]   [ma] ["5E]
\definemathsymbol [varpropto]           [rel]   [ma] ["5F]
\definemathsymbol [smallsmile]          [rel]   [ma] ["60]
\definemathsymbol [smallfrown]          [rel]   [ma] ["61]
\definemathsymbol [Subset]              [rel]   [ma] ["62]
\definemathsymbol [Supset]              [rel]   [ma] ["63]
\definemathsymbol [Cup]                 [bin]   [ma] ["64]
\definemathsymbol [doublecup]           [bin]   [ma] ["64] % Cup
\definemathsymbol [Cap]                 [bin]   [ma] ["65]
\definemathsymbol [doublecap]           [bin]   [ma] ["65]
\definemathsymbol [curlywedge]          [bin]   [ma] ["66]
\definemathsymbol [curlyvee]            [bin]   [ma] ["67]
\definemathsymbol [leftthreetimes]      [bin]   [ma] ["68]
\definemathsymbol [rightthreetimes]     [bin]   [ma] ["69]
\definemathsymbol [subseteqq]           [rel]   [ma] ["6A]
\definemathsymbol [supseteqq]           [rel]   [ma] ["6B]
\definemathsymbol [bumpeq]              [rel]   [ma] ["6C]
\definemathsymbol [Bumpeq]              [rel]   [ma] ["6D]
\definemathsymbol [llless]              [rel]   [ma] ["6E]
\definemathsymbol [lll]                 [rel]   [ma] ["6E] % llless
\definemathsymbol [gggtr]               [rel]   [ma] ["6F]
\definemathsymbol [ggg]                 [rel]   [ma] ["6F] % gggtr
\definemathsymbol [ulcorner]            [open]  [ma] ["70] [ma] ["70]
\definemathsymbol [urcorner]            [close] [ma] ["71] [ma] ["71]
\definemathsymbol [circledS]            [ord]   [ma] ["73]
\definemathsymbol [pitchfork]           [rel]   [ma] ["74]
\definemathsymbol [dotplus]             [bin]   [ma] ["75]
\definemathsymbol [backsim]             [rel]   [ma] ["76]
\definemathsymbol [backsimeq]           [rel]   [ma] ["77]
\definemathsymbol [llcorner]            [open]  [ma] ["78] [ma] ["78]
\definemathsymbol [lrcorner]            [close] [ma] ["79] [ma] ["79]
\definemathsymbol [complement]          [ord]   [ma] ["7B]
\definemathsymbol [intercal]            [bin]   [ma] ["7C]
\definemathsymbol [circledcirc]         [bin]   [ma] ["7D]
\definemathsymbol [circledast]          [bin]   [ma] ["7E]
\definemathsymbol [circleddash]         [bin]   [ma] ["7F]

\stopmathcollection

\startmathcollection [default]

\definemathcommand [integers]       {\blackboard{Z}}
\definemathcommand [reals]          {\blackboard{R}}
\definemathcommand [rationals]      {\blackboard{Q}}
\definemathcommand [naturalnumbers] {\blackboard{N}}
\definemathcommand [complexes]      {\blackboard{C}}
\definemathcommand [primes]         {\blackboard{P}}

\stopmathcollection

\startmathcollection [default]

\definemathsymbol [lvertneqq]           [rel]   [mb] ["00]
\definemathsymbol [gvertneqq]           [rel]   [mb] ["01]
\definemathsymbol [nleq]                [rel]   [mb] ["02]
\definemathsymbol [ngeq]                [rel]   [mb] ["03]
\definemathsymbol [nless]               [rel]   [mb] ["04]
\definemathsymbol [ngtr]                [rel]   [mb] ["05]
\definemathsymbol [nprec]               [rel]   [mb] ["06]
\definemathsymbol [nsucc]               [rel]   [mb] ["07]
\definemathsymbol [lneqq]               [rel]   [mb] ["08]
\definemathsymbol [gneqq]               [rel]   [mb] ["09]
\definemathsymbol [nleqslant]           [rel]   [mb] ["0A]
\definemathsymbol [ngeqslant]           [rel]   [mb] ["0B]
\definemathsymbol [lneq]                [rel]   [mb] ["0C]
\definemathsymbol [gneq]                [rel]   [mb] ["0D]
\definemathsymbol [npreceq]             [rel]   [mb] ["0E]
\definemathsymbol [nsucceq]             [rel]   [mb] ["0F]
\definemathsymbol [precnsim]            [rel]   [mb] ["10]
\definemathsymbol [succnsim]            [rel]   [mb] ["11]
\definemathsymbol [lnsim]               [rel]   [mb] ["12]
\definemathsymbol [gnsim]               [rel]   [mb] ["13]
\definemathsymbol [nleqq]               [rel]   [mb] ["14]
\definemathsymbol [ngeqq]               [rel]   [mb] ["15]
\definemathsymbol [precneqq]            [rel]   [mb] ["16]
\definemathsymbol [succneqq]            [rel]   [mb] ["17]
\definemathsymbol [precnapprox]         [rel]   [mb] ["18]
\definemathsymbol [succnapprox]         [rel]   [mb] ["19]
\definemathsymbol [lnapprox]            [rel]   [mb] ["1A]
\definemathsymbol [gnapprox]            [rel]   [mb] ["1B]
\definemathsymbol [nsim]                [rel]   [mb] ["1C]
\definemathsymbol [ncong]               [rel]   [mb] ["1D]
\definemathsymbol [diagup]              [ord]   [mb] ["1E]
\definemathsymbol [diagdown]            [ord]   [mb] ["1F]
\definemathsymbol [varsubsetneq]        [rel]   [mb] ["20]
\definemathsymbol [varsupsetneq]        [rel]   [mb] ["21]
\definemathsymbol [nsubseteqq]          [rel]   [mb] ["22]
\definemathsymbol [nsupseteqq]          [rel]   [mb] ["23]
\definemathsymbol [subsetneqq]          [rel]   [mb] ["24]
\definemathsymbol [supsetneqq]          [rel]   [mb] ["25]
\definemathsymbol [varsubsetneqq]       [rel]   [mb] ["26]
\definemathsymbol [varsupsetneqq]       [rel]   [mb] ["27]
\definemathsymbol [subsetneq]           [rel]   [mb] ["28]
\definemathsymbol [supsetneq]           [rel]   [mb] ["29]
\definemathsymbol [nsubseteq]           [rel]   [mb] ["2A]
\definemathsymbol [nsupseteq]           [rel]   [mb] ["2B]
\definemathsymbol [nparallel]           [rel]   [mb] ["2C]
\definemathsymbol [nmid]                [rel]   [mb] ["2D]
\definemathsymbol [nshortmid]           [rel]   [mb] ["2E]
\definemathsymbol [nshortparallel]      [rel]   [mb] ["2F]
\definemathsymbol [nvdash]              [rel]   [mb] ["30]
\definemathsymbol [nVdash]              [rel]   [mb] ["31]
\definemathsymbol [nvDash]              [rel]   [mb] ["32]
\definemathsymbol [nVDash]              [rel]   [mb] ["33]
\definemathsymbol [ntrianglerighteq]    [rel]   [mb] ["34]
\definemathsymbol [ntrianglelefteq]     [rel]   [mb] ["35]
\definemathsymbol [ntriangleleft]       [rel]   [mb] ["36]
\definemathsymbol [ntriangleright]      [rel]   [mb] ["37]
\definemathsymbol [nleftarrow]          [rel]   [mb] ["38]
\definemathsymbol [nrightarrow]         [rel]   [mb] ["39]
\definemathsymbol [nLeftarrow]          [rel]   [mb] ["3A]
\definemathsymbol [nRightarrow]         [rel]   [mb] ["3B]
\definemathsymbol [nLeftrightarrow]     [rel]   [mb] ["3C]
\definemathsymbol [nleftrightarrow]     [rel]   [mb] ["3D]
\definemathsymbol [divideontimes]       [bin]   [mb] ["3E]
\definemathsymbol [varnothing]          [ord]   [mb] ["3F]
\definemathsymbol [nexists]             [ord]   [mb] ["40]
\definemathsymbol [Finv]                [ord]   [mb] ["60]
\definemathsymbol [Game]                [ord]   [mb] ["61]
\definemathsymbol [mho]                 [ord]   [mb] ["66]
\definemathsymbol [eth]                 [ord]   [mb] ["67]
\definemathsymbol [eqsim]               [rel]   [mb] ["68]
\definemathsymbol [beth]                [ord]   [mb] ["69]
\definemathsymbol [gimel]               [ord]   [mb] ["6A]
\definemathsymbol [daleth]              [ord]   [mb] ["6B]
\definemathsymbol [lessdot]             [bin]   [mb] ["6C]
\definemathsymbol [gtrdot]              [bin]   [mb] ["6D]
\definemathsymbol [ltimes]              [bin]   [mb] ["6E]
\definemathsymbol [rtimes]              [bin]   [mb] ["6F]
\definemathsymbol [shortmid]            [rel]   [mb] ["70]
\definemathsymbol [shortparallel]       [rel]   [mb] ["71]
\definemathsymbol [smallsetminus]       [bin]   [mb] ["72]
\definemathsymbol [thicksim]            [rel]   [mb] ["73]
\definemathsymbol [thickapprox]         [rel]   [mb] ["74]
\definemathsymbol [approxeq]            [rel]   [mb] ["75]
\definemathsymbol [succapprox]          [rel]   [mb] ["76]
\definemathsymbol [precapprox]          [rel]   [mb] ["77]
\definemathsymbol [curvearrowleft]      [rel]   [mb] ["78]
\definemathsymbol [curvearrowright]     [rel]   [mb] ["79]
\definemathsymbol [digamma]             [ord]   [mb] ["7A]
\definemathsymbol [varkappa]            [ord]   [mb] ["7B]
\definemathsymbol [Bbbk]                [ord]   [mb] ["7C]
\definemathsymbol [hslash]              [ord]   [mb] ["7D]
\definemathsymbol [hbar]                [ord]   [mb] ["7E]
\definemathsymbol [backepsilon]         [rel]   [mb] ["7F]

\stopmathcollection

\startmathcollection [default]

\definemathcommand [yen]            [nothing] {\mathhexbox{\hexmafam}55}
\definemathcommand [checkmark]      [nothing] {\mathhexbox{\hexmafam}58}
\definemathcommand [circledR]       [nothing] {\mathhexbox{\hexmafam}72}
\definemathcommand [maltese]        [nothing] {\mathhexbox{\hexmafam}7A}

\stopmathcollection

\startmathcollection [default]

\definemathcommand [dashrightarrow] [rel]     {\dabar@\dabar@ \mathchar"0C4B}%
\definemathcommand [dashleftarrow]  [rel]     {\mathchar"0C4C\dabar@ \dabar@}%
\definemathcommand [dasharrow]      [rel]     {\dabar@\dabar@ \mathchar"0C4B}%
\definemathcommand [Join]           [rel]     {\mathchar"0D6F\mkern-13.8mu\mathchar"0D6E}
\definemathcommand [implies]        [rel]     {\;\Longrightarrow\;}
\definemathcommand [impliedby]      [rel]     {\;\Longleftarrow\;}
\definemathcommand [And]            [rel]     {\;\internalAnd\;}

\stopmathcollection

\def\AMSwidehat#1%
  {\setbox\scratchbox\hbox{$\m@th#1$}%
   \ifdim\wd\scratchbox>2em
     \mathaccent"0\purefamilyhex{mb}5B{#1}%
   \else
     \mathaccent"0\purefamilyhex{ex}62{#1}%
   \fi}

\def\AMSwidetilde#1%
  {\setbox\scratchbox\hbox{$\m@th#1$}%
   \ifdim\wd\scratchbox>2em
     \mathaccent"0\purefamilyhex{mb}5D{#1}%
   \else
     \mathaccent"0\purefamilyhex{ex}65{#1}%
   \fi}

\startmathcollection [default]

\definemathcommand [widehat]   {\AMSwidehat}
\definemathcommand [widetilde] {\AMSwidetilde}

\stopmathcollection

\protect \endinput