summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/breqn/cmbase.sym
blob: 2c9cd9af32ab9b81647862674d47e3e1a928670d (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
%% Created by stripbwr [2001-09-08T01:33:16]
%% From /home/breqn/cmbase.bwr
\ProvidesSymbols{cmbase}[2001/09/07 v0.91]
\@xp\xdef\csname mg@OT1\endcsname{\hexnumber@\symoperators}
\@xp\xdef\csname mg@OML\endcsname{\hexnumber@\symletters}
\@xp\xdef\csname mg@OMS\endcsname{\hexnumber@\symsymbols}
\@xp\xdef\csname mg@OMX\endcsname{\hexnumber@\symlargesymbols}
\gdef\mg@bin{\mg@OMS}
\gdef\mg@del{\mg@OMX}
\xdef\mg@digit{\@xp\@nx\csname mg@OT1\endcsname}
\gdef\mg@latin{\mg@OML}
\global\let\mg@Latin\mg@latin
\global\let\mg@greek\mg@latin
\global\let\mg@Greek\mg@digit
\global\let\mg@rel\mg@bin
\global\let\mg@ord\mg@bin
\global\let\mg@cop\mg@del
\DeclareFlexSymbol{!}     {Pun}{OT1}{21}
\DeclareFlexSymbol{+}     {Bin}{OT1}{2B}
\DeclareFlexSymbol{:}     {Rel}{OT1}{3A}
\DeclareFlexSymbol{\colon}{Pun}{OT1}{3A}
\DeclareFlexSymbol{;}     {Pun}{OT1}{3B}
\DeclareFlexSymbol{=}     {Rel}{OT1}{3D}
\DeclareFlexSymbol{?}     {Pun}{OT1}{3F}
\DeclareFlexSymbol{\Gamma}  {Var}{Greek}{00}
\DeclareFlexSymbol{\Delta}  {Var}{Greek}{01}
\DeclareFlexSymbol{\Theta}  {Var}{Greek}{02}
\DeclareFlexSymbol{\Lambda} {Var}{Greek}{03}
\DeclareFlexSymbol{\Xi}     {Var}{Greek}{04}
\DeclareFlexSymbol{\Pi}     {Var}{Greek}{05}
\DeclareFlexSymbol{\Sigma}  {Var}{Greek}{06}
\DeclareFlexSymbol{\Upsilon}{Var}{Greek}{07}
\DeclareFlexSymbol{\Phi}    {Var}{Greek}{08}
\DeclareFlexSymbol{\Psi}    {Var}{Greek}{09}
\DeclareFlexSymbol{\Omega}  {Var}{Greek}{0A}
\DeclareFlexSymbol{0}{Var}{digit}{30}
\DeclareFlexSymbol{1}{Var}{digit}{31}
\DeclareFlexSymbol{2}{Var}{digit}{32}
\DeclareFlexSymbol{3}{Var}{digit}{33}
\DeclareFlexSymbol{4}{Var}{digit}{34}
\DeclareFlexSymbol{5}{Var}{digit}{35}
\DeclareFlexSymbol{6}{Var}{digit}{36}
\DeclareFlexSymbol{7}{Var}{digit}{37}
\DeclareFlexSymbol{8}{Var}{digit}{38}
\DeclareFlexSymbol{9}{Var}{digit}{39}
\DeclareFlexSymbol{,}{Pun}{OML}{3B}
\DeclareFlexSymbol{.}{Ord}{OML}{3A}
\DeclareFlexSymbol{/}{Ord}{OML}{3D}
\DeclareFlexSymbol{<}{Rel}{OML}{3C}
\DeclareFlexSymbol{>}{Rel}{OML}{3E}
\DeclareFlexSymbol{\alpha}{Var}{greek}{0B}
\DeclareFlexSymbol{\beta}{Var}{greek}{0C}
\DeclareFlexSymbol{\gamma}{Var}{greek}{0D}
\DeclareFlexSymbol{\delta}{Var}{greek}{0E}
\DeclareFlexSymbol{\epsilon}{Var}{greek}{0F}
\DeclareFlexSymbol{\zeta}{Var}{greek}{10}
\DeclareFlexSymbol{\eta}{Var}{greek}{11}
\DeclareFlexSymbol{\theta}{Var}{greek}{12}
\DeclareFlexSymbol{\iota}{Var}{greek}{13}
\DeclareFlexSymbol{\kappa}{Var}{greek}{14}
\DeclareFlexSymbol{\lambda}{Var}{greek}{15}
\DeclareFlexSymbol{\mu}{Var}{greek}{16}
\DeclareFlexSymbol{\nu}{Var}{greek}{17}
\DeclareFlexSymbol{\xi}{Var}{greek}{18}
\DeclareFlexSymbol{\pi}{Var}{greek}{19}
\DeclareFlexSymbol{\rho}{Var}{greek}{1A}
\DeclareFlexSymbol{\sigma}{Var}{greek}{1B}
\DeclareFlexSymbol{\tau}{Var}{greek}{1C}
\DeclareFlexSymbol{\upsilon}{Var}{greek}{1D}
\DeclareFlexSymbol{\phi}{Var}{greek}{1E}
\DeclareFlexSymbol{\chi}{Var}{greek}{1F}
\DeclareFlexSymbol{\psi}{Var}{greek}{20}
\DeclareFlexSymbol{\omega}{Var}{greek}{21}
\DeclareFlexSymbol{\varepsilon}{Var}{greek}{22}
\DeclareFlexSymbol{\vartheta}{Var}{greek}{23}
\DeclareFlexSymbol{\varpi}{Var}{greek}{24}
\DeclareFlexSymbol{\varrho}{Var}{greek}{25}
\DeclareFlexSymbol{\varsigma}{Var}{greek}{26}
\DeclareFlexSymbol{\varphi}{Var}{greek}{27}
\DeclareFlexSymbol{\imath}{Var}{OML}{7B}
\DeclareFlexSymbol{\jmath}{Var}{OML}{7C}
\DeclareFlexSymbol{\ell}{Ord}{OML}{60}
\DeclareFlexSymbol{\wp}{Ord}{OML}{7D}
\DeclareFlexSymbol{\partial}{Ord}{OML}{40}
\DeclareFlexSymbol{\flat}{Ord}{OML}{5B}
\DeclareFlexSymbol{\natural}{Ord}{OML}{5C}
\DeclareFlexSymbol{\sharp}{Ord}{OML}{5D}
\DeclareFlexSymbol{\triangleleft}{Bin}{OML}{2F}
\DeclareFlexSymbol{\triangleright}{Bin}{OML}{2E}
\DeclareFlexSymbol{\star}{Bin}{OML}{3F}
\DeclareFlexSymbol{\smile}{Rel}{OML}{5E}
\DeclareFlexSymbol{\frown}{Rel}{OML}{5F}
\DeclareFlexSymbol{\leftharpoonup}{Rel}{OML}{28}
\DeclareFlexSymbol{\leftharpoondown}{Rel}{OML}{29}
\DeclareFlexSymbol{\rightharpoonup}{Rel}{OML}{2A}
\DeclareFlexSymbol{\rightharpoondown}{Rel}{OML}{2B}
\DeclareFlexSymbol{a}{Var}{latin}{61}
\DeclareFlexSymbol{b}{Var}{latin}{62}
\DeclareFlexSymbol{c}{Var}{latin}{63}
\DeclareFlexSymbol{d}{Var}{latin}{64}
\DeclareFlexSymbol{e}{Var}{latin}{65}
\DeclareFlexSymbol{f}{Var}{latin}{66}
\DeclareFlexSymbol{g}{Var}{latin}{67}
\DeclareFlexSymbol{h}{Var}{latin}{68}
\DeclareFlexSymbol{i}{Var}{latin}{69}
\DeclareFlexSymbol{j}{Var}{latin}{6A}
\DeclareFlexSymbol{k}{Var}{latin}{6B}
\DeclareFlexSymbol{l}{Var}{latin}{6C}
\DeclareFlexSymbol{m}{Var}{latin}{6D}
\DeclareFlexSymbol{n}{Var}{latin}{6E}
\DeclareFlexSymbol{o}{Var}{latin}{6F}
\DeclareFlexSymbol{p}{Var}{latin}{70}
\DeclareFlexSymbol{q}{Var}{latin}{71}
\DeclareFlexSymbol{r}{Var}{latin}{72}
\DeclareFlexSymbol{s}{Var}{latin}{73}
\DeclareFlexSymbol{t}{Var}{latin}{74}
\DeclareFlexSymbol{u}{Var}{latin}{75}
\DeclareFlexSymbol{v}{Var}{latin}{76}
\DeclareFlexSymbol{w}{Var}{latin}{77}
\DeclareFlexSymbol{x}{Var}{latin}{78}
\DeclareFlexSymbol{y}{Var}{latin}{79}
\DeclareFlexSymbol{z}{Var}{latin}{7A}
\DeclareFlexSymbol{A}{Var}{Latin}{41}
\DeclareFlexSymbol{B}{Var}{Latin}{42}
\DeclareFlexSymbol{C}{Var}{Latin}{43}
\DeclareFlexSymbol{D}{Var}{Latin}{44}
\DeclareFlexSymbol{E}{Var}{Latin}{45}
\DeclareFlexSymbol{F}{Var}{Latin}{46}
\DeclareFlexSymbol{G}{Var}{Latin}{47}
\DeclareFlexSymbol{H}{Var}{Latin}{48}
\DeclareFlexSymbol{I}{Var}{Latin}{49}
\DeclareFlexSymbol{J}{Var}{Latin}{4A}
\DeclareFlexSymbol{K}{Var}{Latin}{4B}
\DeclareFlexSymbol{L}{Var}{Latin}{4C}
\DeclareFlexSymbol{M}{Var}{Latin}{4D}
\DeclareFlexSymbol{N}{Var}{Latin}{4E}
\DeclareFlexSymbol{O}{Var}{Latin}{4F}
\DeclareFlexSymbol{P}{Var}{Latin}{50}
\DeclareFlexSymbol{Q}{Var}{Latin}{51}
\DeclareFlexSymbol{R}{Var}{Latin}{52}
\DeclareFlexSymbol{S}{Var}{Latin}{53}
\DeclareFlexSymbol{T}{Var}{Latin}{54}
\DeclareFlexSymbol{U}{Var}{Latin}{55}
\DeclareFlexSymbol{V}{Var}{Latin}{56}
\DeclareFlexSymbol{W}{Var}{Latin}{57}
\DeclareFlexSymbol{X}{Var}{Latin}{58}
\DeclareFlexSymbol{Y}{Var}{Latin}{59}
\DeclareFlexSymbol{Z}{Var}{Latin}{5A}
\DeclareFlexSymbol{\ldotPun}{Pun}{OML}{3A}
\def\ldotp{\ldotPun}
\DeclareFlexSymbol{\lhookRel}{Rel}{OML}{2C}
\DeclareFlexSymbol{\rhookRel}{Rel}{OML}{2D}
\DeclareFlexSymbol{*}{Bin}{bin}{03} % \ast
\DeclareFlexSymbol{-}{Bin}{bin}{00}
\DeclareFlexSymbol{|}{Ord}{OMS}{6A}
\DeclareFlexSymbol{\aleph}{Ord}{ord}{40}
\DeclareFlexSymbol{\Re}{Ord}{ord}{3C}
\DeclareFlexSymbol{\Im}{Ord}{ord}{3D}
\DeclareFlexSymbol{\infty}{Ord}{ord}{31}
\DeclareFlexSymbol{\prime}{Ord}{ord}{30}
\DeclareFlexSymbol{\emptyset}{Ord}{ord}{3B}
\DeclareFlexSymbol{\nabla}{Ord}{ord}{72}
\DeclareFlexSymbol{\top}{Ord}{ord}{3E}
\DeclareFlexSymbol{\bot}{Ord}{ord}{3F}
\DeclareFlexSymbol{\triangle}{Ord}{ord}{34}
\DeclareFlexSymbol{\forall}{Ord}{ord}{38}
\DeclareFlexSymbol{\exists}{Ord}{ord}{39}
\DeclareFlexSymbol{\neg}{Ord}{ord}{3A}
\DeclareFlexSymbol{\clubsuit}{Ord}{ord}{7C}
\DeclareFlexSymbol{\diamondsuit}{Ord}{ord}{7D}
\DeclareFlexSymbol{\heartsuit}{Ord}{ord}{7E}
\DeclareFlexSymbol{\spadesuit}{Ord}{ord}{7F}
\DeclareFlexSymbol{\smallint}{COs}{OMS}{73}
\DeclareFlexSymbol{\bigtriangleup}{Bin}{bin}{34}
\DeclareFlexSymbol{\bigtriangledown}{Bin}{bin}{35}
\DeclareFlexSymbol{\wedge}{Bin}{bin}{5E}
\DeclareFlexSymbol{\vee}{Bin}{bin}{5F}
\DeclareFlexSymbol{\cap}{Bin}{bin}{5C}
\DeclareFlexSymbol{\cup}{Bin}{bin}{5B}
\DeclareFlexSymbol{\ddagger}{Bin}{bin}{7A}
\DeclareFlexSymbol{\dagger}{Bin}{bin}{79}
\DeclareFlexSymbol{\sqcap}{Bin}{bin}{75}
\DeclareFlexSymbol{\sqcup}{Bin}{bin}{74}
\DeclareFlexSymbol{\uplus}{Bin}{bin}{5D}
\DeclareFlexSymbol{\amalg}{Bin}{bin}{71}
\DeclareFlexSymbol{\diamond}{Bin}{bin}{05}
\DeclareFlexSymbol{\bullet}{Bin}{bin}{0F}
\DeclareFlexSymbol{\wr}{Bin}{bin}{6F}
\DeclareFlexSymbol{\div}{Bin}{bin}{04}
\DeclareFlexSymbol{\odot}{Bin}{bin}{0C}
\DeclareFlexSymbol{\oslash}{Bin}{bin}{0B}
\DeclareFlexSymbol{\otimes}{Bin}{bin}{0A}
\DeclareFlexSymbol{\ominus}{Bin}{bin}{09}
\DeclareFlexSymbol{\oplus}{Bin}{bin}{08}
\DeclareFlexSymbol{\mp}{Bin}{bin}{07}
\DeclareFlexSymbol{\pm}{Bin}{bin}{06}
\DeclareFlexSymbol{\circ}{Bin}{bin}{0E}
\DeclareFlexSymbol{\bigcirc}{Bin}{bin}{0D}
\DeclareFlexSymbol{\setminus}{Bin}{bin}{6E}
\DeclareFlexSymbol{\cdot}{Bin}{bin}{01}
\DeclareFlexSymbol{\ast}{Bin}{bin}{03}
\DeclareFlexSymbol{\times}{Bin}{bin}{02}
\DeclareFlexSymbol{\propto}{Rel}{rel}{2F}
\DeclareFlexSymbol{\sqsubseteq}{Rel}{rel}{76}
\DeclareFlexSymbol{\sqsupseteq}{Rel}{rel}{77}
\DeclareFlexSymbol{\parallel}{Rel}{rel}{6B}
\DeclareFlexSymbol{\mid}{Rel}{rel}{6A}
\DeclareFlexSymbol{\dashv}{Rel}{rel}{61}
\DeclareFlexSymbol{\vdash}{Rel}{rel}{60}
\DeclareFlexSymbol{\nearrow}{Rel}{rel}{25}
\DeclareFlexSymbol{\searrow}{Rel}{rel}{26}
\DeclareFlexSymbol{\nwarrow}{Rel}{rel}{2D}
\DeclareFlexSymbol{\swarrow}{Rel}{rel}{2E}
\DeclareFlexSymbol{\Leftrightarrow}{Rel}{rel}{2C}
\DeclareFlexSymbol{\Leftarrow}{Rel}{rel}{28}
\DeclareFlexSymbol{\Rightarrow}{Rel}{rel}{29}
\DeclareFlexSymbol{\leq}{Rel}{rel}{14}
\DeclareFlexSymbol{\geq}{Rel}{rel}{15}
\DeclareFlexSymbol{\succ}{Rel}{rel}{1F}
\DeclareFlexSymbol{\prec}{Rel}{rel}{1E}
\DeclareFlexSymbol{\approx}{Rel}{rel}{19}
\DeclareFlexSymbol{\succeq}{Rel}{rel}{17}
\DeclareFlexSymbol{\preceq}{Rel}{rel}{16}
\DeclareFlexSymbol{\supset}{Rel}{rel}{1B}
\DeclareFlexSymbol{\subset}{Rel}{rel}{1A}
\DeclareFlexSymbol{\supseteq}{Rel}{rel}{13}
\DeclareFlexSymbol{\subseteq}{Rel}{rel}{12}
\DeclareFlexSymbol{\in}{Rel}{rel}{32}
\DeclareFlexSymbol{\ni}{Rel}{rel}{33}
\DeclareFlexSymbol{\gg}{Rel}{rel}{1D}
\DeclareFlexSymbol{\ll}{Rel}{rel}{1C}
\DeclareFlexSymbol{\leftrightarrow}{Rel}{rel}{24}
\DeclareFlexSymbol{\leftarrow}{Rel}{rel}{20}
\DeclareFlexSymbol{\rightarrow}{Rel}{rel}{21}
\DeclareFlexSymbol{\sim}{Rel}{rel}{18}
\DeclareFlexSymbol{\simeq}{Rel}{rel}{27}
\DeclareFlexSymbol{\perp}{Rel}{rel}{3F}
\DeclareFlexSymbol{\equiv}{Rel}{rel}{11}
\DeclareFlexSymbol{\asymp}{Rel}{rel}{10}
\DeclareFlexSymbol{\notRel}{Rel}{rel}{36}
\DeclareFlexSymbol{\mapstoOrd}{Ord}{OMS}{37}
\DeclareFlexSymbol{\cdotOrd}{Ord}{OMS}{01}
\def\cdotp{\mathpunct{\cdotOrd}}
\DeclareFlexSymbol{\coprod}{COs}{cop}{60}
\DeclareFlexSymbol{\bigvee}{COs}{cop}{57}
\DeclareFlexSymbol{\bigwedge}{COs}{cop}{56}
\DeclareFlexSymbol{\biguplus}{COs}{cop}{55}
\DeclareFlexSymbol{\bigcap}{COs}{cop}{54}
\DeclareFlexSymbol{\bigcup}{COs}{cop}{53}
\DeclareFlexSymbol{\int}{COi}{cop}{52}
\DeclareFlexSymbol{\prod}{COs}{cop}{51}
\DeclareFlexSymbol{\sum}{COs}{cop}{50}
\DeclareFlexSymbol{\bigotimes}{COs}{cop}{4E}
\DeclareFlexSymbol{\bigoplus}{COs}{cop}{4C}
\DeclareFlexSymbol{\bigodot}{COs}{cop}{4A}
\DeclareFlexSymbol{\oint}{COi}{cop}{48}
\DeclareFlexSymbol{\bigsqcup}{COs}{cop}{46}
\DeclareFlexSymbol{\rangle}{DeR}{del}{0B}
\DeclareFlexSymbol{\langle}{DeL}{del}{0A}
\DeclareFlexSymbol{\rbrace}{DeR}{del}{09}
\DeclareFlexSymbol{\lbrace}{DeL}{del}{08}
\DeclareFlexSymbol{\rceil}{DeR}{del}{07}
\DeclareFlexSymbol{\lceil}{DeL}{del}{06}
\DeclareFlexSymbol{\rfloor}{DeR}{del}{05}
\DeclareFlexSymbol{\lfloor}{DeL}{del}{04}
\DeclareFlexSymbol{(}{DeL}{del}{00}
\DeclareFlexSymbol{)}{DeR}{del}{01}
\DeclareFlexSymbol{[}{DeL}{del}{02}
\DeclareFlexSymbol{]}{DeR}{del}{03}
\DeclareFlexSymbol{\lVert}{DeL}{del}{0D}
\DeclareFlexSymbol{\rVert}{DeR}{del}{0D}
\DeclareFlexSymbol{\lvert}{DeL}{del}{0C}
\DeclareFlexSymbol{\rvert}{DeR}{del}{0C}
\DeclareFlexSymbol{\Vert}{DeB}{del}{0D}
\DeclareFlexSymbol{\vert}{DeB}{del}{0C}
\DeclareFlexSymbol{|}{DeB}{del}{0C}
\DeclareFlexSymbol{/}{DeB}{del}{0E}
\DeclareFlexSymbol{\lmoustache}{DeL}{del}{40}
\DeclareFlexSymbol{\rmoustache}{DeR}{del}{41}
\DeclareFlexSymbol{\lgroup}{DeL}{del}{3A}
\DeclareFlexSymbol{\rgroup}{DeR}{del}{3B}
\DeclareFlexSymbol{\bracevert}{DeB}{del}{3E}
\DeclareFlexSymbol{\arrowvert}{DeB}{del}{3C}
\DeclareFlexSymbol{\Arrowvert}{DeB}{del}{3D}
\DeclareFlexSymbol{\uparrow}{DeA}{del}{78}
\DeclareFlexSymbol{\downarrow}{DeA}{del}{79}
\DeclareFlexSymbol{\updownarrow}{DeA}{del}{3F}
\DeclareFlexSymbol{\Uparrow}{DeA}{del}{7E}
\DeclareFlexSymbol{\Downarrow}{DeA}{del}{7F}
\DeclareFlexSymbol{\Updownarrow}{DeA}{del}{77}
\DeclareFlexSymbol{\backslash}{DeB}{del}{0F}
\DeclareFlexSymbol{\hbarOrd}{Ord}{OT1}{16}
\DeclareFlexCompoundSymbol{\hbar}{Ord}{\hbarOrd\mkern-9mu h}
\DeclareFlexSymbol{\surdOrd}{Ord}{OMS}{70}
\DeclareFlexCompoundSymbol{\surd}{Ord}{\mathop{\surdOrd}}
\DeclareFlexCompoundSymbol{\angle}{Ord}{%
  \vbox{\ialign{%
      $\m@th\scriptstyle##$\crcr
      \notRel\mathrel{\mkern14mu}\crcr
      \noalign{\nointerlineskip}%
      \mkern2.5mu\leaders\hrule \@height.34pt\hfill\mkern2.5mu\crcr
  }}%
}
\DeclareFlexCompoundSymbol{\neq}{Rel}{\not{=}}
\DeclareFlexCompoundSymbol{\mapsto}{Rel}{\mapstoOrd\rightarrow}
\DeclareFlexCompoundSymbol{\cong}{Rel}{\mathpalette\@vereq\sim}
\newcommand{\joinord}{\mkern-3mu }
\DeclareFlexCompoundSymbol{\notin}{Rel}{\mathpalette\c@ncel\in}
\DeclareFlexCompoundSymbol{\rightleftharpoons}{Rel}{\mathpalette\rlh@{}}
\DeclareFlexCompoundSymbol{\doteq}{Rel}{\buildrel\textstyle.\over=}
\DeclareFlexCompoundSymbol{\hookrightarrow}{Rel}{\lhookRel\joinord\rightarrow}
\DeclareFlexCompoundSymbol{\hookleftarrow}{Rel}{\leftarrow\joinord\rhookRel}
\DeclareFlexCompoundSymbol{\bowtie}{Rel}{\triangleright\joinord\triangleleft}
\DeclareFlexCompoundSymbol{\models}{Rel}{\vert\joinord=}
\DeclareFlexCompoundSymbol{\Longrightarrow}{Rel}{\Relbar\joinord\Rightarrow}
\DeclareFlexCompoundSymbol{\longrightarrow}{Rel}{\relbar\joinord\rightarrow}
\DeclareFlexCompoundSymbol{\Longleftarrow}{Rel}{\Leftarrow\joinord\Relbar}
\DeclareFlexCompoundSymbol{\longleftarrow}{Rel}{\leftarrow\joinord\relbar}
\DeclareFlexCompoundSymbol{\longmapsto}{Rel}{\mapstochar\longrightarrow}
\DeclareFlexCompoundSymbol{\longleftrightarrow}{Rel}{\leftarrow\joinord\rightarrow}
\DeclareFlexCompoundSymbol{\Longleftrightarrow}{Rel}{\Leftarrow\joinord\Rightarrow}
\renewcommand{\iff}{%
  \mskip\thickmuskip\Longleftrightarrow\mskip\thickmuskip
}
\DeclareFlexCompoundSymbol{\cdots}{Inn}{\cdotp\cdotp\cdotp}%
\DeclareFlexCompoundSymbol{\vdots}{Ord}{%
  \vbox{\baselineskip4\p@ \lineskiplimit\z@
    \kern6\p@\hbox{.}\hbox{.}\hbox{.}}}
\DeclareFlexCompoundSymbol{\ddots}{Inn}{%
  \mkern1mu\raise7\p@
  \vbox{\kern7\p@\hbox{.}}\mkern2mu%
  \raise4\p@\hbox{.}\mkern2mu\raise\p@\hbox{.}\mkern1mu%
}
\def\relbar{\begingroup \def\smash@{tb}% in case amsmath is loaded
    \mathpalette\mathsm@sh{\mathchar"200 }\endgroup}
\def\Relbar{\mathchar"3D }