| blob | 7a468eea799542de9a61d1e603a618a1a44630b9 |
1 %%
2 %% This is file `cmbase.sym',
3 %% generated with the docstrip utility.
4 %%
5 %% The original source files were:
6 %%
7 %% flexisym.dtx (with options: `cmbase')
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{cmbase}[2007/12/19 v0.92]
32 \@xp\xdef\csname mg@OT1\endcsname{\hexnumber@\symoperators}
33 \@xp\xdef\csname mg@OML\endcsname{\hexnumber@\symletters}
34 \@xp\xdef\csname mg@OMS\endcsname{\hexnumber@\symsymbols}
35 \@xp\xdef\csname mg@OMX\endcsname{\hexnumber@\symlargesymbols}
36 \gdef\mg@bin{\mg@OMS}
37 \gdef\mg@del{\mg@OMX}
38 \xdef\mg@digit{\@xp\@nx\csname mg@OT1\endcsname}
39 \gdef\mg@latin{\mg@OML}
40 \global\let\mg@Latin\mg@latin
41 \global\let\mg@greek\mg@latin
42 \global\let\mg@Greek\mg@digit
43 \global\let\mg@rel\mg@bin
44 \global\let\mg@ord\mg@bin
45 \global\let\mg@cop\mg@del
46 \DeclareFlexSymbol{!} {Pun}{OT1}{21}
47 \DeclareFlexSymbol{+} {Bin}{OT1}{2B}
48 \DeclareFlexSymbol{:} {Rel}{OT1}{3A}
49 \DeclareFlexSymbol{\colon}{Pun}{OT1}{3A}
50 \DeclareFlexSymbol{;} {Pun}{OT1}{3B}
51 \DeclareFlexSymbol{=} {Rel}{OT1}{3D}
52 \DeclareFlexSymbol{?} {Pun}{OT1}{3F}
53 \DeclareFlexSymbol{\Gamma} {Var}{Greek}{00}
54 \DeclareFlexSymbol{\Delta} {Var}{Greek}{01}
55 \DeclareFlexSymbol{\Theta} {Var}{Greek}{02}
56 \DeclareFlexSymbol{\Lambda} {Var}{Greek}{03}
57 \DeclareFlexSymbol{\Xi} {Var}{Greek}{04}
58 \DeclareFlexSymbol{\Pi} {Var}{Greek}{05}
59 \DeclareFlexSymbol{\Sigma} {Var}{Greek}{06}
60 \DeclareFlexSymbol{\Upsilon}{Var}{Greek}{07}
61 \DeclareFlexSymbol{\Phi} {Var}{Greek}{08}
62 \DeclareFlexSymbol{\Psi} {Var}{Greek}{09}
63 \DeclareFlexSymbol{\Omega} {Var}{Greek}{0A}
64 \DeclareFlexSymbol{0}{Var}{digit}{30}
65 \DeclareFlexSymbol{1}{Var}{digit}{31}
66 \DeclareFlexSymbol{2}{Var}{digit}{32}
67 \DeclareFlexSymbol{3}{Var}{digit}{33}
68 \DeclareFlexSymbol{4}{Var}{digit}{34}
69 \DeclareFlexSymbol{5}{Var}{digit}{35}
70 \DeclareFlexSymbol{6}{Var}{digit}{36}
71 \DeclareFlexSymbol{7}{Var}{digit}{37}
72 \DeclareFlexSymbol{8}{Var}{digit}{38}
73 \DeclareFlexSymbol{9}{Var}{digit}{39}
74 \DeclareFlexSymbol{,}{Pun}{OML}{3B}
75 \DeclareFlexSymbol{.}{Ord}{OML}{3A}
76 \DeclareFlexSymbol{/}{Ord}{OML}{3D}
77 \DeclareFlexSymbol{<}{Rel}{OML}{3C}
78 \DeclareFlexSymbol{>}{Rel}{OML}{3E}
79 \DeclareFlexSymbol{\alpha}{Var}{greek}{0B}
80 \DeclareFlexSymbol{\beta}{Var}{greek}{0C}
81 \DeclareFlexSymbol{\gamma}{Var}{greek}{0D}
82 \DeclareFlexSymbol{\delta}{Var}{greek}{0E}
83 \DeclareFlexSymbol{\epsilon}{Var}{greek}{0F}
84 \DeclareFlexSymbol{\zeta}{Var}{greek}{10}
85 \DeclareFlexSymbol{\eta}{Var}{greek}{11}
86 \DeclareFlexSymbol{\theta}{Var}{greek}{12}
87 \DeclareFlexSymbol{\iota}{Var}{greek}{13}
88 \DeclareFlexSymbol{\kappa}{Var}{greek}{14}
89 \DeclareFlexSymbol{\lambda}{Var}{greek}{15}
90 \DeclareFlexSymbol{\mu}{Var}{greek}{16}
91 \DeclareFlexSymbol{\nu}{Var}{greek}{17}
92 \DeclareFlexSymbol{\xi}{Var}{greek}{18}
93 \DeclareFlexSymbol{\pi}{Var}{greek}{19}
94 \DeclareFlexSymbol{\rho}{Var}{greek}{1A}
95 \DeclareFlexSymbol{\sigma}{Var}{greek}{1B}
96 \DeclareFlexSymbol{\tau}{Var}{greek}{1C}
97 \DeclareFlexSymbol{\upsilon}{Var}{greek}{1D}
98 \DeclareFlexSymbol{\phi}{Var}{greek}{1E}
99 \DeclareFlexSymbol{\chi}{Var}{greek}{1F}
100 \DeclareFlexSymbol{\psi}{Var}{greek}{20}
101 \DeclareFlexSymbol{\omega}{Var}{greek}{21}
102 \DeclareFlexSymbol{\varepsilon}{Var}{greek}{22}
103 \DeclareFlexSymbol{\vartheta}{Var}{greek}{23}
104 \DeclareFlexSymbol{\varpi}{Var}{greek}{24}
105 \DeclareFlexSymbol{\varrho}{Var}{greek}{25}
106 \DeclareFlexSymbol{\varsigma}{Var}{greek}{26}
107 \DeclareFlexSymbol{\varphi}{Var}{greek}{27}
108 \DeclareFlexSymbol{\imath}{Var}{OML}{7B}
109 \DeclareFlexSymbol{\jmath}{Var}{OML}{7C}
110 \DeclareFlexSymbol{\ell}{Ord}{OML}{60}
111 \DeclareFlexSymbol{\wp}{Ord}{OML}{7D}
112 \DeclareFlexSymbol{\partial}{Ord}{OML}{40}
113 \DeclareFlexSymbol{\flat}{Ord}{OML}{5B}
114 \DeclareFlexSymbol{\natural}{Ord}{OML}{5C}
115 \DeclareFlexSymbol{\sharp}{Ord}{OML}{5D}
116 \DeclareFlexSymbol{\triangleleft}{Bin}{OML}{2F}
117 \DeclareFlexSymbol{\triangleright}{Bin}{OML}{2E}
118 \DeclareFlexSymbol{\star}{Bin}{OML}{3F}
119 \DeclareFlexSymbol{\smile}{Rel}{OML}{5E}
120 \DeclareFlexSymbol{\frown}{Rel}{OML}{5F}
121 \DeclareFlexSymbol{\leftharpoonup}{Rel}{OML}{28}
122 \DeclareFlexSymbol{\leftharpoondown}{Rel}{OML}{29}
123 \DeclareFlexSymbol{\rightharpoonup}{Rel}{OML}{2A}
124 \DeclareFlexSymbol{\rightharpoondown}{Rel}{OML}{2B}
125 \DeclareFlexSymbol{a}{Var}{latin}{61}
126 \DeclareFlexSymbol{b}{Var}{latin}{62}
127 \DeclareFlexSymbol{c}{Var}{latin}{63}
128 \DeclareFlexSymbol{d}{Var}{latin}{64}
129 \DeclareFlexSymbol{e}{Var}{latin}{65}
130 \DeclareFlexSymbol{f}{Var}{latin}{66}
131 \DeclareFlexSymbol{g}{Var}{latin}{67}
132 \DeclareFlexSymbol{h}{Var}{latin}{68}
133 \DeclareFlexSymbol{i}{Var}{latin}{69}
134 \DeclareFlexSymbol{j}{Var}{latin}{6A}
135 \DeclareFlexSymbol{k}{Var}{latin}{6B}
136 \DeclareFlexSymbol{l}{Var}{latin}{6C}
137 \DeclareFlexSymbol{m}{Var}{latin}{6D}
138 \DeclareFlexSymbol{n}{Var}{latin}{6E}
139 \DeclareFlexSymbol{o}{Var}{latin}{6F}
140 \DeclareFlexSymbol{p}{Var}{latin}{70}
141 \DeclareFlexSymbol{q}{Var}{latin}{71}
142 \DeclareFlexSymbol{r}{Var}{latin}{72}
143 \DeclareFlexSymbol{s}{Var}{latin}{73}
144 \DeclareFlexSymbol{t}{Var}{latin}{74}
145 \DeclareFlexSymbol{u}{Var}{latin}{75}
146 \DeclareFlexSymbol{v}{Var}{latin}{76}
147 \DeclareFlexSymbol{w}{Var}{latin}{77}
148 \DeclareFlexSymbol{x}{Var}{latin}{78}
149 \DeclareFlexSymbol{y}{Var}{latin}{79}
150 \DeclareFlexSymbol{z}{Var}{latin}{7A}
151 \DeclareFlexSymbol{A}{Var}{Latin}{41}
152 \DeclareFlexSymbol{B}{Var}{Latin}{42}
153 \DeclareFlexSymbol{C}{Var}{Latin}{43}
154 \DeclareFlexSymbol{D}{Var}{Latin}{44}
155 \DeclareFlexSymbol{E}{Var}{Latin}{45}
156 \DeclareFlexSymbol{F}{Var}{Latin}{46}
157 \DeclareFlexSymbol{G}{Var}{Latin}{47}
158 \DeclareFlexSymbol{H}{Var}{Latin}{48}
159 \DeclareFlexSymbol{I}{Var}{Latin}{49}
160 \DeclareFlexSymbol{J}{Var}{Latin}{4A}
161 \DeclareFlexSymbol{K}{Var}{Latin}{4B}
162 \DeclareFlexSymbol{L}{Var}{Latin}{4C}
163 \DeclareFlexSymbol{M}{Var}{Latin}{4D}
164 \DeclareFlexSymbol{N}{Var}{Latin}{4E}
165 \DeclareFlexSymbol{O}{Var}{Latin}{4F}
166 \DeclareFlexSymbol{P}{Var}{Latin}{50}
167 \DeclareFlexSymbol{Q}{Var}{Latin}{51}
168 \DeclareFlexSymbol{R}{Var}{Latin}{52}
169 \DeclareFlexSymbol{S}{Var}{Latin}{53}
170 \DeclareFlexSymbol{T}{Var}{Latin}{54}
171 \DeclareFlexSymbol{U}{Var}{Latin}{55}
172 \DeclareFlexSymbol{V}{Var}{Latin}{56}
173 \DeclareFlexSymbol{W}{Var}{Latin}{57}
174 \DeclareFlexSymbol{X}{Var}{Latin}{58}
175 \DeclareFlexSymbol{Y}{Var}{Latin}{59}
176 \DeclareFlexSymbol{Z}{Var}{Latin}{5A}
177 \DeclareFlexSymbol{\ldotPun}{Pun}{OML}{3A}
178 \def\ldotp{\ldotPun}
179 \DeclareFlexSymbol{\lhookRel}{Rel}{OML}{2C}
180 \DeclareFlexSymbol{\rhookRel}{Rel}{OML}{2D}
181 \DeclareFlexSymbol{*}{Bin}{bin}{03} % \ast
182 \DeclareFlexSymbol{-}{Bin}{bin}{00}
183 \DeclareFlexSymbol{|}{Ord}{OMS}{6A}
184 \DeclareFlexSymbol{\aleph}{Ord}{ord}{40}
185 \DeclareFlexSymbol{\Re}{Ord}{ord}{3C}
186 \DeclareFlexSymbol{\Im}{Ord}{ord}{3D}
187 \DeclareFlexSymbol{\infty}{Ord}{ord}{31}
188 \DeclareFlexSymbol{\prime}{Ord}{ord}{30}
189 \DeclareFlexSymbol{\emptyset}{Ord}{ord}{3B}
190 \DeclareFlexSymbol{\nabla}{Ord}{ord}{72}
191 \DeclareFlexSymbol{\top}{Ord}{ord}{3E}
192 \DeclareFlexSymbol{\bot}{Ord}{ord}{3F}
193 \DeclareFlexSymbol{\triangle}{Ord}{ord}{34}
194 \DeclareFlexSymbol{\forall}{Ord}{ord}{38}
195 \DeclareFlexSymbol{\exists}{Ord}{ord}{39}
196 \DeclareFlexSymbol{\neg}{Ord}{ord}{3A}
197 \DeclareFlexSymbol{\clubsuit}{Ord}{ord}{7C}
198 \DeclareFlexSymbol{\diamondsuit}{Ord}{ord}{7D}
199 \DeclareFlexSymbol{\heartsuit}{Ord}{ord}{7E}
200 \DeclareFlexSymbol{\spadesuit}{Ord}{ord}{7F}
201 \DeclareFlexSymbol{\smallint}{COs}{OMS}{73}
202 \DeclareFlexSymbol{\bigtriangleup}{Bin}{bin}{34}
203 \DeclareFlexSymbol{\bigtriangledown}{Bin}{bin}{35}
204 \DeclareFlexSymbol{\wedge}{Bin}{bin}{5E}
205 \DeclareFlexSymbol{\vee}{Bin}{bin}{5F}
206 \DeclareFlexSymbol{\cap}{Bin}{bin}{5C}
207 \DeclareFlexSymbol{\cup}{Bin}{bin}{5B}
208 \DeclareFlexSymbol{\ddagger}{Bin}{bin}{7A}
209 \DeclareFlexSymbol{\dagger}{Bin}{bin}{79}
210 \DeclareFlexSymbol{\sqcap}{Bin}{bin}{75}
211 \DeclareFlexSymbol{\sqcup}{Bin}{bin}{74}
212 \DeclareFlexSymbol{\uplus}{Bin}{bin}{5D}
213 \DeclareFlexSymbol{\amalg}{Bin}{bin}{71}
214 \DeclareFlexSymbol{\diamond}{Bin}{bin}{05}
215 \DeclareFlexSymbol{\bullet}{Bin}{bin}{0F}
216 \DeclareFlexSymbol{\wr}{Bin}{bin}{6F}
217 \DeclareFlexSymbol{\div}{Bin}{bin}{04}
218 \DeclareFlexSymbol{\odot}{Bin}{bin}{0C}
219 \DeclareFlexSymbol{\oslash}{Bin}{bin}{0B}
220 \DeclareFlexSymbol{\otimes}{Bin}{bin}{0A}
221 \DeclareFlexSymbol{\ominus}{Bin}{bin}{09}
222 \DeclareFlexSymbol{\oplus}{Bin}{bin}{08}
223 \DeclareFlexSymbol{\mp}{Bin}{bin}{07}
224 \DeclareFlexSymbol{\pm}{Bin}{bin}{06}
225 \DeclareFlexSymbol{\circ}{Bin}{bin}{0E}
226 \DeclareFlexSymbol{\bigcirc}{Bin}{bin}{0D}
227 \DeclareFlexSymbol{\setminus}{Bin}{bin}{6E}
228 \DeclareFlexSymbol{\cdot}{Bin}{bin}{01}
229 \DeclareFlexSymbol{\ast}{Bin}{bin}{03}
230 \DeclareFlexSymbol{\times}{Bin}{bin}{02}
231 \DeclareFlexSymbol{\propto}{Rel}{rel}{2F}
232 \DeclareFlexSymbol{\sqsubseteq}{Rel}{rel}{76}
233 \DeclareFlexSymbol{\sqsupseteq}{Rel}{rel}{77}
234 \DeclareFlexSymbol{\parallel}{Rel}{rel}{6B}
235 \DeclareFlexSymbol{\mid}{Rel}{rel}{6A}
236 \DeclareFlexSymbol{\dashv}{Rel}{rel}{61}
237 \DeclareFlexSymbol{\vdash}{Rel}{rel}{60}
238 \DeclareFlexSymbol{\nearrow}{Rel}{rel}{25}
239 \DeclareFlexSymbol{\searrow}{Rel}{rel}{26}
240 \DeclareFlexSymbol{\nwarrow}{Rel}{rel}{2D}
241 \DeclareFlexSymbol{\swarrow}{Rel}{rel}{2E}
242 \DeclareFlexSymbol{\Leftrightarrow}{Rel}{rel}{2C}
243 \DeclareFlexSymbol{\Leftarrow}{Rel}{rel}{28}
244 \DeclareFlexSymbol{\Rightarrow}{Rel}{rel}{29}
245 \DeclareFlexSymbol{\leq}{Rel}{rel}{14}
246 \DeclareFlexSymbol{\geq}{Rel}{rel}{15}
247 \DeclareFlexSymbol{\succ}{Rel}{rel}{1F}
248 \DeclareFlexSymbol{\prec}{Rel}{rel}{1E}
249 \DeclareFlexSymbol{\approx}{Rel}{rel}{19}
250 \DeclareFlexSymbol{\succeq}{Rel}{rel}{17}
251 \DeclareFlexSymbol{\preceq}{Rel}{rel}{16}
252 \DeclareFlexSymbol{\supset}{Rel}{rel}{1B}
253 \DeclareFlexSymbol{\subset}{Rel}{rel}{1A}
254 \DeclareFlexSymbol{\supseteq}{Rel}{rel}{13}
255 \DeclareFlexSymbol{\subseteq}{Rel}{rel}{12}
256 \DeclareFlexSymbol{\in}{Rel}{rel}{32}
257 \DeclareFlexSymbol{\ni}{Rel}{rel}{33}
258 \DeclareFlexSymbol{\gg}{Rel}{rel}{1D}
259 \DeclareFlexSymbol{\ll}{Rel}{rel}{1C}
260 \DeclareFlexSymbol{\leftrightarrow}{Rel}{rel}{24}
261 \DeclareFlexSymbol{\leftarrow}{Rel}{rel}{20}
262 \DeclareFlexSymbol{\rightarrow}{Rel}{rel}{21}
263 \DeclareFlexSymbol{\sim}{Rel}{rel}{18}
264 \DeclareFlexSymbol{\simeq}{Rel}{rel}{27}
265 \DeclareFlexSymbol{\perp}{Rel}{rel}{3F}
266 \DeclareFlexSymbol{\equiv}{Rel}{rel}{11}
267 \DeclareFlexSymbol{\asymp}{Rel}{rel}{10}
268 \DeclareFlexSymbol{\notRel}{Rel}{rel}{36}
269 \DeclareFlexSymbol{\mapstoOrd}{Ord}{OMS}{37}
270 \DeclareFlexSymbol{\cdotOrd}{Ord}{OMS}{01}
271 \def\cdotp{\mathpunct{\cdotOrd}}
272 \DeclareFlexSymbol{\coprod}{COs}{cop}{60}
273 \DeclareFlexSymbol{\bigvee}{COs}{cop}{57}
274 \DeclareFlexSymbol{\bigwedge}{COs}{cop}{56}
275 \DeclareFlexSymbol{\biguplus}{COs}{cop}{55}
276 \DeclareFlexSymbol{\bigcap}{COs}{cop}{54}
277 \DeclareFlexSymbol{\bigcup}{COs}{cop}{53}
278 \DeclareFlexSymbol{\int}{COi}{cop}{52}
279 \DeclareFlexSymbol{\prod}{COs}{cop}{51}
280 \DeclareFlexSymbol{\sum}{COs}{cop}{50}
281 \DeclareFlexSymbol{\bigotimes}{COs}{cop}{4E}
282 \DeclareFlexSymbol{\bigoplus}{COs}{cop}{4C}
283 \DeclareFlexSymbol{\bigodot}{COs}{cop}{4A}
284 \DeclareFlexSymbol{\oint}{COi}{cop}{48}
285 \DeclareFlexSymbol{\bigsqcup}{COs}{cop}{46}
286 \DeclareFlexSymbol{\rangle}{DeR}{del}{0B}
287 \DeclareFlexSymbol{\langle}{DeL}{del}{0A}
288 \DeclareFlexSymbol{\rbrace}{DeR}{del}{09}
289 \DeclareFlexSymbol{\lbrace}{DeL}{del}{08}
290 \DeclareFlexSymbol{\rceil}{DeR}{del}{07}
291 \DeclareFlexSymbol{\lceil}{DeL}{del}{06}
292 \DeclareFlexSymbol{\rfloor}{DeR}{del}{05}
293 \DeclareFlexSymbol{\lfloor}{DeL}{del}{04}
294 \DeclareFlexSymbol{(}{DeL}{del}{00}
295 \DeclareFlexSymbol{)}{DeR}{del}{01}
296 \DeclareFlexSymbol{[}{DeL}{del}{02}
297 \DeclareFlexSymbol{]}{DeR}{del}{03}
298 \DeclareFlexSymbol{\lVert}{DeL}{del}{0D}
299 \DeclareFlexSymbol{\rVert}{DeR}{del}{0D}
300 \DeclareFlexSymbol{\lvert}{DeL}{del}{0C}
301 \DeclareFlexSymbol{\rvert}{DeR}{del}{0C}
302 \DeclareFlexSymbol{\Vert}{DeB}{del}{0D}
303 \DeclareFlexSymbol{\vert}{DeB}{del}{0C}
304 \DeclareFlexSymbol{|}{DeB}{del}{0C}
305 \DeclareFlexSymbol{/}{DeB}{del}{0E}
306 \DeclareFlexSymbol{\lmoustache}{DeL}{del}{40}
307 \DeclareFlexSymbol{\rmoustache}{DeR}{del}{41}
308 \DeclareFlexSymbol{\lgroup}{DeL}{del}{3A}
309 \DeclareFlexSymbol{\rgroup}{DeR}{del}{3B}
310 \DeclareFlexSymbol{\bracevert}{DeB}{del}{3E}
311 \DeclareFlexSymbol{\arrowvert}{DeB}{del}{3C}
312 \DeclareFlexSymbol{\Arrowvert}{DeB}{del}{3D}
313 \DeclareFlexSymbol{\uparrow}{DeA}{del}{78}
314 \DeclareFlexSymbol{\downarrow}{DeA}{del}{79}
315 \DeclareFlexSymbol{\updownarrow}{DeA}{del}{3F}
316 \DeclareFlexSymbol{\Uparrow}{DeA}{del}{7E}
317 \DeclareFlexSymbol{\Downarrow}{DeA}{del}{7F}
318 \DeclareFlexSymbol{\Updownarrow}{DeA}{del}{77}
319 \DeclareFlexSymbol{\backslash}{DeB}{del}{0F}
320 \DeclareFlexSymbol{\hbarOrd}{Ord}{OT1}{16}
321 \DeclareFlexCompoundSymbol{\hbar}{Ord}{\hbarOrd\mkern-9mu h}
322 \DeclareFlexSymbol{\surdOrd}{Ord}{OMS}{70}
323 \DeclareFlexCompoundSymbol{\surd}{Ord}{\mathop{\surdOrd}}
324 \DeclareFlexCompoundSymbol{\angle}{Ord}{%
325 \vbox{\ialign{%
326 $\m@th\scriptstyle##$\crcr
327 \notRel\mathrel{\mkern14mu}\crcr
328 \noalign{\nointerlineskip}%
329 \mkern2.5mu\leaders\hrule \@height.34pt\hfill\mkern2.5mu\crcr
330 }}%
331 }
332 \DeclareFlexCompoundSymbol{\neq}{Rel}{\not{=}}
333 \DeclareFlexCompoundSymbol{\mapsto}{Rel}{\mapstoOrd\rightarrow}
334 \DeclareFlexCompoundSymbol{\cong}{Rel}{\mathpalette\@vereq\sim}
335 \providecommand*\joinord{}
336 \renewcommand*\joinord{\mkern-3mu }
337 \DeclareFlexCompoundSymbol{\notin}{Rel}{\mathpalette\c@ncel\in}
338 \DeclareFlexCompoundSymbol{\rightleftharpoons}{Rel}{\mathpalette\rlh@{}}
339 \DeclareFlexCompoundSymbol{\doteq}{Rel}{\buildrel\textstyle.\over=}
340 \DeclareFlexCompoundSymbol{\hookrightarrow}{Rel}{\lhookRel\joinord\rightarrow}
341 \DeclareFlexCompoundSymbol{\hookleftarrow}{Rel}{\leftarrow\joinord\rhookRel}
342 \DeclareFlexCompoundSymbol{\bowtie}{Rel}{\triangleright\joinord\triangleleft}
343 \DeclareFlexCompoundSymbol{\models}{Rel}{\vert\joinord=}
344 \DeclareFlexCompoundSymbol{\Longrightarrow}{Rel}{\Relbar\joinord\Rightarrow}
345 \DeclareFlexCompoundSymbol{\longrightarrow}{Rel}{\relbar\joinord\rightarrow}
346 \DeclareFlexCompoundSymbol{\Longleftarrow}{Rel}{\Leftarrow\joinord\Relbar}
347 \DeclareFlexCompoundSymbol{\longleftarrow}{Rel}{\leftarrow\joinord\relbar}
348 \DeclareFlexCompoundSymbol{\longmapsto}{Rel}{\mapstochar\longrightarrow}
349 \DeclareFlexCompoundSymbol{\longleftrightarrow}{Rel}{\leftarrow\joinord\rightarrow}
350 \DeclareFlexCompoundSymbol{\Longleftrightarrow}{Rel}{\Leftarrow\joinord\Rightarrow}
351 \renewcommand*\iff{%
352 \mskip\thickmuskip\Longleftrightarrow\mskip\thickmuskip
353 }
354 \DeclareFlexCompoundSymbol{\cdots}{Inn}{\cdotp\cdotp\cdotp}%
355 \DeclareFlexCompoundSymbol{\vdots}{Ord}{%
356 \vbox{\baselineskip4\p@ \lineskiplimit\z@
357 \kern6\p@\hbox{.}\hbox{.}\hbox{.}}}
358 \DeclareFlexCompoundSymbol{\ddots}{Inn}{%
359 \mkern1mu\raise7\p@
360 \vbox{\kern7\p@\hbox{.}}\mkern2mu%
361 \raise4\p@\hbox{.}\mkern2mu\raise\p@\hbox{.}\mkern1mu%
362 }
363 \def\relbar{\begingroup \def\smash@{tb}% in case amsmath is loaded
364 \mathpalette\mathsm@sh{\mathchar"200 }\endgroup}
365 \def\Relbar{\mathchar"3D }
366 \endinput
367 %%
368 %% End of file `cmbase.sym'.