2
%% This is file `msabm.sym',
3
%% generated with the docstrip utility.
5
%% The original source files were:
7
%% flexisym.dtx (with options: `msabm')
9
%% This is a generated file.
11
%% Copyright (C) 1997-2003 by Michael J. Downes
12
%% Copyright (C) 2007 by Morten Hoegholm <mh.ctan@gmail.com>
14
%% This work may be distributed and/or modified under the
15
%% conditions of the LaTeX Project Public License, either
16
%% version 1.3 of this license or (at your option) any later
17
%% version. The latest version of this license is in
18
%% http://www.latex-project.org/lppl.txt
19
%% and version 1.3 or later is part of all distributions of
20
%% LaTeX version 2005/12/01 or later.
22
%% This work has the LPPL maintenance status "maintained".
24
%% This Current Maintainer of this work is Morten Hoegholm.
26
%% This work consists of the main source file flexisym.dtx
27
%% and the derived files
28
%% flexisym.sty, flexisym.pdf, flexisym.ins, flexisym.drv,
29
%% cmbase.sym, mathpazo.sym, mathptmx.sym, msabm.sym.
31
\ProvidesSymbols{msabm}[2001/09/08 v0.91]
32
\RequirePackage{amsfonts}\relax
33
\@xp\xdef\csname mg@MSA\endcsname{\hexnumber@\symAMSa}%
34
\@xp\xdef\csname mg@MSB\endcsname{\hexnumber@\symAMSb}%
35
\DeclareFlexSymbol{\boxdot} {Bin}{MSA}{00}
36
\DeclareFlexSymbol{\boxplus} {Bin}{MSA}{01}
37
\DeclareFlexSymbol{\boxtimes} {Bin}{MSA}{02}
38
\DeclareFlexSymbol{\square} {Ord}{MSA}{03}
39
\DeclareFlexSymbol{\blacksquare} {Ord}{MSA}{04}
40
\DeclareFlexSymbol{\centerdot} {Bin}{MSA}{05}
41
\DeclareFlexSymbol{\lozenge} {Ord}{MSA}{06}
42
\DeclareFlexSymbol{\blacklozenge} {Ord}{MSA}{07}
43
\DeclareFlexSymbol{\circlearrowright} {Rel}{MSA}{08}
44
\DeclareFlexSymbol{\circlearrowleft} {Rel}{MSA}{09}
45
%%\DeclareFlexSymbol{\rightleftharpoons}{Rel}{MSA}{0A}
46
\DeclareFlexSymbol{\leftrightharpoons} {Rel}{MSA}{0B}
47
\DeclareFlexSymbol{\boxminus} {Bin}{MSA}{0C}
48
\DeclareFlexSymbol{\Vdash} {Rel}{MSA}{0D}
49
\DeclareFlexSymbol{\Vvdash} {Rel}{MSA}{0E}
50
\DeclareFlexSymbol{\vDash} {Rel}{MSA}{0F}
51
\DeclareFlexSymbol{\twoheadrightarrow} {Rel}{MSA}{10}
52
\DeclareFlexSymbol{\twoheadleftarrow} {Rel}{MSA}{11}
53
\DeclareFlexSymbol{\leftleftarrows} {Rel}{MSA}{12}
54
\DeclareFlexSymbol{\rightrightarrows} {Rel}{MSA}{13}
55
\DeclareFlexSymbol{\upuparrows} {Rel}{MSA}{14}
56
\DeclareFlexSymbol{\downdownarrows} {Rel}{MSA}{15}
57
\DeclareFlexSymbol{\upharpoonright} {Rel}{MSA}{16}
58
\let\restriction\upharpoonright
59
\DeclareFlexSymbol{\downharpoonright} {Rel}{MSA}{17}
60
\DeclareFlexSymbol{\upharpoonleft} {Rel}{MSA}{18}
61
\DeclareFlexSymbol{\downharpoonleft}{Rel}{MSA}{19}
62
\DeclareFlexSymbol{\rightarrowtail} {Rel}{MSA}{1A}
63
\DeclareFlexSymbol{\leftarrowtail} {Rel}{MSA}{1B}
64
\DeclareFlexSymbol{\leftrightarrows}{Rel}{MSA}{1C}
65
\DeclareFlexSymbol{\rightleftarrows}{Rel}{MSA}{1D}
66
\DeclareFlexSymbol{\Lsh} {Rel}{MSA}{1E}
67
\DeclareFlexSymbol{\Rsh} {Rel}{MSA}{1F}
68
\DeclareFlexSymbol{\rightsquigarrow} {Rel}{MSA}{20}
69
\DeclareFlexSymbol{\leftrightsquigarrow}{Rel}{MSA}{21}
70
\DeclareFlexSymbol{\looparrowleft} {Rel}{MSA}{22}
71
\DeclareFlexSymbol{\looparrowright} {Rel}{MSA}{23}
72
\DeclareFlexSymbol{\circeq} {Rel}{MSA}{24}
73
\DeclareFlexSymbol{\succsim} {Rel}{MSA}{25}
74
\DeclareFlexSymbol{\gtrsim} {Rel}{MSA}{26}
75
\DeclareFlexSymbol{\gtrapprox} {Rel}{MSA}{27}
76
\DeclareFlexSymbol{\multimap} {Rel}{MSA}{28}
77
\DeclareFlexSymbol{\therefore} {Rel}{MSA}{29}
78
\DeclareFlexSymbol{\because} {Rel}{MSA}{2A}
79
\DeclareFlexSymbol{\doteqdot} {Rel}{MSA}{2B}
81
\DeclareFlexSymbol{\triangleq} {Rel}{MSA}{2C}
82
\DeclareFlexSymbol{\precsim} {Rel}{MSA}{2D}
83
\DeclareFlexSymbol{\lesssim} {Rel}{MSA}{2E}
84
\DeclareFlexSymbol{\lessapprox} {Rel}{MSA}{2F}
85
\DeclareFlexSymbol{\eqslantless} {Rel}{MSA}{30}
86
\DeclareFlexSymbol{\eqslantgtr} {Rel}{MSA}{31}
87
\DeclareFlexSymbol{\curlyeqprec} {Rel}{MSA}{32}
88
\DeclareFlexSymbol{\curlyeqsucc} {Rel}{MSA}{33}
89
\DeclareFlexSymbol{\preccurlyeq} {Rel}{MSA}{34}
90
\DeclareFlexSymbol{\leqq} {Rel}{MSA}{35}
91
\DeclareFlexSymbol{\leqslant} {Rel}{MSA}{36}
92
\DeclareFlexSymbol{\lessgtr} {Rel}{MSA}{37}
93
\DeclareFlexSymbol{\backprime} {Ord}{MSA}{38}
94
\DeclareFlexSymbol{\risingdotseq} {Rel}{MSA}{3A}
95
\DeclareFlexSymbol{\fallingdotseq}{Rel}{MSA}{3B}
96
\DeclareFlexSymbol{\succcurlyeq} {Rel}{MSA}{3C}
97
\DeclareFlexSymbol{\geqq} {Rel}{MSA}{3D}
98
\DeclareFlexSymbol{\geqslant} {Rel}{MSA}{3E}
99
\DeclareFlexSymbol{\gtrless} {Rel}{MSA}{3F}
100
%% \DeclareFlexSymbol{\sqsubset} {Rel}{MSA}{40}
101
%% \DeclareFlexSymbol{\sqsupset} {Rel}{MSA}{41}
102
\DeclareFlexSymbol{\vartriangleright}{Rel}{MSA}{42}
103
\DeclareFlexSymbol{\vartriangleleft} {Rel}{MSA}{43}
104
\DeclareFlexSymbol{\trianglerighteq} {Rel}{MSA}{44}
105
\DeclareFlexSymbol{\trianglelefteq} {Rel}{MSA}{45}
106
\DeclareFlexSymbol{\bigstar} {Ord}{MSA}{46}
107
\DeclareFlexSymbol{\between} {Rel}{MSA}{47}
108
\DeclareFlexSymbol{\blacktriangledown} {Ord}{MSA}{48}
109
\DeclareFlexSymbol{\blacktriangleright} {Rel}{MSA}{49}
110
\DeclareFlexSymbol{\blacktriangleleft} {Rel}{MSA}{4A}
111
\DeclareFlexSymbol{\vartriangle} {Rel}{MSA}{4D}
112
\DeclareFlexSymbol{\blacktriangle} {Ord}{MSA}{4E}
113
\DeclareFlexSymbol{\triangledown} {Ord}{MSA}{4F}
114
\DeclareFlexSymbol{\eqcirc} {Rel}{MSA}{50}
115
\DeclareFlexSymbol{\lesseqgtr} {Rel}{MSA}{51}
116
\DeclareFlexSymbol{\gtreqless} {Rel}{MSA}{52}
117
\DeclareFlexSymbol{\lesseqqgtr} {Rel}{MSA}{53}
118
\DeclareFlexSymbol{\gtreqqless} {Rel}{MSA}{54}
119
\DeclareFlexSymbol{\Rrightarrow} {Rel}{MSA}{56}
120
\DeclareFlexSymbol{\Lleftarrow} {Rel}{MSA}{57}
121
\DeclareFlexSymbol{\veebar} {Bin}{MSA}{59}
122
\DeclareFlexSymbol{\barwedge} {Bin}{MSA}{5A}
123
\DeclareFlexSymbol{\doublebarwedge} {Bin}{MSA}{5B}
124
%%\DeclareFlexSymbol{\angle} {Ord}{MSA}{5C}
125
\DeclareFlexSymbol{\measuredangle} {Ord}{MSA}{5D}
126
\DeclareFlexSymbol{\sphericalangle} {Ord}{MSA}{5E}
127
\DeclareFlexSymbol{\varpropto} {Rel}{MSA}{5F}
128
\DeclareFlexSymbol{\smallsmile} {Rel}{MSA}{60}
129
\DeclareFlexSymbol{\smallfrown} {Rel}{MSA}{61}
130
\DeclareFlexSymbol{\Subset} {Rel}{MSA}{62}
131
\DeclareFlexSymbol{\Supset} {Rel}{MSA}{63}
132
\DeclareFlexSymbol{\Cup} {Bin}{MSA}{64}
134
\DeclareFlexSymbol{\Cap} {Bin}{MSA}{65}
136
\DeclareFlexSymbol{\curlywedge} {Bin}{MSA}{66}
137
\DeclareFlexSymbol{\curlyvee} {Bin}{MSA}{67}
138
\DeclareFlexSymbol{\leftthreetimes} {Bin}{MSA}{68}
139
\DeclareFlexSymbol{\rightthreetimes}{Bin}{MSA}{69}
140
\DeclareFlexSymbol{\subseteqq} {Rel}{MSA}{6A}
141
\DeclareFlexSymbol{\supseteqq} {Rel}{MSA}{6B}
142
\DeclareFlexSymbol{\bumpeq} {Rel}{MSA}{6C}
143
\DeclareFlexSymbol{\Bumpeq} {Rel}{MSA}{6D}
144
\DeclareFlexSymbol{\lll} {Rel}{MSA}{6E}
146
\DeclareFlexSymbol{\ggg} {Rel}{MSA}{6F}
148
\DeclareFlexSymbol{\circledS} {Ord}{MSA}{73}
149
\DeclareFlexSymbol{\pitchfork} {Rel}{MSA}{74}
150
\DeclareFlexSymbol{\dotplus} {Bin}{MSA}{75}
151
\DeclareFlexSymbol{\backsim} {Rel}{MSA}{76}
152
\DeclareFlexSymbol{\backsimeq} {Rel}{MSA}{77}
153
\DeclareFlexSymbol{\complement} {Ord}{MSA}{7B}
154
\DeclareFlexSymbol{\intercal} {Bin}{MSA}{7C}
155
\DeclareFlexSymbol{\circledcirc} {Bin}{MSA}{7D}
156
\DeclareFlexSymbol{\circledast} {Bin}{MSA}{7E}
157
\DeclareFlexSymbol{\circleddash} {Bin}{MSA}{7F}
158
\DeclareFlexSymbol{\lvertneqq} {Rel}{MSB}{00}
159
\DeclareFlexSymbol{\gvertneqq} {Rel}{MSB}{01}
160
\DeclareFlexSymbol{\nleq} {Rel}{MSB}{02}
161
\DeclareFlexSymbol{\ngeq} {Rel}{MSB}{03}
162
\DeclareFlexSymbol{\nless} {Rel}{MSB}{04}
163
\DeclareFlexSymbol{\ngtr} {Rel}{MSB}{05}
164
\DeclareFlexSymbol{\nprec} {Rel}{MSB}{06}
165
\DeclareFlexSymbol{\nsucc} {Rel}{MSB}{07}
166
\DeclareFlexSymbol{\lneqq} {Rel}{MSB}{08}
167
\DeclareFlexSymbol{\gneqq} {Rel}{MSB}{09}
168
\DeclareFlexSymbol{\nleqslant} {Rel}{MSB}{0A}
169
\DeclareFlexSymbol{\ngeqslant} {Rel}{MSB}{0B}
170
\DeclareFlexSymbol{\lneq} {Rel}{MSB}{0C}
171
\DeclareFlexSymbol{\gneq} {Rel}{MSB}{0D}
172
\DeclareFlexSymbol{\npreceq} {Rel}{MSB}{0E}
173
\DeclareFlexSymbol{\nsucceq} {Rel}{MSB}{0F}
174
\DeclareFlexSymbol{\precnsim} {Rel}{MSB}{10}
175
\DeclareFlexSymbol{\succnsim} {Rel}{MSB}{11}
176
\DeclareFlexSymbol{\lnsim} {Rel}{MSB}{12}
177
\DeclareFlexSymbol{\gnsim} {Rel}{MSB}{13}
178
\DeclareFlexSymbol{\nleqq} {Rel}{MSB}{14}
179
\DeclareFlexSymbol{\ngeqq} {Rel}{MSB}{15}
180
\DeclareFlexSymbol{\precneqq} {Rel}{MSB}{16}
181
\DeclareFlexSymbol{\succneqq} {Rel}{MSB}{17}
182
\DeclareFlexSymbol{\precnapprox} {Rel}{MSB}{18}
183
\DeclareFlexSymbol{\succnapprox} {Rel}{MSB}{19}
184
\DeclareFlexSymbol{\lnapprox} {Rel}{MSB}{1A}
185
\DeclareFlexSymbol{\gnapprox} {Rel}{MSB}{1B}
186
\DeclareFlexSymbol{\nsim} {Rel}{MSB}{1C}
187
\DeclareFlexSymbol{\ncong} {Rel}{MSB}{1D}
188
\DeclareFlexSymbol{\diagup} {Ord}{MSB}{1E}
189
\DeclareFlexSymbol{\diagdown} {Ord}{MSB}{1F}
190
\DeclareFlexSymbol{\varsubsetneq} {Rel}{MSB}{20}
191
\DeclareFlexSymbol{\varsupsetneq} {Rel}{MSB}{21}
192
\DeclareFlexSymbol{\nsubseteqq} {Rel}{MSB}{22}
193
\DeclareFlexSymbol{\nsupseteqq} {Rel}{MSB}{23}
194
\DeclareFlexSymbol{\subsetneqq} {Rel}{MSB}{24}
195
\DeclareFlexSymbol{\supsetneqq} {Rel}{MSB}{25}
196
\DeclareFlexSymbol{\varsubsetneqq} {Rel}{MSB}{26}
197
\DeclareFlexSymbol{\varsupsetneqq} {Rel}{MSB}{27}
198
\DeclareFlexSymbol{\subsetneq} {Rel}{MSB}{28}
199
\DeclareFlexSymbol{\supsetneq} {Rel}{MSB}{29}
200
\DeclareFlexSymbol{\nsubseteq} {Rel}{MSB}{2A}
201
\DeclareFlexSymbol{\nsupseteq} {Rel}{MSB}{2B}
202
\DeclareFlexSymbol{\nparallel} {Rel}{MSB}{2C}
203
\DeclareFlexSymbol{\nmid} {Rel}{MSB}{2D}
204
\DeclareFlexSymbol{\nshortmid} {Rel}{MSB}{2E}
205
\DeclareFlexSymbol{\nshortparallel} {Rel}{MSB}{2F}
206
\DeclareFlexSymbol{\nvdash} {Rel}{MSB}{30}
207
\DeclareFlexSymbol{\nVdash} {Rel}{MSB}{31}
208
\DeclareFlexSymbol{\nvDash} {Rel}{MSB}{32}
209
\DeclareFlexSymbol{\nVDash} {Rel}{MSB}{33}
210
\DeclareFlexSymbol{\ntrianglerighteq}{Rel}{MSB}{34}
211
\DeclareFlexSymbol{\ntrianglelefteq}{Rel}{MSB}{35}
212
\DeclareFlexSymbol{\ntriangleleft} {Rel}{MSB}{36}
213
\DeclareFlexSymbol{\ntriangleright} {Rel}{MSB}{37}
214
\DeclareFlexSymbol{\nleftarrow} {Rel}{MSB}{38}
215
\DeclareFlexSymbol{\nrightarrow} {Rel}{MSB}{39}
216
\DeclareFlexSymbol{\nLeftarrow} {Rel}{MSB}{3A}
217
\DeclareFlexSymbol{\nRightarrow} {Rel}{MSB}{3B}
218
\DeclareFlexSymbol{\nLeftrightarrow}{Rel}{MSB}{3C}
219
\DeclareFlexSymbol{\nleftrightarrow}{Rel}{MSB}{3D}
220
\DeclareFlexSymbol{\divideontimes} {Bin}{MSB}{3E}
221
\DeclareFlexSymbol{\varnothing} {Ord}{MSB}{3F}
222
\DeclareFlexSymbol{\nexists} {Ord}{MSB}{40}
223
\DeclareFlexSymbol{\Finv} {Ord}{MSB}{60}
224
\DeclareFlexSymbol{\Game} {Ord}{MSB}{61}
225
%%\DeclareFlexSymbol{\mho} {Ord}{MSB}{66}
226
\DeclareFlexSymbol{\eth} {Ord}{MSB}{67}
227
\DeclareFlexSymbol{\eqsim} {Rel}{MSB}{68}
228
\DeclareFlexSymbol{\beth} {Ord}{MSB}{69}
229
\DeclareFlexSymbol{\gimel} {Ord}{MSB}{6A}
230
\DeclareFlexSymbol{\daleth} {Ord}{MSB}{6B}
231
\DeclareFlexSymbol{\lessdot} {Bin}{MSB}{6C}
232
\DeclareFlexSymbol{\gtrdot} {Bin}{MSB}{6D}
233
\DeclareFlexSymbol{\ltimes} {Bin}{MSB}{6E}
234
\DeclareFlexSymbol{\rtimes} {Bin}{MSB}{6F}
235
\DeclareFlexSymbol{\shortmid} {Rel}{MSB}{70}
236
\DeclareFlexSymbol{\shortparallel} {Rel}{MSB}{71}
237
\DeclareFlexSymbol{\smallsetminus} {Bin}{MSB}{72}
238
\DeclareFlexSymbol{\thicksim} {Rel}{MSB}{73}
239
\DeclareFlexSymbol{\thickapprox} {Rel}{MSB}{74}
240
\DeclareFlexSymbol{\approxeq} {Rel}{MSB}{75}
241
\DeclareFlexSymbol{\succapprox} {Rel}{MSB}{76}
242
\DeclareFlexSymbol{\precapprox} {Rel}{MSB}{77}
243
\DeclareFlexSymbol{\curvearrowleft} {Rel}{MSB}{78}
244
\DeclareFlexSymbol{\curvearrowright}{Rel}{MSB}{79}
245
\DeclareFlexSymbol{\digamma} {Ord}{MSB}{7A}
246
\DeclareFlexSymbol{\varkappa} {Ord}{MSB}{7B}
247
\DeclareFlexSymbol{\Bbbk} {Ord}{MSB}{7C}
248
\DeclareFlexSymbol{\hslash} {Ord}{MSB}{7D}
249
%%\DeclareFlexSymbol{\hbar} {Ord}{MSB}{7E}
250
\DeclareFlexSymbol{\backepsilon} {Rel}{MSB}{7F}
253
%% End of file `msabm.sym'.