| blob | fde30ef6dc833d64db310c0df989fa5640e7e6c9 |
1 %%
2 %% This is file `msabm.sym',
3 %% generated with the docstrip utility.
4 %%
5 %% The original source files were:
6 %%
7 %% flexisym.dtx (with options: `msabm')
8 %%
9 %% This is a generated file.
10 %%
11 %% Copyright (C) 1997-2003 by Michael J. Downes
12 %% Copyright (C) 2007 by Morten Hoegholm <mh.ctan@gmail.com>
13 %%
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.
21 %%
22 %% This work has the LPPL maintenance status "maintained".
23 %%
24 %% This Current Maintainer of this work is Morten Hoegholm.
25 %%
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.
30 %%
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}
80 \let\Doteq\doteqdot
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}
133 \let\doublecup\Cup
134 \DeclareFlexSymbol{\Cap} {Bin}{MSA}{65}
135 \let\doublecap\Cap
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}
145 \let\llless\lll
146 \DeclareFlexSymbol{\ggg} {Rel}{MSA}{6F}
147 \let\gggtr\ggg
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}
251 \endinput
252 %%
253 %% End of file `msabm.sym'.