1 files changed, 367 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/mh/cmbase.sym b/Master/texmf-dist/doc/latex/mh/cmbase.sym
new file mode 100644
index 00000000000..151aac3c742
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/mh/cmbase.sym
@@ -0,0 +1,367 @@
+%%
+%% This is file `cmbase.sym',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% flexisym.dtx  (with options: `cmbase')
+%% 
+%% This is a generated file.
+%% 
+%% Copyright (C) 1997-2003 by Michael J. Downes
+%% Copyright (C) 2007 by Morten Hoegholm <mh.ctan@gmail.com>
+%% 
+%% This work may be distributed and/or modified under the
+%% conditions of the LaTeX Project Public License, either
+%% version 1.3 of this license or (at your option) any later
+%% version. The latest version of this license is in
+%%    http://www.latex-project.org/lppl.txt
+%% and version 1.3 or later is part of all distributions of
+%% LaTeX version 2005/12/01 or later.
+%% 
+%% This work has the LPPL maintenance status "maintained".
+%% 
+%% This Current Maintainer of this work is Morten Hoegholm.
+%% 
+%% This work consists of the main source file flexisym.dtx
+%% and the derived files
+%%    flexisym.sty, flexisym.pdf, flexisym.ins, flexisym.drv,
+%%    cmbase.sym, mathpazo.sym, mathptmx.sym, msabm.sym.
+%% 
+\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 }
+\endinput
+%%
+%% End of file `cmbase.sym'.