reinstate mnsymbol, good with palatino et al., not just minion

git-svn-id: svn://tug.org/texlive/trunk@4209 c570f23f-e606-0410-a88d-b1316a301751

3 files changed, 3500 insertions, 0 deletions

diff --git a/Master/texmf-dist/source/latex/mnsymbol/MnSymbol.drv b/Master/texmf-dist/source/latex/mnsymbol/MnSymbol.drv
new file mode 100644
index 00000000000..d6b847219c2
--- /dev/null
+++ b/Master/texmf-dist/source/latex/mnsymbol/MnSymbol.drv
@@ -0,0 +1,21 @@
+%%
+%% This is file `MnSymbol.drv',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% MnSymbol.dtx  (with options: `driver')
+%% 
+%% These files are public domain.
+%% 
+\def\filedate{2007/01/21}
+\def\fileversion{v1.4}
+\documentclass{ltxdoc}
+\usepackage{multicol}
+\usepackage[smallfamily]{MinionPro}
+\begin{document}
+\DocInput{MnSymbol.dtx}
+\end{document}
+%% vim:set ft=tex:
+%%
+%% End of file `MnSymbol.drv'.
diff --git a/Master/texmf-dist/source/latex/mnsymbol/MnSymbol.dtx b/Master/texmf-dist/source/latex/mnsymbol/MnSymbol.dtx
new file mode 100644
index 00000000000..09cec0816dd
--- /dev/null
+++ b/Master/texmf-dist/source/latex/mnsymbol/MnSymbol.dtx
@@ -0,0 +1,3456 @@
+\def\filedate{2007/01/21}
+\def\fileversion{v1.4}
+%\iffalse
+%<*dtx>
+\ProvidesFile{MnSymbol.dtx}[2007/01/21 v1.4 math symbol font]
+%</dtx>
+%<*driver>
+\documentclass{ltxdoc}
+\usepackage{multicol}
+\usepackage[smallfamily]{MinionPro}
+\begin{document}
+\DocInput{MnSymbol.dtx}
+\end{document}
+%</driver>
+%\fi
+%
+% \newcommand*\?{\kern0.08em}
+%
+% \title{MnSymbol -- A Math Symbol Font}
+% \author{Achim Blumensath\footnote{I'd like to thank Michael Zedler for his numerous suggestions.}}
+% \date{\filedate}
+% \maketitle
+%
+% MnSymbol is a font of mathematical symbols designed as companion to Adobe MinionPro,
+% but it might also fit well to other renaissance or baroque faces.
+% To use this font in a \LaTeX\ document you can issue the command
+% \begin{quote}
+%   |\usepackage{MnSymbol}|
+% \end{quote}
+%
+% \paragraph{Interference with other packages.}
+% The \textsf{MnSymbol} package is incompatible with the \textsf{amssymb} and \textsf{amsfonts}
+% packages. It automatically loads the \textsf{amsmath} and \textsf{textcomp} packages. If you
+% want to pass options to these packages you can either put the corresponding |\usepackage| command
+% before the |\usepackage{MnSymbol}| or you can include the options in the |\documentclass| command.
+%
+% \paragraph{Options.}
+% The \textsf{MnSymbol} package supports the following options\?:
+% \begin{description}
+% \item[\textsf{mnsy}] (default) selects MnSymbolS as calligraphic font.
+% \item[\textsf{cmsy}] selects the Computer Modern calligraphic font.
+% \item[\textsf{abx}]  selects the experimental calligraphic font from the mathabx fonts.
+%   You need to have this font installed in order to use this option. mathabx
+%   contains also calligraphic lowercase letters, but the font is not quite finished yet.
+% \item[\textsf{retainmissing}] Normally \textsf{MnSymbol} takes some of the missing symbols
+%   from the text font and it sets the remaining ones to |\undefined|. If you want to
+%   retain the old definitions of these symbols then you can use the option \textsf{retainmissing}.
+% \end{description}
+%
+% \paragraph{Symbols.}
+% The \textsf{MnSymbol} package provides the following symbols.
+%
+% \def\cs#1{\texttt{\string#1}}
+% \def\showsymbol#1{\par\noindent\hangindent3em\hangafter1\hskip0pt{\hbox to 2em{$#1$\hfil}\cs{#1}}}
+% \def\showwidesymbol#1{\par\noindent\hangindent5em\hangafter1\hskip0pt{\hbox to 4em{$#1$\hfil}\cs{#1}}}
+% \def\showop#1{\par\noindent\hangindent6em\hangafter1\hskip0pt{\hbox to 5em{$#1$\hfil$\displaystyle#1$\hfil}\cs{#1}}}
+% \def\showmbrace#1{\par\noindent\hangindent5em\hangafter1\hskip0pt{\hbox to 4em{$#1\bigm#1\Bigm#1\biggm#1\Biggm#1$\hfil}\cs{#1}}}
+% \def\showlbrace#1{\par\noindent\hangindent5em\hangafter1\hskip0pt{\hbox to 4em{$\Biggl#1\biggl#1\Bigl#1\bigl#1#1$\hfil}\cs{#1}}}
+% \def\showrbrace#1{\par\noindent\hangindent5em\hangafter1\hskip0pt{\hbox to 4em{$#1\bigr#1\Bigr#1\biggr#1\Biggr#1$\hfil}\cs{#1}}}
+% \def\showover#1{\par\noindent\hangindent3em\hangafter1\hskip0pt{\hbox to 2em{$#1{abc}$\hfil}\cs{#1}}}
+% \def\showaccent#1{\par\noindent\hangindent3em\hangafter1\hskip0pt{\hbox to 2em{$#1b$\hfil}\cs{#1}}}
+%
+% \subsection*{Arrows}
+%
+% \begin{multicols}{2}
+% \raggedright
+% \showsymbol\rightarrow,
+%   \cs{\to}
+% \showsymbol\uparrow
+% \showsymbol\leftarrow,
+%   \cs{\gets}
+% \showsymbol\downarrow
+% \showsymbol\nearrow
+% \showsymbol\nwarrow
+% \showsymbol\swarrow
+% \showsymbol\searrow
+% \showsymbol\Rightarrow
+% \showsymbol\Uparrow
+% \showsymbol\Leftarrow
+% \showsymbol\Downarrow
+% \showsymbol\Nearrow
+% \showsymbol\Nwarrow
+% \showsymbol\Swarrow
+% \showsymbol\Searrow
+% \showsymbol\leftrightarrow
+% \showsymbol\updownarrow
+% \showsymbol\neswarrow
+% \showsymbol\nwsearrow
+% \showsymbol\Leftrightarrow
+% \showsymbol\Updownarrow
+% \showsymbol\Neswarrow
+% \showsymbol\Nwsearrow
+% \showsymbol\twoheadrightarrow
+% \showsymbol\twoheaduparrow
+% \showsymbol\twoheadleftarrow
+% \showsymbol\twoheaddownarrow
+% \showsymbol\twoheadnearrow
+% \showsymbol\twoheadnwarrow
+% \showsymbol\twoheadswarrow
+% \showsymbol\twoheadsearrow
+% \showsymbol\rightarrowtail
+% \showsymbol\uparrowtail
+% \showsymbol\leftarrowtail
+% \showsymbol\downarrowtail
+% \showsymbol\nearrowtail
+% \showsymbol\nwarrowtail
+% \showsymbol\swarrowtail
+% \showsymbol\searrowtail
+% \showsymbol\rightmapsto,
+%   \cs{\mapsto}
+% \showsymbol\upmapsto
+% \showsymbol\leftmapsto
+% \showsymbol\downmapsto
+% \showsymbol\nemapsto
+% \showsymbol\nwmapsto
+% \showsymbol\swmapsto
+% \showsymbol\semapsto
+% \showsymbol\lhookrightarrow,
+%   \cs{\hookrightarrow}
+% \showsymbol\lhookuparrow
+% \showsymbol\lhookleftarrow
+% \showsymbol\lhookdownarrow
+% \showsymbol\lhooknearrow
+% \showsymbol\lhooknwarrow
+% \showsymbol\lhookswarrow
+% \showsymbol\lhooksearrow
+% \showsymbol\rhookrightarrow
+% \showsymbol\rhookuparrow
+% \showsymbol\rhookleftarrow,
+%   \cs{\hookleftarrow}
+% \showsymbol\rhookdownarrow
+% \showsymbol\rhooknearrow
+% \showsymbol\rhooknwarrow
+% \showsymbol\rhookswarrow
+% \showsymbol\rhooksearrow
+% \showsymbol\rightharpoonccw,
+%   \cs{\rightharpoonup}
+% \showsymbol\upharpoonccw,
+%   \cs{\upharpoonleft}
+% \showsymbol\leftharpoonccw,
+%   \cs{\leftharpoondown}
+% \showsymbol\downharpoonccw,
+%   \cs{\downharpoonright}
+% \showsymbol\neharpoonccw
+% \showsymbol\nwharpoonccw
+% \showsymbol\swharpoonccw
+% \showsymbol\seharpoonccw
+% \showsymbol\rightharpooncw,
+%   \cs{\rightharpoondown}
+% \showsymbol\upharpooncw,
+%   \cs{\upharpoonright},
+%   \cs{\restriction}
+% \showsymbol\leftharpooncw,
+%   \cs{\leftharpoonup}
+% \showsymbol\downharpooncw,
+%   \cs{\downharpoonleft}
+% \showsymbol\neharpooncw
+% \showsymbol\nwharpooncw
+% \showsymbol\swharpooncw
+% \showsymbol\seharpooncw
+% \showsymbol\leftrightharpoonupdown
+% \showsymbol\updownharpoonleftright
+% \showsymbol\neswharpoonnwse
+% \showsymbol\nwseharpoonnesw
+% \showsymbol\leftrightharpoondownup
+% \showsymbol\updownharpoonrightleft
+% \showsymbol\neswharpoonsenw
+% \showsymbol\nwseharpoonswne
+% \showsymbol\rightleftharpoons
+% \showsymbol\updownharpoons
+% \showsymbol\neswharpoons
+% \showsymbol\senwharpoons
+% \showsymbol\leftrightharpoons
+% \showsymbol\downupharpoons
+% \showsymbol\swneharpoons
+% \showsymbol\nwseharpoons
+% \showsymbol\dashedrightarrow,
+%   \cs{\dashrightarrow},
+%   \cs{\dasharrow}
+% \showsymbol\dasheduparrow
+% \showsymbol\dashedleftarrow,
+%   \cs{\dashleftarrow}
+% \showsymbol\dasheddownarrow
+% \showsymbol\dashednearrow
+% \showsymbol\dashednwarrow
+% \showsymbol\dashedswarrow
+% \showsymbol\dashedsearrow
+% \showsymbol\rightspoon,
+%   \cs{\multimap}
+% \showsymbol\upspoon
+% \showsymbol\leftspoon
+% \showsymbol\downspoon
+% \showsymbol\nespoon
+% \showsymbol\nwspoon
+% \showsymbol\swspoon
+% \showsymbol\sespoon
+% \showsymbol\rightfilledspoon
+% \showsymbol\upfilledspoon
+% \showsymbol\leftfilledspoon
+% \showsymbol\downfilledspoon
+% \showsymbol\nefilledspoon
+% \showsymbol\nwfilledspoon
+% \showsymbol\swfilledspoon
+% \showsymbol\sefilledspoon
+% \showsymbol\rightfootline
+% \showsymbol\upfootline
+% \showsymbol\leftfootline
+% \showsymbol\downfootline
+% \showsymbol\nefootline
+% \showsymbol\nwfootline
+% \showsymbol\swfootline
+% \showsymbol\sefootline
+% \showsymbol\rightfree
+% \showsymbol\upfree
+% \showsymbol\leftfree
+% \showsymbol\downfree
+% \showsymbol\nefree
+% \showsymbol\nwfree
+% \showsymbol\swfree
+% \showsymbol\sefree
+% \showsymbol\rightpitchfork
+% \showsymbol\uppitchfork,
+%   \cs{\pitchfork}
+% \showsymbol\leftpitchfork
+% \showsymbol\downpitchfork
+% \showsymbol\nepitchfork
+% \showsymbol\nwpitchfork
+% \showsymbol\swpitchfork
+% \showsymbol\sepitchfork
+% \showsymbol\rightrightarrows
+% \showsymbol\upuparrows
+% \showsymbol\leftleftarrows
+% \showsymbol\downdownarrows
+% \showsymbol\nenearrows
+% \showsymbol\nwnwarrows
+% \showsymbol\swswarrows
+% \showsymbol\sesearrows
+% \showsymbol\rightleftarrows
+% \showsymbol\updownarrows
+% \showsymbol\neswarrows
+% \showsymbol\nwsearrows
+% \showsymbol\leftrightarrows
+% \showsymbol\downuparrows
+% \showsymbol\swnearrows
+% \showsymbol\senwarrows
+% \showsymbol\rightlsquigarrow,
+%   \cs{\leadsto},
+%   \cs{\rightsquigarrow}
+% \showsymbol\uplsquigarrow
+% \showsymbol\leftlsquigarrow
+% \showsymbol\downlsquigarrow
+% \showsymbol\nelsquigarrow
+% \showsymbol\nwlsquigarrow
+% \showsymbol\swlsquigarrow
+% \showsymbol\selsquigarrow
+% \showsymbol\rightrsquigarrow
+% \showsymbol\uprsquigarrow
+% \showsymbol\leftrsquigarrow
+% \showsymbol\downrsquigarrow
+% \showsymbol\nersquigarrow
+% \showsymbol\nwrsquigarrow
+% \showsymbol\swrsquigarrow
+% \showsymbol\sersquigarrow
+% \showsymbol\squigarrowleftright,
+%   \cs{\leftrightsquigarrow}
+% \showsymbol\squigarrowupdown
+% \showsymbol\squigarrowrightleft
+% \showsymbol\squigarrowdownup
+% \showsymbol\squigarrownesw
+% \showsymbol\squigarrownwse
+% \showsymbol\squigarrowswne
+% \showsymbol\squigarrowsenw
+% \showsymbol\lcurvearrowright,
+%   \cs{\curvearrowright}
+% \showsymbol\lcurvearrowup
+% \showsymbol\lcurvearrowleft
+% \showsymbol\lcurvearrowdown
+% \showsymbol\lcurvearrowne
+% \showsymbol\lcurvearrownw
+% \showsymbol\lcurvearrowsw
+% \showsymbol\lcurvearrowse
+% \showsymbol\rcurvearrowright
+% \showsymbol\rcurvearrowup
+% \showsymbol\rcurvearrowleft,
+%   \cs{\curvearrowleft}
+% \showsymbol\rcurvearrowdown
+% \showsymbol\rcurvearrowne
+% \showsymbol\rcurvearrownw
+% \showsymbol\rcurvearrowsw
+% \showsymbol\rcurvearrowse
+% \showsymbol\curvearrowleftright
+% \showsymbol\curvearrowupdown
+% \showsymbol\curvearrowrightleft
+% \showsymbol\curvearrowdownup
+% \showsymbol\curvearrownesw
+% \showsymbol\curvearrownwse
+% \showsymbol\curvearrowswne
+% \showsymbol\curvearrowsenw
+% \showsymbol\leftrightline,
+%   \cs{\relbar}
+% \showsymbol\updownline,
+%   \cs{\divides}
+% \showsymbol\neswline,
+%   \cs{\diagup}
+% \showsymbol\nwseline,
+%   \cs{\diagdown}
+% \showsymbol\Leftrightline,
+%   \cs{\Relbar}
+% \showsymbol\Updownline,
+%   \cs{\parallel}
+% \showsymbol\Neswline
+% \showsymbol\Nwseline
+% \showsymbol\rightvdash,
+%   \cs{\vdash}
+% \showsymbol\upvdash,
+%   \cs{\perp}
+% \showsymbol\leftvdash,
+%   \cs{\dashv}
+% \showsymbol\downvdash
+% \showsymbol\nevdash
+% \showsymbol\nwvdash
+% \showsymbol\swvdash
+% \showsymbol\sevdash
+% \showsymbol\rightmodels,
+%   \cs{\models},
+%   \cs{\vDash}
+% \showsymbol\upmodels
+% \showsymbol\leftmodels
+% \showsymbol\downmodels
+% \showsymbol\nemodels
+% \showsymbol\nwmodels
+% \showsymbol\swmodels
+% \showsymbol\semodels
+% \showsymbol\rightVdash,
+%   \cs{\Vdash}
+% \showsymbol\upVdash
+% \showsymbol\leftVdash
+% \showsymbol\downVdash
+% \showsymbol\neVdash
+% \showsymbol\nwVdash
+% \showsymbol\swVdash
+% \showsymbol\seVdash
+% \showsymbol\rightModels,
+%   \cs{\VDash}
+% \showsymbol\upModels
+% \showsymbol\leftModels
+% \showsymbol\downModels
+% \showsymbol\neModels
+% \showsymbol\nwModels
+% \showsymbol\swModels
+% \showsymbol\seModels
+% \showsymbol\rcirclearrowright
+% \showsymbol\rcirclearrowup,
+%   \cs{\circlearrowleft}
+% \showsymbol\rcirclearrowleft
+% \showsymbol\rcirclearrowdown
+% \showsymbol\lcirclearrowright
+% \showsymbol\lcirclearrowup,
+%   \cs{\circlearrowright}
+% \showsymbol\lcirclearrowleft
+% \showsymbol\lcirclearrowdown
+% \showsymbol\longrightarrow
+% \showsymbol\longleftarrow
+% \showsymbol\longleftrightarrow
+% \showsymbol\Longrightarrow
+% \showsymbol\Longleftarrow
+% \showsymbol\Longleftrightarrow
+% \showsymbol\longmapsto
+% \showsymbol\emptyfilledspoon
+% \showsymbol\filledemptyspoon
+% \showsymbol\largeemptyfilledspoon
+% \showsymbol\largefilledemptyspoon
+% \showsymbol\Rrightarrow
+% \showsymbol\Lleftarrow
+% \showsymbol\Rsh
+% \showsymbol\Lsh
+% \showsymbol\looparrowright
+% \showsymbol\looparrowleft
+% \showsymbol\Vvdash
+% \end{multicols}
+%
+% \subsection*{Negated arrows}
+%
+% \begin{multicols}{2}
+% \raggedright
+% \showsymbol\nrightarrow,
+%   \cs{\nto}
+% \showsymbol\nuparrow
+% \showsymbol\nleftarrow,
+%   \cs{\ngets}
+% \showsymbol\ndownarrow
+% \showsymbol\nnearrow
+% \showsymbol\nnwarrow
+% \showsymbol\nswarrow
+% \showsymbol\nsearrow
+% \showsymbol\nRightarrow
+% \showsymbol\nUparrow
+% \showsymbol\nLeftarrow
+% \showsymbol\nDownarrow
+% \showsymbol\nNearrow
+% \showsymbol\nNwarrow
+% \showsymbol\nSwarrow
+% \showsymbol\nSearrow
+% \showsymbol\nleftrightarrow
+% \showsymbol\nupdownarrow
+% \showsymbol\nneswarrow
+% \showsymbol\nnwsearrow
+% \showsymbol\nLeftrightarrow
+% \showsymbol\nUpdownarrow
+% \showsymbol\nNeswarrow
+% \showsymbol\nNwsearrow
+% \showsymbol\ntwoheadrightarrow
+% \showsymbol\ntwoheaduparrow
+% \showsymbol\ntwoheadleftarrow
+% \showsymbol\ntwoheaddownarrow
+% \showsymbol\ntwoheadnearrow
+% \showsymbol\ntwoheadnwarrow
+% \showsymbol\ntwoheadswarrow
+% \showsymbol\ntwoheadsearrow
+% \showsymbol\nrightarrowtail
+% \showsymbol\nuparrowtail
+% \showsymbol\nleftarrowtail
+% \showsymbol\ndownarrowtail
+% \showsymbol\nnearrowtail
+% \showsymbol\nnwarrowtail
+% \showsymbol\nswarrowtail
+% \showsymbol\nsearrowtail
+% \showsymbol\nrightmapsto,
+%   \cs{\nmapsto}
+% \showsymbol\nupmapsto
+% \showsymbol\nleftmapsto
+% \showsymbol\ndownmapsto
+% \showsymbol\nnemapsto
+% \showsymbol\nnwmapsto
+% \showsymbol\nswmapsto
+% \showsymbol\nsemapsto
+% \showsymbol\nlhookrightarrow,
+%   \cs{\nhookrightarrow}
+% \showsymbol\nlhookuparrow
+% \showsymbol\nlhookleftarrow
+% \showsymbol\nlhookdownarrow
+% \showsymbol\nlhooknearrow
+% \showsymbol\nlhooknwarrow
+% \showsymbol\nlhookswarrow
+% \showsymbol\nlhooksearrow
+% \showsymbol\nrhookrightarrow
+% \showsymbol\nrhookuparrow
+% \showsymbol\nrhookleftarrow,
+%   \cs{\nhookleftarrow}
+% \showsymbol\nrhookdownarrow
+% \showsymbol\nrhooknearrow
+% \showsymbol\nrhooknwarrow
+% \showsymbol\nrhookswarrow
+% \showsymbol\nrhooksearrow
+% \showsymbol\nrightharpoonccw,
+%   \cs{\nrightharpoonup}
+% \showsymbol\nupharpoonccw,
+%   \cs{\nupharpoonleft}
+% \showsymbol\nleftharpoonccw,
+%   \cs{\nleftharpoondown}
+% \showsymbol\ndownharpoonccw,
+%   \cs{\ndownharpoonright}
+% \showsymbol\nneharpoonccw
+% \showsymbol\nnwharpoonccw
+% \showsymbol\nswharpoonccw
+% \showsymbol\nseharpoonccw
+% \showsymbol\nrightharpooncw,
+%   \cs{\nrightharpoondown}
+% \showsymbol\nupharpooncw,
+%   \cs{\nupharpoonright},
+%   \cs{\nrestriction}
+% \showsymbol\nleftharpooncw,
+%   \cs{\nleftharpoonup}
+% \showsymbol\ndownharpooncw,
+%   \cs{\ndownharpoonleft}
+% \showsymbol\nneharpooncw
+% \showsymbol\nnwharpooncw
+% \showsymbol\nswharpooncw
+% \showsymbol\nseharpooncw
+% \showsymbol\nleftrightharpoonupdown
+% \showsymbol\nupdownharpoonleftright
+% \showsymbol\nneswharpoonnwse
+% \showsymbol\nnwseharpoonnesw
+% \showsymbol\nleftrightharpoondownup
+% \showsymbol\nupdownharpoonrightleft
+% \showsymbol\nneswharpoonsenw
+% \showsymbol\nnwseharpoonswne
+% \showsymbol\nrightleftharpoons
+% \showsymbol\nupdownharpoons
+% \showsymbol\nneswharpoons
+% \showsymbol\nsenwharpoons
+% \showsymbol\nleftrightharpoons
+% \showsymbol\ndownupharpoons
+% \showsymbol\nswneharpoons
+% \showsymbol\nnwseharpoons
+% \showsymbol\ndashedrightarrow,
+%   \cs{\ndashrightarrow},
+%   \cs{\ndasharrow}
+% \showsymbol\ndasheduparrow
+% \showsymbol\ndashedleftarrow,
+%   \cs{\ndashleftarrow}
+% \showsymbol\ndasheddownarrow
+% \showsymbol\ndashednearrow
+% \showsymbol\ndashednwarrow
+% \showsymbol\ndashedswarrow
+% \showsymbol\ndashedsearrow
+% \showsymbol\nrightspoon,
+%   \cs{\nmultimap}
+% \showsymbol\nupspoon
+% \showsymbol\nleftspoon
+% \showsymbol\ndownspoon
+% \showsymbol\nnespoon
+% \showsymbol\nnwspoon
+% \showsymbol\nswspoon
+% \showsymbol\nsespoon
+% \showsymbol\nrightfilledspoon
+% \showsymbol\nupfilledspoon
+% \showsymbol\nleftfilledspoon
+% \showsymbol\ndownfilledspoon
+% \showsymbol\nnefilledspoon
+% \showsymbol\nnwfilledspoon
+% \showsymbol\nswfilledspoon
+% \showsymbol\nsefilledspoon
+% \showsymbol\nrightfootline
+% \showsymbol\nupfootline
+% \showsymbol\nleftfootline
+% \showsymbol\ndownfootline
+% \showsymbol\nnefootline
+% \showsymbol\nnwfootline
+% \showsymbol\nswfootline
+% \showsymbol\nsefootline
+% \showsymbol\nrightfree
+% \showsymbol\nupfree
+% \showsymbol\nleftfree
+% \showsymbol\ndownfree
+% \showsymbol\nnefree
+% \showsymbol\nnwfree
+% \showsymbol\nswfree
+% \showsymbol\nsefree
+% \showsymbol\nrightpitchfork
+% \showsymbol\nuppitchfork,
+%   \cs{\npitchfork}
+% \showsymbol\nleftpitchfork
+% \showsymbol\ndownpitchfork
+% \showsymbol\nnepitchfork
+% \showsymbol\nnwpitchfork
+% \showsymbol\nswpitchfork
+% \showsymbol\nsepitchfork
+% \showsymbol\nrightrightarrows
+% \showsymbol\nupuparrows
+% \showsymbol\nleftleftarrows
+% \showsymbol\ndowndownarrows
+% \showsymbol\nnenearrows
+% \showsymbol\nnwnwarrows
+% \showsymbol\nswswarrows
+% \showsymbol\nsesearrows
+% \showsymbol\nrightleftarrows
+% \showsymbol\nupdownarrows
+% \showsymbol\nneswarrows
+% \showsymbol\nnwsearrows
+% \showsymbol\nleftrightarrows
+% \showsymbol\ndownuparrows
+% \showsymbol\nswnearrows
+% \showsymbol\nsenwarrows
+% \showsymbol\nrightlsquigarrow,
+%   \cs{\nleadsto},
+%   \cs{\nrightsquigarrow}
+% \showsymbol\nuplsquigarrow
+% \showsymbol\nleftlsquigarrow
+% \showsymbol\ndownlsquigarrow
+% \showsymbol\nnelsquigarrow
+% \showsymbol\nnwlsquigarrow
+% \showsymbol\nswlsquigarrow
+% \showsymbol\nselsquigarrow
+% \showsymbol\nrightrsquigarrow
+% \showsymbol\nuprsquigarrow
+% \showsymbol\nleftrsquigarrow
+% \showsymbol\ndownrsquigarrow
+% \showsymbol\nnersquigarrow
+% \showsymbol\nnwrsquigarrow
+% \showsymbol\nswrsquigarrow
+% \showsymbol\nsersquigarrow
+% \showsymbol\nsquigarrowleftright,
+%   \cs{\nleftrightsquigarrow}
+% \showsymbol\nsquigarrowupdown
+% \showsymbol\nsquigarrowrightleft
+% \showsymbol\nsquigarrowdownup
+% \showsymbol\nsquigarrownesw
+% \showsymbol\nsquigarrownwse
+% \showsymbol\nsquigarrowswne
+% \showsymbol\nsquigarrowsenw
+% \showsymbol\nlcurvearrowright,
+%   \cs{\ncurvearrowright}
+% \showsymbol\nlcurvearrowup
+% \showsymbol\nlcurvearrowleft
+% \showsymbol\nlcurvearrowdown
+% \showsymbol\nlcurvearrowne
+% \showsymbol\nlcurvearrownw
+% \showsymbol\nlcurvearrowsw
+% \showsymbol\nlcurvearrowse
+% \showsymbol\nrcurvearrowright
+% \showsymbol\nrcurvearrowup
+% \showsymbol\nrcurvearrowleft,
+%   \cs{\ncurvearrowleft}
+% \showsymbol\nrcurvearrowdown
+% \showsymbol\nrcurvearrowne
+% \showsymbol\nrcurvearrownw
+% \showsymbol\nrcurvearrowsw
+% \showsymbol\nrcurvearrowse
+% \showsymbol\ncurvearrowleftright
+% \showsymbol\ncurvearrowupdown
+% \showsymbol\ncurvearrowrightleft
+% \showsymbol\ncurvearrowdownup
+% \showsymbol\ncurvearrownesw
+% \showsymbol\ncurvearrownwse
+% \showsymbol\ncurvearrowswne
+% \showsymbol\ncurvearrowsenw
+% \showsymbol\nleftrightline,
+%   \cs{\nrelbar}
+% \showsymbol\nupdownline,
+%   \cs{\ndivides},
+%   \cs{\nmid}
+% \showsymbol\nneswline,
+%   \cs{\ndiagup}
+% \showsymbol\nnwseline,
+%   \cs{\ndiagdown}
+% \showsymbol\nLeftrightline,
+%   \cs{\nRelbar}
+% \showsymbol\nUpdownline,
+%   \cs{\nparallel}
+% \showsymbol\nNeswline
+% \showsymbol\nNwseline
+% \showsymbol\nrightvdash,
+%   \cs{\nvdash}
+% \showsymbol\nupvdash,
+%   \cs{\nperp}
+% \showsymbol\nleftvdash,
+%   \cs{\ndashv}
+% \showsymbol\ndownvdash
+% \showsymbol\nnevdash
+% \showsymbol\nnwvdash
+% \showsymbol\nswvdash
+% \showsymbol\nsevdash
+% \showsymbol\nrightmodels,
+%   \cs{\nmodels},
+%   \cs{\nvDash}
+% \showsymbol\nupmodels
+% \showsymbol\nleftmodels
+% \showsymbol\ndownmodels
+% \showsymbol\nnemodels
+% \showsymbol\nnwmodels
+% \showsymbol\nswmodels
+% \showsymbol\nsemodels
+% \showsymbol\nrightVdash,
+%   \cs{\nVdash}
+% \showsymbol\nupVdash
+% \showsymbol\nleftVdash
+% \showsymbol\ndownVdash
+% \showsymbol\nneVdash
+% \showsymbol\nnwVdash
+% \showsymbol\nswVdash
+% \showsymbol\nseVdash
+% \showsymbol\nrightModels,
+%   \cs{\nVDash}
+% \showsymbol\nupModels
+% \showsymbol\nleftModels
+% \showsymbol\ndownModels
+% \showsymbol\nneModels
+% \showsymbol\nnwModels
+% \showsymbol\nswModels
+% \showsymbol\nseModels
+% \showsymbol\nrcirclearrowright
+% \showsymbol\nrcirclearrowup,
+%   \cs{\ncirclearrowleft}
+% \showsymbol\nrcirclearrowleft
+% \showsymbol\nrcirclearrowdown
+% \showsymbol\nlcirclearrowright
+% \showsymbol\nlcirclearrowup,
+%   \cs{\ncirclearrowright}
+% \showsymbol\nlcirclearrowleft
+% \showsymbol\nlcirclearrowdown
+% \showsymbol\nRrightarrow
+% \showsymbol\nLleftarrow
+% \end{multicols}
+%
+% \subsection*{Binary operators and letters}
+%
+% \begin{multicols}{2}
+% \raggedright
+% \showsymbol\cdot,
+%   \cs{\cdotp}
+% \showsymbol\hdotdot
+% \showsymbol{:},
+%   \cs{\vdotdot},
+%   \cs{\colon}
+% \showsymbol\udotdot
+% \showsymbol\ddotdot
+% \showsymbol\hdots,
+%   \cs{\cdots}
+% \showsymbol\vdots
+% \showsymbol\udots
+% \showsymbol\ddots
+% \showsymbol\righttherefore
+% \showsymbol\uptherefore,
+%   \cs{\therefore}
+% \showsymbol\lefttherefore
+% \showsymbol\downtherefore,
+%   \cs{\because}
+% \showsymbol\diamonddots
+% \showsymbol\squaredots
+% \showsymbol\fivedots
+% \showsymbol{-},
+%   \cs{\minus}
+% \showsymbol\medvert,
+%   \cs{\shortmid}
+% \showsymbol\medslash
+% \showsymbol\medbackslash,
+%   \cs{\setminus},
+%   \cs{\smallsetminus}
+% \showsymbol{+},
+%   \cs{\plus}
+% \showsymbol\times
+% \showsymbol\pm
+% \showsymbol\mp
+% \showsymbol\dotminus
+% \showsymbol\dotmedvert
+% \showsymbol\minusdot
+% \showsymbol\medvertdot
+% \showsymbol\div
+% \showsymbol\slashdiv
+% \showsymbol\vertdiv
+% \showsymbol\backslashdiv
+% \showsymbol\neg,
+%   \cs{\lnot}, \cs{\minushookdown}
+% \showsymbol\backneg,
+%   \cs{\hookdownminus}
+% \showsymbol\dtimes
+% \showsymbol\rtimes
+% \showsymbol\utimes
+% \showsymbol\ltimes
+% \showsymbol\bowtie,
+%   \cs{\Join}
+% \showsymbol\vertbowtie
+% \showsymbol\rightY
+% \showsymbol\upY
+% \showsymbol\leftY
+% \showsymbol\downY
+% \showsymbol\wedge,
+%   \cs{\land}
+% \showsymbol\vee,
+%   \cs{\lor}
+% \showsymbol\wedgedot
+% \showsymbol\veedot
+% \showsymbol\doublewedge
+% \showsymbol\doublevee
+% \showsymbol\curlywedge
+% \showsymbol\curlyvee
+% \showsymbol\curlywedgedot
+% \showsymbol\curlyveedot
+% \showsymbol\doublecurlywedge
+% \showsymbol\doublecurlyvee
+% \showsymbol\cup
+% \showsymbol\cap
+% \showsymbol\doublecup,
+%   \cs{\Cup}
+% \showsymbol\doublecap,
+%   \cs{\Cap}
+% \showsymbol\cupdot
+% \showsymbol\capdot
+% \showsymbol\cupplus,
+%   \cs{\uplus}
+% \showsymbol\capplus
+% \showsymbol\sqcup
+% \showsymbol\sqcap
+% \showsymbol\doublesqcup
+% \showsymbol\doublesqcap
+% \showsymbol\sqcupdot
+% \showsymbol\sqcapdot
+% \showsymbol\sqcupplus
+% \showsymbol\sqcapplus
+% \showsymbol\smalltriangleright
+% \showsymbol\smalltriangleup
+% \showsymbol\smalltriangleleft
+% \showsymbol\smalltriangledown
+% \showsymbol\filledtriangleright,
+%   \cs{\blacktriangleright}
+% \showsymbol\filledtriangleup
+% \showsymbol\filledtriangleleft,
+%   \cs{\blacktriangleleft}
+% \showsymbol\filledtriangledown
+% \showsymbol\medtriangleright,
+%   \cs{\triangleright}
+% \showsymbol\medtriangleup,
+%   \cs{\triangle},
+%   \cs{\vartriangle},
+%   \cs{\bigtriangleup}
+% \showsymbol\medtriangleleft,
+%   \cs{\triangleleft}
+% \showsymbol\medtriangledown,
+%   \cs{\bigtriangledown},
+%   \cs{\triangledown}
+% \showsymbol\largetriangleright
+% \showsymbol\largetriangleup
+% \showsymbol\largetriangleleft
+% \showsymbol\largetriangledown
+% \showsymbol\circ
+% \showsymbol\bullet
+% \showsymbol\medcircle
+% \showsymbol\largecircle,
+%   \cs{\bigcirc}
+% \showsymbol\ominus,
+%   \cs{\circleddash}
+% \showsymbol\overt
+% \showsymbol\oslash
+% \showsymbol\obackslash
+% \showsymbol\oplus
+% \showsymbol\otimes
+% \showsymbol\odot
+% \showsymbol\ocirc,
+%   \cs{\circledcirc}
+% \showsymbol\otriangle
+% \showsymbol\oast,
+%   \cs{\circledast}
+% \showsymbol\ostar
+% \showsymbol\diameter,
+%   \cs{\emptyset},
+%   \cs{\varnothing}
+% \showsymbol\smallsquare
+% \showsymbol\filledsquare
+% \showsymbol\medsquare,
+%   \cs{\square},
+%   \cs{\Box}
+% \showsymbol\largesquare
+% \showsymbol\smalldiamond,
+%   \cs{\diamond}
+% \showsymbol\filleddiamond
+% \showsymbol\meddiamond,
+%   \cs{\Diamond}
+% \showsymbol\largediamond
+% \showsymbol\boxminus
+% \showsymbol\boxvert
+% \showsymbol\boxslash
+% \showsymbol\boxbackslash
+% \showsymbol\boxplus
+% \showsymbol\boxtimes
+% \showsymbol\boxdot
+% \showsymbol\boxbox
+% \showsymbol\diamondminus
+% \showsymbol\diamondvert
+% \showsymbol\diamondslash
+% \showsymbol\diamondbackslash
+% \showsymbol\diamondplus
+% \showsymbol\diamondtimes
+% \showsymbol\diamonddot
+% \showsymbol\diamonddiamond
+% \showsymbol\smallstar
+% \showsymbol\filledstar
+% \showsymbol\medstar
+% \showsymbol\largestar
+% \showsymbol\pentagram
+% \showsymbol\largepentagram
+% \showsymbol\thinstar,
+%   \cs{\star}
+% \showsymbol{*},
+%   \cs{\ast}
+% \showsymbol\hbipropto
+% \showsymbol\neswbipropto
+% \showsymbol\vbipropto
+% \showsymbol\nwsebipropto
+% \showsymbol\leftpropto, \cs{\propto},
+%   \cs{\varpropto}
+% \showsymbol\downpropto
+% \showsymbol\rightpropto
+% \showsymbol\uppropto
+% \showsymbol\hcrossing
+% \showsymbol\neswcrossing
+% \showsymbol\vcrossing
+% \showsymbol\nwsecrossing
+% \showsymbol\between
+% \showsymbol\separated
+% \showsymbol\bot
+% \showsymbol\top,
+%   \cs{\intercal}
+% \showsymbol\wreath,
+%   \cs{\wr}
+% \showsymbol\angle
+% \showsymbol\measuredangle
+% \showsymbol\sphericalangle
+% \showsymbol\prime
+% \showsymbol\backprime
+% \showsymbol\smallprod
+% \showsymbol\amalg
+% \showsymbol\checkmark
+% \showsymbol\lightning
+% \showsymbol\diamondsuit
+% \showsymbol\heartsuit
+% \showsymbol\spadesuit
+% \showsymbol\clubsuit
+% \showsymbol\forall
+% \showsymbol\exists
+% \showsymbol\nexists
+% \showsymbol\nabla
+% \showsymbol\infty
+% \showsymbol\smallint
+% \showsymbol\flat
+% \showsymbol\natural
+% \showsymbol\sharp
+% \showsymbol\aleph
+% \showsymbol\beth
+% \showsymbol\gimel
+% \showsymbol\daleth
+% \showsymbol\wp
+% \showsymbol\powerset
+% \showsymbol\invneg,
+%   \cs{\minushookup}
+% \showsymbol\invbackneg,
+%   \cs{\hookupminus}
+% \showsymbol\lefthalfcup
+% \showsymbol\righthalfcup
+% \showsymbol\lefthalfcap
+% \showsymbol\righthalfcap
+% \showsymbol\closedsucc
+% \showsymbol\closedcurlywedge
+% \showsymbol\closedprec
+% \showsymbol\closedcurlyvee
+% \showsymbol\rightslice
+% \showsymbol\upslice
+% \showsymbol\leftslice
+% \showsymbol\downslice
+% \showsymbol\smalllozenge
+% \showsymbol\filledlozenge
+% \showsymbol\medlozenge,
+%   \cs{\lozenge}
+% \showsymbol\filledmedlozenge,
+%   \cs{\blacklozenge}
+% \showsymbol\largelozenge
+% \showsymbol\filledmedtriangleright
+% \showsymbol\filledmedtriangleup,
+%   \cs{\blacktriangle}
+% \showsymbol\filledmedtriangleleft
+% \showsymbol\filledmedtriangledown,
+%   \cs{\blacktriangledown}
+% \showsymbol\filledmedsquare,
+%   \cs{\blacksquare}
+% \showsymbol\filledlargestar,
+%   \cs{\bigstar}
+% \showsymbol\medstarofdavid
+% \showsymbol\largestarofdavid
+% \showsymbol\maltese
+% \showsymbol\leftthreetimes
+% \showsymbol\rightthreetimes
+% \showsymbol\nshortmid
+% \showsymbol\shortparallel
+% \showsymbol\nshortparallel
+% \end{multicols}
+%
+% \subsection*{Relations}
+%
+% \begin{multicols}{2}
+% \raggedright
+% \showsymbol{=},
+%   \cs{\equal}
+% \showsymbol\equiv
+% \showsymbol\sim
+% \showsymbol\backsim
+% \showsymbol\approx
+% \showsymbol\backapprox
+% \showsymbol\triplesim
+% \showsymbol\backtriplesim
+% \showsymbol\simeq
+% \showsymbol\backsimeq
+% \showsymbol\eqsim
+% \showsymbol\backeqsim
+% \showsymbol\cong
+% \showsymbol\backcong
+% \showsymbol\approxeq
+% \showsymbol\backapproxeq
+% \showsymbol\bumpeq
+% \showsymbol\eqbump
+% \showsymbol\Bumpeq
+% \showsymbol\doteq
+% \showsymbol\eqdot
+% \showsymbol\Doteq,
+%   \cs{\doteqdot}
+% \showsymbol\fallingdotseq
+% \showsymbol\risingdotseq
+% \showsymbol\smile,
+%   \cs{\smallsmile}
+% \showsymbol\frown,
+%   \cs{\smallfrown}
+% \showsymbol\doublesmile
+% \showsymbol\doublefrown
+% \showsymbol\triplesmile
+% \showsymbol\triplefrown
+% \showsymbol\smilefrown,
+%   \cs{\asymp}
+% \showsymbol\frownsmile
+% \showsymbol\smileeq
+% \showsymbol\frowneq
+% \showsymbol\eqsmile
+% \showsymbol\eqfrown
+% \showsymbol\doublesmileeq
+% \showsymbol\doublefrowneq
+% \showsymbol\smileeqfrown
+% \showsymbol\frowneqsmile
+% \showsymbol\smilefrowneq
+% \showsymbol\frownsmileeq
+% \showsymbol\sqsmile
+% \showsymbol\sqfrown
+% \showsymbol\sqdoublesmile
+% \showsymbol\sqdoublefrown
+% \showsymbol\sqtriplesmile
+% \showsymbol\sqtriplefrown
+% \showsymbol\sqsmilefrown
+% \showsymbol\sqfrownsmile
+% \showsymbol\sqsmileeq
+% \showsymbol\sqfrowneq
+% \showsymbol\sqeqsmile
+% \showsymbol\sqeqfrown
+% \showsymbol\sqdoublesmileeq
+% \showsymbol\sqdoublefrowneq
+% \showsymbol\sqsmileeqfrown
+% \showsymbol\sqfrowneqsmile
+% \showsymbol\eqcirc
+% \showsymbol\circeq
+% \showsymbol\triangleeq,
+%   \cs{\triangleq}
+% \showsymbol\hateq
+% \showsymbol\in
+% \showsymbol\owns,
+%   \cs{\ni}
+% \showsymbol{<},
+%   \cs{\less}
+% \showsymbol{>},
+%   \cs{\gtr}
+% \showsymbol\leq,
+%   \cs{\le}
+% \showsymbol\geq,
+%   \cs{\ge}
+% \showsymbol\leqslant
+% \showsymbol\geqslant
+% \showsymbol\leqq
+% \showsymbol\geqq
+% \showsymbol\lessgtr
+% \showsymbol\gtrless
+% \showsymbol\lesseqgtr
+% \showsymbol\gtreqless
+% \showsymbol\lesseqqgtr
+% \showsymbol\gtreqqless
+% \showsymbol\lesseqgtrslant
+% \showsymbol\gtreqlessslant
+% \showsymbol\ll
+% \showsymbol\gg
+% \showsymbol\lll,
+%   \cs{\llless}
+% \showsymbol\ggg,
+%   \cs{\gggtr}
+% \showsymbol\lessclosed,
+%   \cs{\lhd},
+%   \cs{\vartriangleleft}
+% \showsymbol\gtrclosed,
+%   \cs{\rhd},
+%   \cs{\vartriangleright}
+% \showsymbol\leqclosed,
+%   \cs{\unlhd},
+%   \cs{\trianglelefteq}
+% \showsymbol\geqclosed,
+%   \cs{\unrhd},
+%   \cs{\trianglerighteq}
+% \showsymbol\sqsubset
+% \showsymbol\sqsupset
+% \showsymbol\sqsubseteq
+% \showsymbol\sqsupseteq
+% \showsymbol\sqsubseteqq
+% \showsymbol\sqsupseteqq
+% \showsymbol\Sqsubset
+% \showsymbol\Sqsupset
+% \showsymbol\subset
+% \showsymbol\supset
+% \showsymbol\subseteq
+% \showsymbol\supseteq
+% \showsymbol\subseteqq
+% \showsymbol\supseteqq
+% \showsymbol\Subset
+% \showsymbol\Supset
+% \showsymbol\prec
+% \showsymbol\succ
+% \showsymbol\preceq
+% \showsymbol\succeq
+% \showsymbol\preccurlyeq
+% \showsymbol\succcurlyeq
+% \showsymbol\precsim
+% \showsymbol\succsim
+% \showsymbol\precapprox
+% \showsymbol\succapprox
+% \showsymbol\lessdot
+% \showsymbol\gtrdot
+% \showsymbol\leqdot
+% \showsymbol\geqdot
+% \showsymbol\leqslantdot
+% \showsymbol\geqslantdot
+% \showsymbol\closedequal
+% \showsymbol\equalclosed
+% \showsymbol\equivclosed
+% \showsymbol\lesssim
+% \showsymbol\gtrsim
+% \showsymbol\lessapprox
+% \showsymbol\gtrapprox
+% \showsymbol\eqslantless
+% \showsymbol\eqslantgtr
+% \showsymbol\curlyeqprec
+% \showsymbol\curlyeqsucc
+% \showsymbol\nequal,
+%   \cs{\neq},
+%   \cs{\ne}
+% \showsymbol\nequiv
+% \showsymbol\nsim
+% \showsymbol\nbacksim
+% \showsymbol\napprox
+% \showsymbol\nbackapprox
+% \showsymbol\ntriplesim
+% \showsymbol\nbacktriplesim
+% \showsymbol\nsimeq
+% \showsymbol\nbacksimeq
+% \showsymbol\neqsim
+% \showsymbol\nbackeqsim
+% \showsymbol\ncong
+% \showsymbol\nbackcong
+% \showsymbol\napproxeq
+% \showsymbol\nbackapproxeq
+% \showsymbol\nbumpeq
+% \showsymbol\neqbump
+% \showsymbol\nBumpeq
+% \showsymbol\ndoteq
+% \showsymbol\neqdot
+% \showsymbol\nDoteq
+% \showsymbol\nfallingdotseq
+% \showsymbol\nrisingdotseq
+% \showsymbol\nsmile
+% \showsymbol\nfrown
+% \showsymbol\ndoublesmile
+% \showsymbol\ndoublefrown
+% \showsymbol\ntriplesmile
+% \showsymbol\ntriplefrown
+% \showsymbol\nsmilefrown,
+%   \cs{\nasymp}
+% \showsymbol\nfrownsmile
+% \showsymbol\nsmileeq
+% \showsymbol\nfrowneq
+% \showsymbol\neqsmile
+% \showsymbol\neqfrown
+% \showsymbol\ndoublesmileeq
+% \showsymbol\ndoublefrowneq
+% \showsymbol\nsmileeqfrown
+% \showsymbol\nfrowneqsmile
+% \showsymbol\nsmilefrowneq
+% \showsymbol\nfrownsmileeq
+% \showsymbol\nsqsmile
+% \showsymbol\nsqfrown
+% \showsymbol\nsqdoublesmile
+% \showsymbol\nsqdoublefrown
+% \showsymbol\nsqtriplesmile
+% \showsymbol\nsqtriplefrown
+% \showsymbol\nsqsmilefrown
+% \showsymbol\nsqfrownsmile
+% \showsymbol\nsqsmileeq
+% \showsymbol\nsqfrowneq
+% \showsymbol\nsqeqsmile
+% \showsymbol\nsqeqfrown
+% \showsymbol\nsqdoublesmileeq
+% \showsymbol\nsqdoublefrowneq
+% \showsymbol\nsqsmileeqfrown
+% \showsymbol\nsqfrowneqsmile
+% \showsymbol\neqcirc
+% \showsymbol\ncirceq
+% \showsymbol\ntriangleeq
+% \showsymbol\nhateq
+% \showsymbol\nin,
+%   \cs{\notin}
+% \showsymbol\nowns
+% \showsymbol\nless
+% \showsymbol\ngtr
+% \showsymbol\nleq,
+%    \cs{\lneq}
+% \showsymbol\ngeq,
+%    \cs{\gneq}
+% \showsymbol\nleqslant
+% \showsymbol\ngeqslant
+% \showsymbol\nleqq
+% \showsymbol\ngeqq
+% \showsymbol\nlessgtr
+% \showsymbol\ngtrless
+% \showsymbol\nlesseqgtr
+% \showsymbol\ngtreqless
+% \showsymbol\nlesseqqgtr
+% \showsymbol\ngtreqqless
+% \showsymbol\nlesseqgtrslant
+% \showsymbol\ngtreqlessslant
+% \showsymbol\nll
+% \showsymbol\ngg
+% \showsymbol\nlll
+% \showsymbol\nggg
+% \showsymbol\nlessclosed,
+%   \cs{\ntriangleleft}
+% \showsymbol\ngtrclosed,
+%   \cs{\ntriangleright}
+% \showsymbol\nleqclosed,
+%   \cs{\ntrianglelefteq}
+% \showsymbol\ngeqclosed,
+%   \cs{\ntrianglerighteq}
+% \showsymbol\nsqsubset
+% \showsymbol\nsqsupset
+% \showsymbol\nsqsubseteq
+% \showsymbol\nsqsupseteq
+% \showsymbol\nsqsubseteqq
+% \showsymbol\nsqsupseteqq
+% \showsymbol\nSqsubset
+% \showsymbol\nSqsupset
+% \showsymbol\nsubset
+% \showsymbol\nsupset
+% \showsymbol\nsubseteq
+% \showsymbol\nsupseteq
+% \showsymbol\nsubseteqq
+% \showsymbol\nsupseteqq
+% \showsymbol\nSubset
+% \showsymbol\nSupset
+% \showsymbol\nprec
+% \showsymbol\nsucc
+% \showsymbol\npreceq,
+%   \cs{\precneqq}
+% \showsymbol\nsucceq,
+%   \cs{\succneqq}
+% \showsymbol\npreccurlyeq
+% \showsymbol\nsucccurlyeq
+% \showsymbol\nprecsim
+% \showsymbol\nsuccsim
+% \showsymbol\nprecapprox
+% \showsymbol\nsuccapprox
+% \showsymbol\nlessdot
+% \showsymbol\ngtrdot
+% \showsymbol\nleqdot
+% \showsymbol\ngeqdot
+% \showsymbol\nleqslantdot
+% \showsymbol\ngeqslantdot
+% \showsymbol\lneqq,
+%   \cs{\lvertneqq}
+% \showsymbol\gneqq,
+%   \cs{\gvertneqq}
+% \showsymbol\lessneqqgtr
+% \showsymbol\gtrneqqless
+% \showsymbol\sqsubsetneq
+% \showsymbol\sqsupsetneq
+% \showsymbol\sqsubsetneqq
+% \showsymbol\sqsupsetneqq
+% \showsymbol\subsetneq,
+%   \cs{\varsubsetneq}
+% \showsymbol\supsetneq,
+%   \cs{\varsupsetneq}
+% \showsymbol\subsetneqq,
+%   \cs{\varsubsetneqq}
+% \showsymbol\supsetneqq,
+%   \cs{\varsupsetneqq}
+% \showsymbol\precnsim
+% \showsymbol\succnsim
+% \showsymbol\precnapprox
+% \showsymbol\succnapprox
+% \showsymbol\nclosedequal
+% \showsymbol\nequalclosed
+% \showsymbol\nequivclosed
+% \showsymbol\lnsim
+% \showsymbol\gnsim
+% \showsymbol\lnapprox
+% \showsymbol\gnapprox
+% \showsymbol\neqslantless
+% \showsymbol\neqslantgtr
+% \showsymbol\ncurlyeqprec
+% \showsymbol\ncurlyeqsucc
+% \end{multicols}
+%
+% \subsection*{Operators}
+%
+% \begin{multicols}{2}
+% \raggedright
+% \showop\bigplus
+% \showop\bigtimes
+% \showop\bigwedge
+% \showop\bigvee
+% \showop\bigwedgedot
+% \showop\bigveedot
+% \showop\bigdoublewedge
+% \showop\bigdoublevee
+% \showop\bigcurlywedge
+% \showop\bigcurlyvee
+% \showop\bigcurlywedgedot
+% \showop\bigcurlyveedot
+% \showop\bigdoublecurlywedge
+% \showop\bigdoublecurlyvee
+% \showop\bigcap
+% \showop\bigcup
+% \showop\bigcapdot
+% \showop\bigcupdot
+% \showop\bigcapplus,
+%   \cs\biguplus
+% \showop\bigcupplus
+% \showop\bigsqcap
+% \showop\bigsqcup
+% \showop\bigsqcapdot
+% \showop\bigsqcupdot
+% \showop\bigsqcapplus
+% \showop\bigsqcupplus
+% \showop\bigcircle
+% \showop\bigominus
+% \showop\bigovert
+% \showop\bigoslash
+% \showop\bigobackslash
+% \showop\bigoplus
+% \showop\bigotimes
+% \showop\bigodot
+% \showop\bigocirc
+% \showop\bigotriangle
+% \showop\bigoast
+% \showop\bigostar
+% \showop\prod
+% \showop\coprod
+% \showop\sum
+% \showop\int
+% \showop\iint
+% \showop\iiint
+% \showop\iiiint
+% \showop\idotsint
+% \showop\landupint
+% \showop\landdownint
+% \showop\strokedint
+% \showop\oint
+% \showop\oiint
+% \showop\rcirclerightint
+% \showop\lcirclerightint
+% \showop\rcircleleftint
+% \showop\lcircleleftint
+% \showop\sumint
+% \showop\complement
+% \end{multicols}
+%
+% \subsection*{Braces and accents}
+%
+% \begin{multicols}{2}
+% \raggedright
+% \showlbrace{(}
+% \showrbrace{)}
+% \showlbrace{[}
+% \showrbrace{]}
+% \showlbrace{\lbrace},
+%   \cs{\{}
+% \showrbrace{\rbrace},
+%   \cs{\}}
+% \showlbrace{\langle}
+% \showrbrace{\rangle}
+% \showlbrace{\langlebar}
+% \showrbrace{\ranglebar}
+% \showlbrace{\llangle}
+% \showrbrace{\rrangle}
+% \showlbrace{\lfloor}
+% \showrbrace{\rfloor}
+% \showlbrace{\lceil}
+% \showrbrace{\rceil}
+% \showlbrace{\ulcorner}
+% \showrbrace{\urcorner}
+% \showlbrace{\llcorner}
+% \showrbrace{\lrcorner}
+% \showlbrace{\ullcorner}
+% \showrbrace{\ulrcorner}
+% \showlbrace{\lsem}
+% \showrbrace{\rsem}
+% \showmbrace{/}
+% \showmbrace{\backslash}
+% {\catcode`\|=11
+% \showmbrace{|},
+%   \cs{\vert}}
+% \showmbrace{\mvert},
+%   \cs{\mid}
+% \showlbrace{\lvert}
+% \showrbrace{\rvert}
+% \showmbrace{\Vert},
+%   \cs{\|}
+% \showmbrace{\mVert}
+% \showlbrace{\lVert}
+% \showrbrace{\rVert}
+% \showmbrace{\arrowvert}
+% \showmbrace{\Arrowvert}
+% \showlbrace{\lwavy}
+% \showrbrace{\rwavy}
+% \showlbrace{\lWavy}
+% \showrbrace{\rWavy}
+% \showlbrace{\lgroup}
+% \showrbrace{\rgroup}
+% \showlbrace{\lmoustache}
+% \showrbrace{\rmoustache}
+% \showmbrace{\bracevert}
+% \showmbrace{\uparrow}
+% \showmbrace{\downarrow}
+% \showmbrace{\updownarrow}
+% \showmbrace{\Uparrow}
+% \showmbrace{\Downarrow}
+% \showmbrace{\Updownarrow}
+% \end{multicols}
+% \begin{multicols}{2}
+% \showwidesymbol\downbrace
+% \showwidesymbol\downbraceg
+% \showwidesymbol\downbracegg
+% \showwidesymbol\downbraceggg
+% \showwidesymbol\downbracegggg
+% \showwidesymbol\upbrace
+% \showwidesymbol\upbraceg
+% \showwidesymbol\upbracegg
+% \showwidesymbol\upbraceggg
+% \showwidesymbol\upbracegggg
+% \showwidesymbol\braceld
+% \showwidesymbol\bracelu
+% \showwidesymbol\bracerd
+% \showwidesymbol\braceru
+% \showwidesymbol\bracemd
+% \showwidesymbol\bracemu
+% \showwidesymbol\bracemid
+% \end{multicols}
+% \begin{multicols}{2}
+% \showover\overbrace
+% \showover\underbrace
+% \showover\overgroup
+% \showover\undergroup
+% \showover\overlinesegment
+% \showover\overleftharpoon
+% \showover\overrightharpoon
+% \showover\underlinesegment
+% \end{multicols}
+%
+% \begin{multicols}{2}
+% \raggedright
+% \showaccent\sqrt
+% \showsymbol\surd
+% \showover\widehat
+% \showover\widetilde
+% \showover\wideparen
+% \showaccent\vec
+% \showaccent\middlebar
+% \showaccent\middleslash
+% \showaccent\strokethrough
+% \end{multicols}
+%
+% \subsection*{Faked symbols}
+%
+% The following symbols are taken from the text font or they are assembled
+% from several glyphs.
+% \begin{multicols}{2}
+% \raggedright
+% \showsymbol\coloneq
+% \showsymbol\dagger
+% \showsymbol\ddagger
+% \showsymbol\mathparagraph
+% \showsymbol\mathsection
+% \showsymbol\mathdollar
+% \showsymbol\mathsterling
+% \showsymbol\yen
+% \showsymbol\Re
+% \showsymbol\Im
+% \showsymbol\hbar
+% \showsymbol\hslash
+% \showsymbol\circledR
+% \showsymbol\circledS
+% \showsymbol\dotplus
+% \showsymbol\thicksim
+% \showsymbol\thickapprox
+% \showsymbol\veebar
+% \showsymbol\barwedge
+% \showsymbol\doublebarwedge
+% \showsymbol\centerdot
+% \showsymbol\divideontimes
+% \end{multicols}
+%
+% \paragraph{Missing symbols.}
+% The following symbols from Computer Modern or the AMS fonts are missing in MnSymbol.
+% If available they should be taken from the text font. (For instance, the
+% \textsf{MinionPro} package defines most of them.)
+% \begin{multicols}{3}
+% \parindent=0pt
+% |\mho|\par
+% |\Finv|\par
+% |\Game|\par
+% |\eth|\par
+% |\digamma|\par
+% |\varkappa|\par
+% |\Bbbk|\par
+% |\backepsilon|\par
+% |\mapstochar|\par
+% |\lhook|\par
+% |\rhook|\par
+% \end{multicols}
+%
+% \section{The style file}
+%
+% \figureversion{tabular}
+%    \begin{macrocode}
+%<*style>
+\ProvidesPackage{MnSymbol}[2007/01/21 v1.4 support for the MnSymbol font]
+%    \end{macrocode}
+%
+% Options to select the calligraphic font.
+%
+%    \begin{macrocode}
+\DeclareOption{mnsy}{%
+  \def\Mn@Load@Cal@Font{%
+    \DeclareMathAlphabet\mathcal  {OMS}{MnSymbolS}{m}{n}%
+    \SetMathAlphabet\mathcal{bold}{OMS}{MnSymbolS}{b}{n}}}
+\DeclareOption{cmsy}{%
+  \def\Mn@Load@Cal@Font{%
+    \DeclareMathAlphabet\mathcal  {OMS}{cmsy}{m}{n}%
+    \SetMathAlphabet\mathcal{bold}{OMS}{cmsy}{b}{n}}}
+\DeclareOption{abx}{%
+  \def\Mn@Load@Cal@Font{%
+    \DeclareFontFamily{OT1}{mathc}{}%
+    \DeclareFontShape{OT1}{mathc}{m}{n}{ <-> mathcm10 }{}%
+    \DeclareFontShape{OT1}{mathc}{b}{n}{ <-> mathcb10 }{}%
+    \DeclareMathAlphabet\mathcal{OT1}{mathc}{m}{n}%
+    \SetMathAlphabet\mathcal{bold}{OT1}{mathc}{b}{n}}}
+%    \end{macrocode}
+%
+% Some symbols missing from MnSymbol can be obtained from other fonts or
+% by combining several other symbols.
+%
+%    \begin{macrocode}
+\newcommand*\Mn@Fake@Missing{
+  \@ifpackageloaded{textcomp}{}{\RequirePackage{textcomp}}
+  \@ifundefined{mathfrak}{\RequirePackage{eufrak}}{}
+
+  \DeclareRobustCommand{\dagger}{\Mn@Text@With@MathVersion{\textdagger}}
+  \DeclareRobustCommand{\ddagger}{\Mn@Text@With@MathVersion{\textdaggerdbl}}
+  \DeclareRobustCommand{\mathparagraph}{\Mn@Text@With@MathVersion{\textparagraph}}
+  \DeclareRobustCommand{\mathsection}{\Mn@Text@With@MathVersion{\textsection}}
+  \DeclareRobustCommand{\mathdollar}{\Mn@Text@With@MathVersion{\textdollar}}
+  \DeclareRobustCommand{\mathsterling}{\Mn@Text@With@MathVersion{\textsterling}}
+  \DeclareRobustCommand{\yen}{\Mn@Text@With@MathVersion{\textyen}}
+  \DeclareRobustCommand{\circledR}{\Mn@Text@With@MathVersion{\textcircled{%
+                                     \check@mathfonts\fontsize\sf@size\z@\math@fontsfalse\selectfont R}}}
+  \DeclareRobustCommand{\circledS}{\Mn@Text@With@MathVersion{\textcircled{%
+                                     \check@mathfonts\fontsize\sf@size\z@\math@fontsfalse\selectfont S}}}
+  \DeclareRobustCommand{\Re}{\mathfrak{R}}
+  \DeclareRobustCommand{\Im}{\mathfrak{I}}
+  \DeclareRobustCommand{\dotplus}{\dot{+}}
+  \DeclareRobustCommand{\thicksim}{\mathrel{\text{\boldmath$\m@th\sim$}}}
+  \DeclareRobustCommand{\thickapprox}{\mathrel{\text{\boldmath$\m@th\approx$}}}
+  \let\hbar\undefined
+  \let\hslash\undefined
+  % Hack for backward compatibility with the MinionPro package:
+  % If the package is loaded then we do not need to define \hbar.
+  \@ifpackageloaded{MinionPro}{}{%
+    \DeclareRobustCommand{\hbar}{\middlebar h}}
+  \DeclareRobustCommand{\hslash}{\middleslash h}
+
+  \let\lneq\nleq
+  \let\gneq\ngeq
+  \let\precneqq\npreceq
+  \let\succneqq\nsucceq
+  \DeclareRobustCommand\veebar{\mathbin{\underline{\vee}}}
+  \DeclareRobustCommand\barwedge{\mathbin{\overline{\wedge}}}
+  \DeclareRobustCommand\doublebarwedge{\mathbin{\overline{\overline{\wedge}}}}
+  \DeclareRobustCommand\centerdot{\mathbin{\rule{0.15em}{0.15em}}}
+  \DeclareRobustCommand\divideontimes{\mathbin{\ooalign{$\div$\crcr$\times$}}}
+%    \end{macrocode}
+%
+% MnSymbol lacks some symbols that are present in the Computer Modern or the AMS fonts.
+% In order to warn the user we undefine the corresponding commands.
+%
+% (a) Missing letters.
+%
+%    \begin{macrocode}
+  \let\eth\undefined
+  \let\digamma\undefined
+  \let\varkappa\undefined
+  \let\backepsilon\undefined
+
+  \let\mho\undefined
+  \let\Finv\undefined
+  \let\Game\undefined
+  \let\Bbbk\undefined
+%    \end{macrocode}
+%
+% (b) Unneeded partial symbols.
+%
+%    \begin{macrocode}
+  \let\mapstochar\undefined
+  \let\lhook\undefined
+  \let\rhook\undefined
+}
+\DeclareOption{retainmissing}{\let\Mn@Fake@Missing\relax}
+
+\ExecuteOptions{mnsy}
+\ProcessOptions\relax
+%    \end{macrocode}
+%
+% Loading external packages. But only if they are not already loaded
+% in order to avoid warning messages about loading a package twice
+% with different options.
+%
+%    \begin{macrocode}
+\@ifpackageloaded{amsmath}{}{\RequirePackage{amsmath}}
+\Mn@Fake@Missing
+%    \end{macrocode}
+%
+% Short hands to simplify the definitions below.
+%
+%    \begin{macrocode}
+\def\Set@Mn@Sym#1{\@tempcnta #1\relax}
+\def\Next@Mn@Sym{\advance\@tempcnta 1\relax}
+\def\Prev@Mn@Sym{\advance\@tempcnta-1\relax}
+
+\def\@Decl@Mn@Sym#1#2#3#4{\DeclareMathSymbol{#2}{#3}{#4}{#1}}
+\def\Decl@Mn@Sym#1#2#3{%
+  \if\relax\noexpand#1%
+    \let#1\undefined
+  \fi
+  \expandafter\@Decl@Mn@Sym\expandafter{\the\@tempcnta}{#1}{#3}{#2}%
+  \Next@Mn@Sym}
+\def\Decl@Mn@Alias#1#2#3{\Prev@Mn@Sym\Decl@Mn@Sym{#1}{#2}{#3}}
+\let\Decl@Mn@Char\Decl@Mn@Sym
+\def\Decl@Mn@Op#1#2#3{\def#1{\DOTSB#3\slimits@}}
+\def\Decl@Mn@Int#1#2#3{\def#1{\DOTSI#3\ilimits@}}
+
+\def\Decl@Mn@Delim#1#2#3#4{%
+  \if\relax\noexpand#1%
+    \let#1\undefined
+  \fi
+  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
+\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
+\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
+%    \end{macrocode}
+%
+% Font definitions.
+%
+%    \begin{macrocode}
+\DeclareFontFamily{U}  {MnSymbolA}{}
+\DeclareFontFamily{U}  {MnSymbolB}{}
+\DeclareFontFamily{U}  {MnSymbolC}{}
+\DeclareFontFamily{U}  {MnSymbolD}{}
+\DeclareFontFamily{OMX}{MnSymbolE}{}
+\DeclareFontFamily{U}  {MnSymbolF}{}
+\DeclareFontFamily{OMS}{MnSymbolS}{\skewchar\font=0}
+\DeclareSymbolFont{MnSyA}         {U}  {MnSymbolA}{m}{n}
+\DeclareSymbolFont{MnSyB}         {U}  {MnSymbolB}{m}{n}
+\DeclareSymbolFont{MnSyC}         {U}  {MnSymbolC}{m}{n}
+\DeclareSymbolFont{MnSyD}         {U}  {MnSymbolD}{m}{n}
+\DeclareSymbolFont{largesymbols}  {OMX}{MnSymbolE}{m}{n}
+\DeclareSymbolFont{symbols}       {U}  {MnSymbolF}{m}{n}
+\SetSymbolFont{MnSyA}       {bold}{U}  {MnSymbolA}{b}{n}
+\SetSymbolFont{MnSyB}       {bold}{U}  {MnSymbolB}{b}{n}
+\SetSymbolFont{MnSyC}       {bold}{U}  {MnSymbolC}{b}{n}
+\SetSymbolFont{MnSyD}       {bold}{U}  {MnSymbolD}{b}{n}
+\SetSymbolFont{largesymbols}{bold}{OMX}{MnSymbolE}{b}{n}
+\SetSymbolFont{symbols}     {bold}{U}  {MnSymbolF}{b}{n}
+
+\DeclareFontShape{U}{MnSymbolA}{m}{n}{
+    <-6>  MnSymbolA5
+   <6-7>  MnSymbolA6
+   <7-8>  MnSymbolA7
+   <8-9>  MnSymbolA8
+   <9-10> MnSymbolA9
+  <10-12> MnSymbolA10
+  <12->   MnSymbolA12}{}
+\DeclareFontShape{U}{MnSymbolA}{b}{n}{
+    <-6>  MnSymbolA-Bold5
+   <6-7>  MnSymbolA-Bold6
+   <7-8>  MnSymbolA-Bold7
+   <8-9>  MnSymbolA-Bold8
+   <9-10> MnSymbolA-Bold9
+  <10-12> MnSymbolA-Bold10
+  <12->   MnSymbolA-Bold12}{}
+\DeclareFontShape{U}{MnSymbolB}{m}{n}{
+    <-6>  MnSymbolB5
+   <6-7>  MnSymbolB6
+   <7-8>  MnSymbolB7
+   <8-9>  MnSymbolB8
+   <9-10> MnSymbolB9
+  <10-12> MnSymbolB10
+  <12->   MnSymbolB12}{}
+\DeclareFontShape{U}{MnSymbolB}{b}{n}{
+    <-6>  MnSymbolB-Bold5
+   <6-7>  MnSymbolB-Bold6
+   <7-8>  MnSymbolB-Bold7
+   <8-9>  MnSymbolB-Bold8
+   <9-10> MnSymbolB-Bold9
+  <10-12> MnSymbolB-Bold10
+  <12->   MnSymbolB-Bold12}{}
+\DeclareFontShape{U}{MnSymbolC}{m}{n}{
+    <-6>  MnSymbolC5
+   <6-7>  MnSymbolC6
+   <7-8>  MnSymbolC7
+   <8-9>  MnSymbolC8
+   <9-10> MnSymbolC9
+  <10-12> MnSymbolC10
+  <12->   MnSymbolC12}{}
+\DeclareFontShape{U}{MnSymbolC}{b}{n}{
+    <-6>  MnSymbolC-Bold5
+   <6-7>  MnSymbolC-Bold6
+   <7-8>  MnSymbolC-Bold7
+   <8-9>  MnSymbolC-Bold8
+   <9-10> MnSymbolC-Bold9
+  <10-12> MnSymbolC-Bold10
+  <12->   MnSymbolC-Bold12}{}
+\DeclareFontShape{U}{MnSymbolD}{m}{n}{
+    <-6>  MnSymbolD5
+   <6-7>  MnSymbolD6
+   <7-8>  MnSymbolD7
+   <8-9>  MnSymbolD8
+   <9-10> MnSymbolD9
+  <10-12> MnSymbolD10
+  <12->   MnSymbolD12}{}
+\DeclareFontShape{U}{MnSymbolD}{b}{n}{
+    <-6>  MnSymbolD-Bold5
+   <6-7>  MnSymbolD-Bold6
+   <7-8>  MnSymbolD-Bold7
+   <8-9>  MnSymbolD-Bold8
+   <9-10> MnSymbolD-Bold9
+  <10-12> MnSymbolD-Bold10
+  <12->   MnSymbolD-Bold12}{}
+\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
+    <-6>  MnSymbolE5
+   <6-7>  MnSymbolE6
+   <7-8>  MnSymbolE7
+   <8-9>  MnSymbolE8
+   <9-10> MnSymbolE9
+  <10-12> MnSymbolE10
+  <12->   MnSymbolE12}{}
+\DeclareFontShape{OMX}{MnSymbolE}{b}{n}{
+    <-6>  MnSymbolE-Bold5
+   <6-7>  MnSymbolE-Bold6
+   <7-8>  MnSymbolE-Bold7
+   <8-9>  MnSymbolE-Bold8
+   <9-10> MnSymbolE-Bold9
+  <10-12> MnSymbolE-Bold10
+  <12->   MnSymbolE-Bold12}{}
+\DeclareFontShape{U}{MnSymbolF}{m}{n}{
+    <-6>  MnSymbolF5
+   <6-7>  MnSymbolF6
+   <7-8>  MnSymbolF7
+   <8-9>  MnSymbolF8
+   <9-10> MnSymbolF9
+  <10-12> MnSymbolF10
+  <12->   MnSymbolF12}{}
+\DeclareFontShape{U}{MnSymbolF}{b}{n}{
+    <-6>  MnSymbolF-Bold5
+   <6-7>  MnSymbolF-Bold6
+   <7-8>  MnSymbolF-Bold7
+   <8-9>  MnSymbolF-Bold8
+   <9-10> MnSymbolF-Bold9
+  <10-12> MnSymbolF-Bold10
+  <12->   MnSymbolF-Bold12}{}
+\DeclareFontShape{OMS}{MnSymbolS}{m}{n}{
+    <-6>  MnSymbolS5
+   <6-7>  MnSymbolS6
+   <7-8>  MnSymbolS7
+   <8-9>  MnSymbolS8
+   <9-10> MnSymbolS9
+  <10-12> MnSymbolS10
+  <12->   MnSymbolS12}{}
+\DeclareFontShape{OMS}{MnSymbolS}{b}{n}{
+    <-6>  MnSymbolS-Bold5
+   <6-7>  MnSymbolS-Bold6
+   <7-8>  MnSymbolS-Bold7
+   <8-9>  MnSymbolS-Bold8
+   <9-10> MnSymbolS-Bold9
+  <10-12> MnSymbolS-Bold10
+  <12->   MnSymbolS-Bold12}{}
+
+\Mn@Load@Cal@Font
+%    \end{macrocode}
+%
+% A command to take math symbols from text fonts.
+%
+%    \begin{macrocode}
+\def\Mn@Bold{bold}
+\def\Mn@Text@With@MathVersion#1{
+  \ifx\Mn@Bold\math@version
+    \text{\bfseries#1}%
+  \else
+    \text{\mdseries#1}%
+  \fi}
+%    \end{macrocode}
+%
+% MnSymbolA\?: arrows.
+%
+%    \begin{macrocode}
+\Set@Mn@Sym{0}
+\Decl@Mn@Char\rightarrow             {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\to                  {MnSyA}{\mathrel}
+\Decl@Mn@Char\uparrow                {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftarrow              {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\gets                {MnSyA}{\mathrel}
+\Decl@Mn@Char\downarrow              {MnSyA}{\mathrel}
+\Decl@Mn@Char\nearrow                {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwarrow                {MnSyA}{\mathrel}
+\Decl@Mn@Char\swarrow                {MnSyA}{\mathrel}
+\Decl@Mn@Char\searrow                {MnSyA}{\mathrel}
+\Decl@Mn@Char\Rightarrow             {MnSyA}{\mathrel}
+\Decl@Mn@Char\Uparrow                {MnSyA}{\mathrel}
+\Decl@Mn@Char\Leftarrow              {MnSyA}{\mathrel}
+\Decl@Mn@Char\Downarrow              {MnSyA}{\mathrel}
+\Decl@Mn@Char\Nearrow                {MnSyA}{\mathrel}
+\Decl@Mn@Char\Nwarrow                {MnSyA}{\mathrel}
+\Decl@Mn@Char\Swarrow                {MnSyA}{\mathrel}
+\Decl@Mn@Char\Searrow                {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftrightarrow         {MnSyA}{\mathrel}
+\Decl@Mn@Char\updownarrow            {MnSyA}{\mathrel}
+\Decl@Mn@Char\neswarrow              {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwsearrow              {MnSyA}{\mathrel}
+\Decl@Mn@Char\Leftrightarrow         {MnSyA}{\mathrel}
+\Decl@Mn@Char\Updownarrow            {MnSyA}{\mathrel}
+\Decl@Mn@Char\Neswarrow              {MnSyA}{\mathrel}
+\Decl@Mn@Char\Nwsearrow              {MnSyA}{\mathrel}
+\Decl@Mn@Char\twoheadrightarrow      {MnSyA}{\mathrel}
+\Decl@Mn@Char\twoheaduparrow         {MnSyA}{\mathrel}
+\Decl@Mn@Char\twoheadleftarrow       {MnSyA}{\mathrel}
+\Decl@Mn@Char\twoheaddownarrow       {MnSyA}{\mathrel}
+\Decl@Mn@Char\twoheadnearrow         {MnSyA}{\mathrel}
+\Decl@Mn@Char\twoheadnwarrow         {MnSyA}{\mathrel}
+\Decl@Mn@Char\twoheadswarrow         {MnSyA}{\mathrel}
+\Decl@Mn@Char\twoheadsearrow         {MnSyA}{\mathrel}
+\Decl@Mn@Char\rightarrowtail         {MnSyA}{\mathrel}
+\Decl@Mn@Char\uparrowtail            {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftarrowtail          {MnSyA}{\mathrel}
+\Decl@Mn@Char\downarrowtail          {MnSyA}{\mathrel}
+\Decl@Mn@Char\nearrowtail            {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwarrowtail            {MnSyA}{\mathrel}
+\Decl@Mn@Char\swarrowtail            {MnSyA}{\mathrel}
+\Decl@Mn@Char\searrowtail            {MnSyA}{\mathrel}
+\Decl@Mn@Char\rightmapsto            {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\mapsto              {MnSyA}{\mathrel}
+\Decl@Mn@Char\upmapsto               {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftmapsto             {MnSyA}{\mathrel}
+\Decl@Mn@Char\downmapsto             {MnSyA}{\mathrel}
+\Decl@Mn@Char\nemapsto               {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwmapsto               {MnSyA}{\mathrel}
+\Decl@Mn@Char\swmapsto               {MnSyA}{\mathrel}
+\Decl@Mn@Char\semapsto               {MnSyA}{\mathrel}
+\Decl@Mn@Char\lhookrightarrow        {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\hookrightarrow      {MnSyA}{\mathrel}
+\Decl@Mn@Char\lhookuparrow           {MnSyA}{\mathrel}
+\Decl@Mn@Char\lhookleftarrow         {MnSyA}{\mathrel}
+\Decl@Mn@Char\lhookdownarrow         {MnSyA}{\mathrel}
+\Decl@Mn@Char\lhooknearrow           {MnSyA}{\mathrel}
+\Decl@Mn@Char\lhooknwarrow           {MnSyA}{\mathrel}
+\Decl@Mn@Char\lhookswarrow           {MnSyA}{\mathrel}
+\Decl@Mn@Char\lhooksearrow           {MnSyA}{\mathrel}
+\Decl@Mn@Char\rhookrightarrow        {MnSyA}{\mathrel}
+\Decl@Mn@Char\rhookuparrow           {MnSyA}{\mathrel}
+\Decl@Mn@Char\rhookleftarrow         {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\hookleftarrow       {MnSyA}{\mathrel}
+\Decl@Mn@Char\rhookdownarrow         {MnSyA}{\mathrel}
+\Decl@Mn@Char\rhooknearrow           {MnSyA}{\mathrel}
+\Decl@Mn@Char\rhooknwarrow           {MnSyA}{\mathrel}
+\Decl@Mn@Char\rhookswarrow           {MnSyA}{\mathrel}
+\Decl@Mn@Char\rhooksearrow           {MnSyA}{\mathrel}
+\Decl@Mn@Char\rightharpoonccw        {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\rightharpoonup      {MnSyA}{\mathrel}
+\Decl@Mn@Char\upharpoonccw           {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\upharpoonleft       {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftharpoonccw         {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\leftharpoondown     {MnSyA}{\mathrel}
+\Decl@Mn@Char\downharpoonccw         {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\downharpoonright    {MnSyA}{\mathrel}
+\Decl@Mn@Char\neharpoonccw           {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwharpoonccw           {MnSyA}{\mathrel}
+\Decl@Mn@Char\swharpoonccw           {MnSyA}{\mathrel}
+\Decl@Mn@Char\seharpoonccw           {MnSyA}{\mathrel}
+\Decl@Mn@Char\rightharpooncw         {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\rightharpoondown    {MnSyA}{\mathrel}
+\Decl@Mn@Char\upharpooncw            {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\upharpoonright      {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\restriction         {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftharpooncw          {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\leftharpoonup       {MnSyA}{\mathrel}
+\Decl@Mn@Char\downharpooncw          {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\downharpoonleft     {MnSyA}{\mathrel}
+\Decl@Mn@Char\neharpooncw            {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwharpooncw            {MnSyA}{\mathrel}
+\Decl@Mn@Char\swharpooncw            {MnSyA}{\mathrel}
+\Decl@Mn@Char\seharpooncw            {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftrightharpoonupdown {MnSyA}{\mathrel}
+\Decl@Mn@Char\updownharpoonleftright {MnSyA}{\mathrel}
+\Decl@Mn@Char\neswharpoonnwse        {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwseharpoonnesw        {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftrightharpoondownup {MnSyA}{\mathrel}
+\Decl@Mn@Char\updownharpoonrightleft {MnSyA}{\mathrel}
+\Decl@Mn@Char\neswharpoonsenw        {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwseharpoonswne        {MnSyA}{\mathrel}
+\Decl@Mn@Char\rightleftharpoons      {MnSyA}{\mathrel}
+\Decl@Mn@Char\updownharpoons         {MnSyA}{\mathrel}
+\Decl@Mn@Char\neswharpoons           {MnSyA}{\mathrel}
+\Decl@Mn@Char\senwharpoons           {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftrightharpoons      {MnSyA}{\mathrel}
+\Decl@Mn@Char\downupharpoons         {MnSyA}{\mathrel}
+\Decl@Mn@Char\swneharpoons           {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwseharpoons           {MnSyA}{\mathrel}
+\Decl@Mn@Char\dashedrightarrow       {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\dashrightarrow      {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\dasharrow           {MnSyA}{\mathrel}
+\Decl@Mn@Char\dasheduparrow          {MnSyA}{\mathrel}
+\Decl@Mn@Char\dashedleftarrow        {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\dashleftarrow       {MnSyA}{\mathrel}
+\Decl@Mn@Char\dasheddownarrow        {MnSyA}{\mathrel}
+\Decl@Mn@Char\dashednearrow          {MnSyA}{\mathrel}
+\Decl@Mn@Char\dashednwarrow          {MnSyA}{\mathrel}
+\Decl@Mn@Char\dashedswarrow          {MnSyA}{\mathrel}
+\Decl@Mn@Char\dashedsearrow          {MnSyA}{\mathrel}
+\Decl@Mn@Char\rightspoon             {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\multimap            {MnSyA}{\mathrel}
+\Decl@Mn@Char\upspoon                {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftspoon              {MnSyA}{\mathrel}
+\Decl@Mn@Char\downspoon              {MnSyA}{\mathrel}
+\Decl@Mn@Char\nespoon                {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwspoon                {MnSyA}{\mathrel}
+\Decl@Mn@Char\swspoon                {MnSyA}{\mathrel}
+\Decl@Mn@Char\sespoon                {MnSyA}{\mathrel}
+\Decl@Mn@Char\rightfilledspoon       {MnSyA}{\mathrel}
+\Decl@Mn@Char\upfilledspoon          {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftfilledspoon        {MnSyA}{\mathrel}
+\Decl@Mn@Char\downfilledspoon        {MnSyA}{\mathrel}
+\Decl@Mn@Char\nefilledspoon          {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwfilledspoon          {MnSyA}{\mathrel}
+\Decl@Mn@Char\swfilledspoon          {MnSyA}{\mathrel}
+\Decl@Mn@Char\sefilledspoon          {MnSyA}{\mathrel}
+\Decl@Mn@Char\rightfootline          {MnSyA}{\mathrel}
+\Decl@Mn@Char\upfootline             {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftfootline           {MnSyA}{\mathrel}
+\Decl@Mn@Char\downfootline           {MnSyA}{\mathrel}
+\Decl@Mn@Char\nefootline             {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwfootline             {MnSyA}{\mathrel}
+\Decl@Mn@Char\swfootline             {MnSyA}{\mathrel}
+\Decl@Mn@Char\sefootline             {MnSyA}{\mathrel}
+\Decl@Mn@Char\rightfree              {MnSyA}{\mathrel}
+\Decl@Mn@Char\upfree                 {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftfree               {MnSyA}{\mathrel}
+\Decl@Mn@Char\downfree               {MnSyA}{\mathrel}
+\Decl@Mn@Char\nefree                 {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwfree                 {MnSyA}{\mathrel}
+\Decl@Mn@Char\swfree                 {MnSyA}{\mathrel}
+\Decl@Mn@Char\sefree                 {MnSyA}{\mathrel}
+\Decl@Mn@Char\rightpitchfork         {MnSyA}{\mathrel}
+\Decl@Mn@Char\uppitchfork            {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\pitchfork           {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftpitchfork          {MnSyA}{\mathrel}
+\Decl@Mn@Char\downpitchfork          {MnSyA}{\mathrel}
+\Decl@Mn@Char\nepitchfork            {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwpitchfork            {MnSyA}{\mathrel}
+\Decl@Mn@Char\swpitchfork            {MnSyA}{\mathrel}
+\Decl@Mn@Char\sepitchfork            {MnSyA}{\mathrel}
+\Decl@Mn@Char\rightrightarrows       {MnSyA}{\mathrel}
+\Decl@Mn@Char\upuparrows             {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftleftarrows         {MnSyA}{\mathrel}
+\Decl@Mn@Char\downdownarrows         {MnSyA}{\mathrel}
+\Decl@Mn@Char\nenearrows             {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwnwarrows             {MnSyA}{\mathrel}
+\Decl@Mn@Char\swswarrows             {MnSyA}{\mathrel}
+\Decl@Mn@Char\sesearrows             {MnSyA}{\mathrel}
+\Decl@Mn@Char\rightleftarrows        {MnSyA}{\mathrel}
+\Decl@Mn@Char\updownarrows           {MnSyA}{\mathrel}
+\Decl@Mn@Char\neswarrows             {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwsearrows             {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftrightarrows        {MnSyA}{\mathrel}
+\Decl@Mn@Char\downuparrows           {MnSyA}{\mathrel}
+\Decl@Mn@Char\swnearrows             {MnSyA}{\mathrel}
+\Decl@Mn@Char\senwarrows             {MnSyA}{\mathrel}
+\Decl@Mn@Char\rightlsquigarrow       {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\leadsto             {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\rightsquigarrow     {MnSyA}{\mathrel}
+\Decl@Mn@Char\uplsquigarrow          {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftlsquigarrow        {MnSyA}{\mathrel}
+\Decl@Mn@Char\downlsquigarrow        {MnSyA}{\mathrel}
+\Decl@Mn@Char\nelsquigarrow          {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwlsquigarrow          {MnSyA}{\mathrel}
+\Decl@Mn@Char\swlsquigarrow          {MnSyA}{\mathrel}
+\Decl@Mn@Char\selsquigarrow          {MnSyA}{\mathrel}
+\Decl@Mn@Char\rightrsquigarrow       {MnSyA}{\mathrel}
+\Decl@Mn@Char\uprsquigarrow          {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftrsquigarrow        {MnSyA}{\mathrel}
+\Decl@Mn@Char\downrsquigarrow        {MnSyA}{\mathrel}
+\Decl@Mn@Char\nersquigarrow          {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwrsquigarrow          {MnSyA}{\mathrel}
+\Decl@Mn@Char\swrsquigarrow          {MnSyA}{\mathrel}
+\Decl@Mn@Char\sersquigarrow          {MnSyA}{\mathrel}
+\Decl@Mn@Char\squigarrowleftright    {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\leftrightsquigarrow {MnSyA}{\mathrel}
+\Decl@Mn@Char\squigarrowupdown       {MnSyA}{\mathrel}
+\Decl@Mn@Char\squigarrowrightleft    {MnSyA}{\mathrel}
+\Decl@Mn@Char\squigarrowdownup       {MnSyA}{\mathrel}
+\Decl@Mn@Char\squigarrownesw         {MnSyA}{\mathrel}
+\Decl@Mn@Char\squigarrownwse         {MnSyA}{\mathrel}
+\Decl@Mn@Char\squigarrowswne         {MnSyA}{\mathrel}
+\Decl@Mn@Char\squigarrowsenw         {MnSyA}{\mathrel}
+\Decl@Mn@Char\lcurvearrowright       {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\curvearrowright     {MnSyA}{\mathrel}
+\Decl@Mn@Char\lcurvearrowup          {MnSyA}{\mathrel}
+\Decl@Mn@Char\lcurvearrowleft        {MnSyA}{\mathrel}
+\Decl@Mn@Char\lcurvearrowdown        {MnSyA}{\mathrel}
+\Decl@Mn@Char\lcurvearrowne          {MnSyA}{\mathrel}
+\Decl@Mn@Char\lcurvearrownw          {MnSyA}{\mathrel}
+\Decl@Mn@Char\lcurvearrowsw          {MnSyA}{\mathrel}
+\Decl@Mn@Char\lcurvearrowse          {MnSyA}{\mathrel}
+\Decl@Mn@Char\rcurvearrowright       {MnSyA}{\mathrel}
+\Decl@Mn@Char\rcurvearrowup          {MnSyA}{\mathrel}
+\Decl@Mn@Char\rcurvearrowleft        {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\curvearrowleft      {MnSyA}{\mathrel}
+\Decl@Mn@Char\rcurvearrowdown        {MnSyA}{\mathrel}
+\Decl@Mn@Char\rcurvearrowne          {MnSyA}{\mathrel}
+\Decl@Mn@Char\rcurvearrownw          {MnSyA}{\mathrel}
+\Decl@Mn@Char\rcurvearrowsw          {MnSyA}{\mathrel}
+\Decl@Mn@Char\rcurvearrowse          {MnSyA}{\mathrel}
+\Decl@Mn@Char\curvearrowleftright    {MnSyA}{\mathrel}
+\Decl@Mn@Char\curvearrowupdown       {MnSyA}{\mathrel}
+\Decl@Mn@Char\curvearrowrightleft    {MnSyA}{\mathrel}
+\Decl@Mn@Char\curvearrowdownup       {MnSyA}{\mathrel}
+\Decl@Mn@Char\curvearrownesw         {MnSyA}{\mathrel}
+\Decl@Mn@Char\curvearrownwse         {MnSyA}{\mathrel}
+\Decl@Mn@Char\curvearrowswne         {MnSyA}{\mathrel}
+\Decl@Mn@Char\curvearrowsenw         {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftrightline          {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\relbar              {MnSyA}{\mathrel}
+\Decl@Mn@Char\updownline             {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\divides             {MnSyA}{\mathrel}
+\Decl@Mn@Char\neswline               {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\diagup              {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwseline               {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\diagdown            {MnSyA}{\mathrel}
+\Decl@Mn@Char\Leftrightline          {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\Relbar              {MnSyA}{\mathrel}
+\Decl@Mn@Char\Updownline             {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\parallel            {MnSyA}{\mathrel}
+\Decl@Mn@Char\Neswline               {MnSyA}{\mathrel}
+\Decl@Mn@Char\Nwseline               {MnSyA}{\mathrel}
+\Decl@Mn@Char\rightvdash             {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\vdash               {MnSyA}{\mathrel}
+\Decl@Mn@Char\upvdash                {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\perp                {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftvdash              {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\dashv               {MnSyA}{\mathrel}
+\Decl@Mn@Char\downvdash              {MnSyA}{\mathrel}
+\Decl@Mn@Char\nevdash                {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwvdash                {MnSyA}{\mathrel}
+\Decl@Mn@Char\swvdash                {MnSyA}{\mathrel}
+\Decl@Mn@Char\sevdash                {MnSyA}{\mathrel}
+\Decl@Mn@Char\rightmodels            {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\models              {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\vDash               {MnSyA}{\mathrel}
+\Decl@Mn@Char\upmodels               {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftmodels             {MnSyA}{\mathrel}
+\Decl@Mn@Char\downmodels             {MnSyA}{\mathrel}
+\Decl@Mn@Char\nemodels               {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwmodels               {MnSyA}{\mathrel}
+\Decl@Mn@Char\swmodels               {MnSyA}{\mathrel}
+\Decl@Mn@Char\semodels               {MnSyA}{\mathrel}
+\Decl@Mn@Char\rightVdash             {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\Vdash               {MnSyA}{\mathrel}
+\Decl@Mn@Char\upVdash                {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftVdash              {MnSyA}{\mathrel}
+\Decl@Mn@Char\downVdash              {MnSyA}{\mathrel}
+\Decl@Mn@Char\neVdash                {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwVdash                {MnSyA}{\mathrel}
+\Decl@Mn@Char\swVdash                {MnSyA}{\mathrel}
+\Decl@Mn@Char\seVdash                {MnSyA}{\mathrel}
+\Decl@Mn@Char\rightModels            {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\VDash               {MnSyA}{\mathrel}
+\Decl@Mn@Char\upModels               {MnSyA}{\mathrel}
+\Decl@Mn@Char\leftModels             {MnSyA}{\mathrel}
+\Decl@Mn@Char\downModels             {MnSyA}{\mathrel}
+\Decl@Mn@Char\neModels               {MnSyA}{\mathrel}
+\Decl@Mn@Char\nwModels               {MnSyA}{\mathrel}
+\Decl@Mn@Char\swModels               {MnSyA}{\mathrel}
+\Decl@Mn@Char\seModels               {MnSyA}{\mathrel}
+\Decl@Mn@Char\rcirclearrowright      {MnSyA}{\mathrel}
+\Decl@Mn@Char\rcirclearrowup         {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\circlearrowleft     {MnSyA}{\mathrel}
+\Decl@Mn@Char\rcirclearrowleft       {MnSyA}{\mathrel}
+\Decl@Mn@Char\rcirclearrowdown       {MnSyA}{\mathrel}
+\Decl@Mn@Char\lcirclearrowright      {MnSyA}{\mathrel}
+\Decl@Mn@Char\lcirclearrowup         {MnSyA}{\mathrel}
+  \Decl@Mn@Alias\circlearrowright    {MnSyA}{\mathrel}
+\Decl@Mn@Char\lcirclearrowleft       {MnSyA}{\mathrel}
+\Decl@Mn@Char\lcirclearrowdown       {MnSyA}{\mathrel}
+
+\let\joinrel\undefined
+\DeclareRobustCommand\joinrel{\mathrel{\mkern-3.1mu}}
+\DeclareRobustCommand\longrightarrow{\DOTSB\leftrightline\joinrel\rightarrow}
+\DeclareRobustCommand\longleftarrow{\DOTSB\leftarrow\joinrel\leftrightline}
+\DeclareRobustCommand\longleftrightarrow{\DOTSB\leftarrow\joinrel\rightarrow}
+\DeclareRobustCommand\Longrightarrow{\DOTSB\Leftrightline\joinrel\Rightarrow}
+\DeclareRobustCommand\Longleftarrow{\DOTSB\Leftarrow\joinrel\Leftrightline}
+\DeclareRobustCommand\Longleftrightarrow{\DOTSB\Leftarrow\joinrel\Rightarrow}
+\DeclareRobustCommand\longmapsto{\DOTSB\leftfootline\joinrel\rightarrow}
+\DeclareRobustCommand\emptyfilledspoon{\DOTSB\leftspoon\mkern-14mu\rightfilledspoon}
+\DeclareRobustCommand\filledemptyspoon{\DOTSB\leftfilledspoon\mkern-14mu\rightspoon}
+\DeclareRobustCommand\largeemptyfilledspoon{\DOTSB\mathrel{\circ\mkern-8mu\relbar\mkern-8mu\bullet}}
+\DeclareRobustCommand\largefilledemptyspoon{\DOTSB\mathrel{\bullet\mkern-8mu\relbar\mkern-8mu\circ}}
+%    \end{macrocode}
+%
+% MnSymbolB\?: stroked arrows.
+%
+%    \begin{macrocode}
+\Set@Mn@Sym{0}
+\Decl@Mn@Char\nrightarrow            {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nto                 {MnSyB}{\mathrel}
+\Decl@Mn@Char\nuparrow               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftarrow             {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\ngets               {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndownarrow             {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnearrow               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwarrow               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nswarrow               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nsearrow               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nRightarrow            {MnSyB}{\mathrel}
+\Decl@Mn@Char\nUparrow               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nLeftarrow             {MnSyB}{\mathrel}
+\Decl@Mn@Char\nDownarrow             {MnSyB}{\mathrel}
+\Decl@Mn@Char\nNearrow               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nNwarrow               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nSwarrow               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nSearrow               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftrightarrow        {MnSyB}{\mathrel}
+\Decl@Mn@Char\nupdownarrow           {MnSyB}{\mathrel}
+\Decl@Mn@Char\nneswarrow             {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwsearrow             {MnSyB}{\mathrel}
+\Decl@Mn@Char\nLeftrightarrow        {MnSyB}{\mathrel}
+\Decl@Mn@Char\nUpdownarrow           {MnSyB}{\mathrel}
+\Decl@Mn@Char\nNeswarrow             {MnSyB}{\mathrel}
+\Decl@Mn@Char\nNwsearrow             {MnSyB}{\mathrel}
+\Decl@Mn@Char\ntwoheadrightarrow     {MnSyB}{\mathrel}
+\Decl@Mn@Char\ntwoheaduparrow        {MnSyB}{\mathrel}
+\Decl@Mn@Char\ntwoheadleftarrow      {MnSyB}{\mathrel}
+\Decl@Mn@Char\ntwoheaddownarrow      {MnSyB}{\mathrel}
+\Decl@Mn@Char\ntwoheadnearrow        {MnSyB}{\mathrel}
+\Decl@Mn@Char\ntwoheadnwarrow        {MnSyB}{\mathrel}
+\Decl@Mn@Char\ntwoheadswarrow        {MnSyB}{\mathrel}
+\Decl@Mn@Char\ntwoheadsearrow        {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrightarrowtail        {MnSyB}{\mathrel}
+\Decl@Mn@Char\nuparrowtail           {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftarrowtail         {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndownarrowtail         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnearrowtail           {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwarrowtail           {MnSyB}{\mathrel}
+\Decl@Mn@Char\nswarrowtail           {MnSyB}{\mathrel}
+\Decl@Mn@Char\nsearrowtail           {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrightmapsto           {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nmapsto             {MnSyB}{\mathrel}
+\Decl@Mn@Char\nupmapsto              {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftmapsto            {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndownmapsto            {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnemapsto              {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwmapsto              {MnSyB}{\mathrel}
+\Decl@Mn@Char\nswmapsto              {MnSyB}{\mathrel}
+\Decl@Mn@Char\nsemapsto              {MnSyB}{\mathrel}
+\Decl@Mn@Char\nlhookrightarrow       {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nhookrightarrow     {MnSyB}{\mathrel}
+\Decl@Mn@Char\nlhookuparrow          {MnSyB}{\mathrel}
+\Decl@Mn@Char\nlhookleftarrow        {MnSyB}{\mathrel}
+\Decl@Mn@Char\nlhookdownarrow        {MnSyB}{\mathrel}
+\Decl@Mn@Char\nlhooknearrow          {MnSyB}{\mathrel}
+\Decl@Mn@Char\nlhooknwarrow          {MnSyB}{\mathrel}
+\Decl@Mn@Char\nlhookswarrow          {MnSyB}{\mathrel}
+\Decl@Mn@Char\nlhooksearrow          {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrhookrightarrow       {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrhookuparrow          {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrhookleftarrow        {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nhookleftarrow      {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrhookdownarrow        {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrhooknearrow          {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrhooknwarrow          {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrhookswarrow          {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrhooksearrow          {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrightharpoonccw       {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nrightharpoonup     {MnSyB}{\mathrel}
+\Decl@Mn@Char\nupharpoonccw          {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nupharpoonleft      {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftharpoonccw        {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nleftharpoondown    {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndownharpoonccw        {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\ndownharpoonright   {MnSyB}{\mathrel}
+\Decl@Mn@Char\nneharpoonccw          {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwharpoonccw          {MnSyB}{\mathrel}
+\Decl@Mn@Char\nswharpoonccw          {MnSyB}{\mathrel}
+\Decl@Mn@Char\nseharpoonccw          {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrightharpooncw        {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nrightharpoondown   {MnSyB}{\mathrel}
+\Decl@Mn@Char\nupharpooncw           {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nupharpoonright     {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nrestriction        {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftharpooncw         {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nleftharpoonup      {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndownharpooncw         {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\ndownharpoonleft    {MnSyB}{\mathrel}
+\Decl@Mn@Char\nneharpooncw           {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwharpooncw           {MnSyB}{\mathrel}
+\Decl@Mn@Char\nswharpooncw           {MnSyB}{\mathrel}
+\Decl@Mn@Char\nseharpooncw           {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftrightharpoonupdown{MnSyB}{\mathrel}
+\Decl@Mn@Char\nupdownharpoonleftright{MnSyB}{\mathrel}
+\Decl@Mn@Char\nneswharpoonnwse       {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwseharpoonnesw       {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftrightharpoondownup{MnSyB}{\mathrel}
+\Decl@Mn@Char\nupdownharpoonrightleft{MnSyB}{\mathrel}
+\Decl@Mn@Char\nneswharpoonsenw       {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwseharpoonswne       {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrightleftharpoons     {MnSyB}{\mathrel}
+\Decl@Mn@Char\nupdownharpoons        {MnSyB}{\mathrel}
+\Decl@Mn@Char\nneswharpoons          {MnSyB}{\mathrel}
+\Decl@Mn@Char\nsenwharpoons          {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftrightharpoons     {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndownupharpoons        {MnSyB}{\mathrel}
+\Decl@Mn@Char\nswneharpoons          {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwseharpoons          {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndashedrightarrow      {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\ndashrightarrow     {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\ndasharrow          {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndasheduparrow         {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndashedleftarrow       {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\ndashleftarrow      {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndasheddownarrow       {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndashednearrow         {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndashednwarrow         {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndashedswarrow         {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndashedsearrow         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrightspoon            {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nmultimap           {MnSyB}{\mathrel}
+\Decl@Mn@Char\nupspoon               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftspoon             {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndownspoon             {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnespoon               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwspoon               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nswspoon               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nsespoon               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrightfilledspoon      {MnSyB}{\mathrel}
+\Decl@Mn@Char\nupfilledspoon         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftfilledspoon       {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndownfilledspoon       {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnefilledspoon         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwfilledspoon         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nswfilledspoon         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nsefilledspoon         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrightfootline         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nupfootline            {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftfootline          {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndownfootline          {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnefootline            {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwfootline            {MnSyB}{\mathrel}
+\Decl@Mn@Char\nswfootline            {MnSyB}{\mathrel}
+\Decl@Mn@Char\nsefootline            {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrightfree             {MnSyB}{\mathrel}
+\Decl@Mn@Char\nupfree                {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftfree              {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndownfree              {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnefree                {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwfree                {MnSyB}{\mathrel}
+\Decl@Mn@Char\nswfree                {MnSyB}{\mathrel}
+\Decl@Mn@Char\nsefree                {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrightpitchfork        {MnSyB}{\mathrel}
+\Decl@Mn@Char\nuppitchfork           {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\npitchfork          {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftpitchfork         {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndownpitchfork         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnepitchfork           {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwpitchfork           {MnSyB}{\mathrel}
+\Decl@Mn@Char\nswpitchfork           {MnSyB}{\mathrel}
+\Decl@Mn@Char\nsepitchfork           {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrightrightarrows      {MnSyB}{\mathrel}
+\Decl@Mn@Char\nupuparrows            {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftleftarrows        {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndowndownarrows        {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnenearrows            {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwnwarrows            {MnSyB}{\mathrel}
+\Decl@Mn@Char\nswswarrows            {MnSyB}{\mathrel}
+\Decl@Mn@Char\nsesearrows            {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrightleftarrows       {MnSyB}{\mathrel}
+\Decl@Mn@Char\nupdownarrows          {MnSyB}{\mathrel}
+\Decl@Mn@Char\nneswarrows            {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwsearrows            {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftrightarrows       {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndownuparrows          {MnSyB}{\mathrel}
+\Decl@Mn@Char\nswnearrows            {MnSyB}{\mathrel}
+\Decl@Mn@Char\nsenwarrows            {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrightlsquigarrow      {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nleadsto            {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nrightsquigarrow    {MnSyB}{\mathrel}
+\Decl@Mn@Char\nuplsquigarrow         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftlsquigarrow       {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndownlsquigarrow       {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnelsquigarrow         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwlsquigarrow         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nswlsquigarrow         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nselsquigarrow         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrightrsquigarrow      {MnSyB}{\mathrel}
+\Decl@Mn@Char\nuprsquigarrow         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftrsquigarrow       {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndownrsquigarrow       {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnersquigarrow         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwrsquigarrow         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nswrsquigarrow         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nsersquigarrow         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nsquigarrowleftright   {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nleftrightsquigarrow{MnSyB}{\mathrel}
+\Decl@Mn@Char\nsquigarrowupdown      {MnSyB}{\mathrel}
+\Decl@Mn@Char\nsquigarrowrightleft   {MnSyB}{\mathrel}
+\Decl@Mn@Char\nsquigarrowdownup      {MnSyB}{\mathrel}
+\Decl@Mn@Char\nsquigarrownesw        {MnSyB}{\mathrel}
+\Decl@Mn@Char\nsquigarrownwse        {MnSyB}{\mathrel}
+\Decl@Mn@Char\nsquigarrowswne        {MnSyB}{\mathrel}
+\Decl@Mn@Char\nsquigarrowsenw        {MnSyB}{\mathrel}
+\Decl@Mn@Char\nlcurvearrowright      {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\ncurvearrowright    {MnSyB}{\mathrel}
+\Decl@Mn@Char\nlcurvearrowup         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nlcurvearrowleft       {MnSyB}{\mathrel}
+\Decl@Mn@Char\nlcurvearrowdown       {MnSyB}{\mathrel}
+\Decl@Mn@Char\nlcurvearrowne         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nlcurvearrownw         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nlcurvearrowsw         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nlcurvearrowse         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrcurvearrowright      {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrcurvearrowup         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrcurvearrowleft       {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\ncurvearrowleft     {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrcurvearrowdown       {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrcurvearrowne         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrcurvearrownw         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrcurvearrowsw         {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrcurvearrowse         {MnSyB}{\mathrel}
+\Decl@Mn@Char\ncurvearrowleftright   {MnSyB}{\mathrel}
+\Decl@Mn@Char\ncurvearrowupdown      {MnSyB}{\mathrel}
+\Decl@Mn@Char\ncurvearrowrightleft   {MnSyB}{\mathrel}
+\Decl@Mn@Char\ncurvearrowdownup      {MnSyB}{\mathrel}
+\Decl@Mn@Char\ncurvearrownesw        {MnSyB}{\mathrel}
+\Decl@Mn@Char\ncurvearrownwse        {MnSyB}{\mathrel}
+\Decl@Mn@Char\ncurvearrowswne        {MnSyB}{\mathrel}
+\Decl@Mn@Char\ncurvearrowsenw        {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftrightline         {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nrelbar             {MnSyB}{\mathrel}
+\Decl@Mn@Char\nupdownline            {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\ndivides            {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nmid                {MnSyB}{\mathrel}
+\Decl@Mn@Char\nneswline              {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\ndiagup             {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwseline              {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\ndiagdown           {MnSyB}{\mathrel}
+\Decl@Mn@Char\nLeftrightline         {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nRelbar             {MnSyB}{\mathrel}
+\Decl@Mn@Char\nUpdownline            {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nparallel           {MnSyB}{\mathrel}
+\Decl@Mn@Char\nNeswline              {MnSyB}{\mathrel}
+\Decl@Mn@Char\nNwseline              {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrightvdash            {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nvdash              {MnSyB}{\mathrel}
+\Decl@Mn@Char\nupvdash               {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nperp               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftvdash             {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\ndashv              {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndownvdash             {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnevdash               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwvdash               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nswvdash               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nsevdash               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrightmodels           {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nmodels             {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nvDash              {MnSyB}{\mathrel}
+\Decl@Mn@Char\nupmodels              {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftmodels            {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndownmodels            {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnemodels              {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwmodels              {MnSyB}{\mathrel}
+\Decl@Mn@Char\nswmodels              {MnSyB}{\mathrel}
+\Decl@Mn@Char\nsemodels              {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrightVdash            {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nVdash              {MnSyB}{\mathrel}
+\Decl@Mn@Char\nupVdash               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftVdash             {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndownVdash             {MnSyB}{\mathrel}
+\Decl@Mn@Char\nneVdash               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwVdash               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nswVdash               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nseVdash               {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrightModels           {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\nVDash              {MnSyB}{\mathrel}
+\Decl@Mn@Char\nupModels              {MnSyB}{\mathrel}
+\Decl@Mn@Char\nleftModels            {MnSyB}{\mathrel}
+\Decl@Mn@Char\ndownModels            {MnSyB}{\mathrel}
+\Decl@Mn@Char\nneModels              {MnSyB}{\mathrel}
+\Decl@Mn@Char\nnwModels              {MnSyB}{\mathrel}
+\Decl@Mn@Char\nswModels              {MnSyB}{\mathrel}
+\Decl@Mn@Char\nseModels              {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrcirclearrowright     {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrcirclearrowup        {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\ncirclearrowleft    {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrcirclearrowleft      {MnSyB}{\mathrel}
+\Decl@Mn@Char\nrcirclearrowdown      {MnSyB}{\mathrel}
+\Decl@Mn@Char\nlcirclearrowright     {MnSyB}{\mathrel}
+\Decl@Mn@Char\nlcirclearrowup        {MnSyB}{\mathrel}
+  \Decl@Mn@Alias\ncirclearrowright   {MnSyB}{\mathrel}
+\Decl@Mn@Char\nlcirclearrowleft      {MnSyB}{\mathrel}
+\Decl@Mn@Char\nlcirclearrowdown      {MnSyB}{\mathrel}
+%    \end{macrocode}
+%
+% MnSymbolC\?: operators.
+%
+%    \begin{macrocode}
+\Set@Mn@Sym{0}
+\Decl@Mn@Char\cdot                   {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\cdotp               {MnSyC}{\mathpunct}
+\Decl@Mn@Char\hdotdot                {MnSyC}{\mathbin}
+\Decl@Mn@Char\vdotdot                {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\colon               {MnSyC}{\mathpunct}
+\Decl@Mn@Char\udotdot                {MnSyC}{\mathbin}
+\Decl@Mn@Char\ddotdot                {MnSyC}{\mathbin}
+\Decl@Mn@Char\hdots                  {MnSyC}{\mathord}
+  \Decl@Mn@Alias\@cdots              {MnSyC}{\mathinner}
+%  \DeclareRobustCommand{\@cdots}{\mathinner{\hdots}}
+  \let\cdots\@cdots
+\Decl@Mn@Char\@vdots                 {MnSyC}{\mathord}
+  \DeclareRobustCommand{\vdots}{%
+    \ifmmode \@vdots \else \hbox{$\@vdots$}\fi}
+\Decl@Mn@Char\udots                  {MnSyC}{\mathord}
+\Decl@Mn@Char\ddots                  {MnSyC}{\mathord}
+\Decl@Mn@Char\righttherefore         {MnSyC}{\mathbin}
+\Decl@Mn@Char\uptherefore            {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\therefore           {MnSyC}{\mathbin}
+\Decl@Mn@Char\lefttherefore          {MnSyC}{\mathbin}
+\Decl@Mn@Char\downtherefore          {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\because             {MnSyC}{\mathbin}
+\Decl@Mn@Char\diamonddots            {MnSyC}{\mathbin}
+\Decl@Mn@Char\squaredots             {MnSyC}{\mathbin}
+\Decl@Mn@Char\fivedots               {MnSyC}{\mathbin}
+\Decl@Mn@Char\minus                  {MnSyC}{\mathbin}
+\Decl@Mn@Char\medvert                {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\shortmid            {MnSyC}{\mathrel}
+\Decl@Mn@Char\medslash               {MnSyC}{\mathbin}
+\Decl@Mn@Char\medbackslash           {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\setminus            {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\smallsetminus       {MnSyC}{\mathbin}
+\Decl@Mn@Char\plus                   {MnSyC}{\mathbin}
+\Decl@Mn@Char\times                  {MnSyC}{\mathbin}
+\Decl@Mn@Char\pm                     {MnSyC}{\mathbin}
+\Decl@Mn@Char\mp                     {MnSyC}{\mathbin}
+\Decl@Mn@Char\dotminus               {MnSyC}{\mathbin}
+\Decl@Mn@Char\dotmedvert             {MnSyC}{\mathbin}
+\Decl@Mn@Char\minusdot               {MnSyC}{\mathbin}
+\Decl@Mn@Char\medvertdot             {MnSyC}{\mathbin}
+\Decl@Mn@Char\div                    {MnSyC}{\mathbin}
+\Decl@Mn@Char\slashdiv               {MnSyC}{\mathbin}
+\Decl@Mn@Char\vertdiv                {MnSyC}{\mathbin}
+\Decl@Mn@Char\backslashdiv           {MnSyC}{\mathbin}
+\Decl@Mn@Char\neg                    {MnSyC}{\mathord}
+  \Decl@Mn@Alias\lnot                {MnSyC}{\mathord}
+  \Decl@Mn@Alias\minushookdown       {MnSyC}{\mathbin}
+\Decl@Mn@Char\backneg                {MnSyC}{\mathord}
+  \Decl@Mn@Alias\hookdownminus       {MnSyC}{\mathbin}
+\Decl@Mn@Char\dtimes                 {MnSyC}{\mathbin}
+\Decl@Mn@Char\rtimes                 {MnSyC}{\mathbin}
+\Decl@Mn@Char\utimes                 {MnSyC}{\mathbin}
+\Decl@Mn@Char\ltimes                 {MnSyC}{\mathbin}
+\Decl@Mn@Char\bowtie                 {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\Join                {MnSyC}{\mathbin}
+\Decl@Mn@Char\vertbowtie             {MnSyC}{\mathbin}
+\Decl@Mn@Char\rightY                 {MnSyC}{\mathbin}
+\Decl@Mn@Char\upY                    {MnSyC}{\mathbin}
+\Decl@Mn@Char\leftY                  {MnSyC}{\mathbin}
+\Decl@Mn@Char\downY                  {MnSyC}{\mathbin}
+\Decl@Mn@Char\wedge                  {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\land                {MnSyC}{\mathbin}
+\Decl@Mn@Char\vee                    {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\lor                 {MnSyC}{\mathbin}
+\Decl@Mn@Char\wedgedot               {MnSyC}{\mathbin}
+\Decl@Mn@Char\veedot                 {MnSyC}{\mathbin}
+\Decl@Mn@Char\doublewedge            {MnSyC}{\mathbin}
+\Decl@Mn@Char\doublevee              {MnSyC}{\mathbin}
+\Decl@Mn@Char\curlywedge             {MnSyC}{\mathbin}
+\Decl@Mn@Char\curlyvee               {MnSyC}{\mathbin}
+\Decl@Mn@Char\curlywedgedot          {MnSyC}{\mathbin}
+\Decl@Mn@Char\curlyveedot            {MnSyC}{\mathbin}
+\Decl@Mn@Char\doublecurlywedge       {MnSyC}{\mathbin}
+\Decl@Mn@Char\doublecurlyvee         {MnSyC}{\mathbin}
+\Decl@Mn@Char\cup                    {MnSyC}{\mathbin}
+\Decl@Mn@Char\cap                    {MnSyC}{\mathbin}
+\Decl@Mn@Char\doublecup              {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\Cup                 {MnSyC}{\mathbin}
+\Decl@Mn@Char\doublecap              {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\Cap                 {MnSyC}{\mathbin}
+\Decl@Mn@Char\cupdot                 {MnSyC}{\mathbin}
+\Decl@Mn@Char\capdot                 {MnSyC}{\mathbin}
+\Decl@Mn@Char\cupplus                {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\uplus               {MnSyC}{\mathbin}
+\Decl@Mn@Char\capplus                {MnSyC}{\mathbin}
+\Decl@Mn@Char\sqcup                  {MnSyC}{\mathbin}
+\Decl@Mn@Char\sqcap                  {MnSyC}{\mathbin}
+\Decl@Mn@Char\doublesqcup            {MnSyC}{\mathbin}
+\Decl@Mn@Char\doublesqcap            {MnSyC}{\mathbin}
+\Decl@Mn@Char\sqcupdot               {MnSyC}{\mathbin}
+\Decl@Mn@Char\sqcapdot               {MnSyC}{\mathbin}
+\Decl@Mn@Char\sqcupplus              {MnSyC}{\mathbin}
+\Decl@Mn@Char\sqcapplus              {MnSyC}{\mathbin}
+\Decl@Mn@Char\smalltriangleright     {MnSyC}{\mathbin}
+\Decl@Mn@Char\smalltriangleup        {MnSyC}{\mathbin}
+\Decl@Mn@Char\smalltriangleleft      {MnSyC}{\mathbin}
+\Decl@Mn@Char\smalltriangledown      {MnSyC}{\mathbin}
+\Decl@Mn@Char\filledtriangleright    {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\blacktriangleright  {MnSyC}{\mathbin}
+\Decl@Mn@Char\filledtriangleup       {MnSyC}{\mathbin}
+\Decl@Mn@Char\filledtriangleleft     {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\blacktriangleleft   {MnSyC}{\mathbin}
+\Decl@Mn@Char\filledtriangledown     {MnSyC}{\mathbin}
+\Decl@Mn@Char\medtriangleright       {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\triangleright       {MnSyC}{\mathbin}
+\Decl@Mn@Char\medtriangleup          {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\triangle            {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\vartriangle         {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\bigtriangleup       {MnSyC}{\mathbin}
+\Decl@Mn@Char\medtriangleleft        {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\triangleleft        {MnSyC}{\mathbin}
+\Decl@Mn@Char\medtriangledown        {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\bigtriangledown     {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\triangledown        {MnSyC}{\mathbin}
+\Decl@Mn@Char\largetriangleright     {MnSyC}{\mathord}
+\Decl@Mn@Char\largetriangleup        {MnSyC}{\mathord}
+\Decl@Mn@Char\largetriangleleft      {MnSyC}{\mathord}
+\Decl@Mn@Char\largetriangledown      {MnSyC}{\mathord}
+\Decl@Mn@Char\circ                   {MnSyC}{\mathbin}
+\Decl@Mn@Char\bullet                 {MnSyC}{\mathbin}
+\Decl@Mn@Char\medcircle              {MnSyC}{\mathbin}
+\Decl@Mn@Char\largecircle            {MnSyC}{\mathord}
+  \Decl@Mn@Alias\bigcirc             {MnSyC}{\mathord}
+\Decl@Mn@Char\ominus                 {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\circleddash         {MnSyC}{\mathbin}
+\Decl@Mn@Char\overt                  {MnSyC}{\mathbin}
+\Decl@Mn@Char\oslash                 {MnSyC}{\mathbin}
+\Decl@Mn@Char\obackslash             {MnSyC}{\mathbin}
+\Decl@Mn@Char\oplus                  {MnSyC}{\mathbin}
+\Decl@Mn@Char\otimes                 {MnSyC}{\mathbin}
+\Decl@Mn@Char\odot                   {MnSyC}{\mathbin}
+\Decl@Mn@Char\ocirc                  {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\circledcirc         {MnSyC}{\mathbin}
+\Decl@Mn@Char\otriangle              {MnSyC}{\mathbin}
+\Decl@Mn@Char\oast                   {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\circledast          {MnSyC}{\mathbin}
+\Decl@Mn@Char\ostar                  {MnSyC}{\mathbin}
+\Decl@Mn@Char\diameter               {MnSyC}{\mathord}
+  \Decl@Mn@Alias\emptyset            {MnSyC}{\mathord}
+  \Decl@Mn@Alias\varnothing          {MnSyC}{\mathord}
+\Decl@Mn@Char\smallsquare            {MnSyC}{\mathbin}
+\Decl@Mn@Char\filledsquare           {MnSyC}{\mathbin}
+\Decl@Mn@Char\medsquare              {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\square              {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\Box                 {MnSyC}{\mathbin}
+\Decl@Mn@Char\largesquare            {MnSyC}{\mathord}
+\Decl@Mn@Char\smalldiamond           {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\diamond             {MnSyC}{\mathbin}
+\Decl@Mn@Char\filleddiamond          {MnSyC}{\mathbin}
+\Decl@Mn@Char\meddiamond             {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\Diamond             {MnSyC}{\mathbin}
+\Decl@Mn@Char\largediamond           {MnSyC}{\mathord}
+\Decl@Mn@Char\boxminus               {MnSyC}{\mathbin}
+\Decl@Mn@Char\boxvert                {MnSyC}{\mathbin}
+\Decl@Mn@Char\boxslash               {MnSyC}{\mathbin}
+\Decl@Mn@Char\boxbackslash           {MnSyC}{\mathbin}
+\Decl@Mn@Char\boxplus                {MnSyC}{\mathbin}
+\Decl@Mn@Char\boxtimes               {MnSyC}{\mathbin}
+\Decl@Mn@Char\boxdot                 {MnSyC}{\mathbin}
+\Decl@Mn@Char\boxbox                 {MnSyC}{\mathbin}
+\Decl@Mn@Char\diamondminus           {MnSyC}{\mathbin}
+\Decl@Mn@Char\diamondvert            {MnSyC}{\mathbin}
+\Decl@Mn@Char\diamondslash           {MnSyC}{\mathbin}
+\Decl@Mn@Char\diamondbackslash       {MnSyC}{\mathbin}
+\Decl@Mn@Char\diamondplus            {MnSyC}{\mathbin}
+\Decl@Mn@Char\diamondtimes           {MnSyC}{\mathbin}
+\Decl@Mn@Char\diamonddot             {MnSyC}{\mathbin}
+\Decl@Mn@Char\diamonddiamond         {MnSyC}{\mathbin}
+\Decl@Mn@Char\smallstar              {MnSyC}{\mathbin}
+\Decl@Mn@Char\filledstar             {MnSyC}{\mathbin}
+\Decl@Mn@Char\medstar                {MnSyC}{\mathbin}
+\Decl@Mn@Char\largestar              {MnSyC}{\mathord}
+\Decl@Mn@Char\pentagram              {MnSyC}{\mathbin}
+\Decl@Mn@Char\largepentagram         {MnSyC}{\mathord}
+\Decl@Mn@Char\thinstar               {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\star                {MnSyC}{\mathbin}
+\Decl@Mn@Char\ast                    {MnSyC}{\mathbin}
+\Decl@Mn@Char\hbipropto              {MnSyC}{\mathbin}
+\Decl@Mn@Char\neswbipropto           {MnSyC}{\mathbin}
+\Decl@Mn@Char\vbipropto              {MnSyC}{\mathbin}
+\Decl@Mn@Char\nwsebipropto           {MnSyC}{\mathbin}
+\Decl@Mn@Char\leftpropto             {MnSyC}{\mathrel}
+  \Decl@Mn@Alias\propto              {MnSyC}{\mathrel}
+  \Decl@Mn@Alias\varpropto           {MnSyC}{\mathrel}
+\Decl@Mn@Char\downpropto             {MnSyC}{\mathrel}
+\Decl@Mn@Char\rightpropto            {MnSyC}{\mathrel}
+\Decl@Mn@Char\uppropto               {MnSyC}{\mathrel}
+\Decl@Mn@Char\hcrossing              {MnSyC}{\mathrel}
+\Decl@Mn@Char\neswcrossing           {MnSyC}{\mathrel}
+\Decl@Mn@Char\vcrossing              {MnSyC}{\mathrel}
+\Decl@Mn@Char\nwsecrossing           {MnSyC}{\mathrel}
+\Decl@Mn@Char\between                {MnSyC}{\mathrel}
+\Decl@Mn@Char\separated              {MnSyC}{\mathrel}
+\Decl@Mn@Char\bot                    {MnSyC}{\mathord}
+\Decl@Mn@Char\top                    {MnSyC}{\mathord}
+  \Decl@Mn@Alias\intercal            {MnSyC}{\mathbin}
+\Decl@Mn@Char\wreath                 {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\wr                  {MnSyC}{\mathbin}
+\Decl@Mn@Char\angle                  {MnSyC}{\mathord}
+\Decl@Mn@Char\measuredangle          {MnSyC}{\mathord}
+\Decl@Mn@Char\sphericalangle         {MnSyC}{\mathord}
+\Decl@Mn@Char\prime                  {MnSyC}{\mathord}
+\Decl@Mn@Char\backprime              {MnSyC}{\mathord}
+\Decl@Mn@Char\smallprod              {MnSyC}{\mathbin}
+\Decl@Mn@Char\amalg                  {MnSyC}{\mathbin}
+\Decl@Mn@Char\checkmark              {MnSyC}{\mathord}
+\Decl@Mn@Char\lightning              {MnSyC}{\mathord}
+\Decl@Mn@Char\diamondsuit            {MnSyC}{\mathord}
+\Decl@Mn@Char\heartsuit              {MnSyC}{\mathord}
+\Decl@Mn@Char\spadesuit              {MnSyC}{\mathord}
+\Decl@Mn@Char\clubsuit               {MnSyC}{\mathord}
+\Decl@Mn@Char\forall                 {MnSyC}{\mathord}
+\Decl@Mn@Char\exists                 {MnSyC}{\mathord}
+\Decl@Mn@Char\nexists                {MnSyC}{\mathord}
+\Decl@Mn@Char\nabla                  {MnSyC}{\mathord}
+\Decl@Mn@Char\infty                  {MnSyC}{\mathord}
+\Decl@Mn@Char\smallint               {MnSyC}{\mathop}
+\Decl@Mn@Char\flat                   {MnSyC}{\mathop}
+\Decl@Mn@Char\natural                {MnSyC}{\mathop}
+\Decl@Mn@Char\sharp                  {MnSyC}{\mathop}
+\Decl@Mn@Char\aleph                  {MnSyC}{\mathord}
+\Decl@Mn@Char\beth                   {MnSyC}{\mathord}
+\Decl@Mn@Char\gimel                  {MnSyC}{\mathord}
+\Decl@Mn@Char\daleth                 {MnSyC}{\mathord}
+\Decl@Mn@Char\wp                     {MnSyC}{\mathord}
+\Decl@Mn@Char\powerset               {MnSyC}{\mathord}
+\Decl@Mn@Char\invneg                 {MnSyC}{\mathord}
+  \Decl@Mn@Alias\minushookup         {MnSyC}{\mathbin}
+\Decl@Mn@Char\invbackneg             {MnSyC}{\mathord}
+  \Decl@Mn@Alias\hookupminus         {MnSyC}{\mathbin}
+\Decl@Mn@Char\lefthalfcup            {MnSyC}{\mathbin}
+\Decl@Mn@Char\righthalfcup           {MnSyC}{\mathbin}
+\Decl@Mn@Char\lefthalfcap            {MnSyC}{\mathbin}
+\Decl@Mn@Char\righthalfcap           {MnSyC}{\mathbin}
+\Decl@Mn@Char\closedsucc             {MnSyC}{\mathrel}
+\Decl@Mn@Char\closedcurlywedge       {MnSyC}{\mathbin}
+\Decl@Mn@Char\closedprec             {MnSyC}{\mathrel}
+\Decl@Mn@Char\closedcurlyvee         {MnSyC}{\mathbin}
+\Decl@Mn@Char\rightslice             {MnSyC}{\mathrel}
+\Decl@Mn@Char\upslice                {MnSyC}{\mathbin}
+\Decl@Mn@Char\leftslice              {MnSyC}{\mathrel}
+\Decl@Mn@Char\downslice              {MnSyC}{\mathbin}
+\Decl@Mn@Char\smalllozenge           {MnSyC}{\mathord}
+\Decl@Mn@Char\filledlozenge          {MnSyC}{\mathord}
+\Decl@Mn@Char\medlozenge             {MnSyC}{\mathord}
+  \Decl@Mn@Alias\lozenge             {MnSyC}{\mathord}
+\Decl@Mn@Char\filledmedlozenge       {MnSyC}{\mathord}
+  \Decl@Mn@Alias\blacklozenge        {MnSyC}{\mathord}
+\Decl@Mn@Char\largelozenge           {MnSyC}{\mathord}
+\Decl@Mn@Char\filledmedtriangleright {MnSyC}{\mathbin}
+\Decl@Mn@Char\filledmedtriangleup    {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\blacktriangle       {MnSyC}{\mathbin}
+\Decl@Mn@Char\filledmedtriangleleft  {MnSyC}{\mathbin}
+\Decl@Mn@Char\filledmedtriangledown  {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\blacktriangledown   {MnSyC}{\mathbin}
+\Decl@Mn@Char\filledmedsquare        {MnSyC}{\mathbin}
+  \Decl@Mn@Alias\blacksquare         {MnSyC}{\mathbin}
+\Decl@Mn@Char\filledlargestar        {MnSyC}{\mathord}
+  \Decl@Mn@Alias\bigstar             {MnSyC}{\mathord}
+\Decl@Mn@Char\medstarofdavid         {MnSyC}{\mathord}
+\Decl@Mn@Char\largestarofdavid       {MnSyC}{\mathord}
+\Decl@Mn@Char\maltese                {MnSyC}{\mathord}
+\Set@Mn@Sym{220}
+\Decl@Mn@Char\closedequal            {MnSyC}{\mathrel}
+\Decl@Mn@Char\equalclosed            {MnSyC}{\mathrel}
+\Decl@Mn@Char\equivclosed            {MnSyC}{\mathrel}
+\Decl@Mn@Char\lesssim                {MnSyC}{\mathrel}
+\Decl@Mn@Char\gtrsim                 {MnSyC}{\mathrel}
+\Decl@Mn@Char\lessapprox             {MnSyC}{\mathrel}
+\Decl@Mn@Char\gtrapprox              {MnSyC}{\mathrel}
+\Decl@Mn@Char\eqslantless            {MnSyC}{\mathrel}
+\Decl@Mn@Char\eqslantgtr             {MnSyC}{\mathrel}
+\Decl@Mn@Char\curlyeqprec            {MnSyC}{\mathrel}
+\Decl@Mn@Char\curlyeqsucc            {MnSyC}{\mathrel}
+\Decl@Mn@Char\Rrightarrow            {MnSyC}{\mathrel}
+\Decl@Mn@Char\Lleftarrow             {MnSyC}{\mathrel}
+\Decl@Mn@Char\nclosedequal           {MnSyC}{\mathrel}
+\Decl@Mn@Char\nequalclosed           {MnSyC}{\mathrel}
+\Decl@Mn@Char\nequivclosed           {MnSyC}{\mathrel}
+\Decl@Mn@Char\lnsim                  {MnSyC}{\mathrel}
+\Decl@Mn@Char\gnsim                  {MnSyC}{\mathrel}
+\Decl@Mn@Char\lnapprox               {MnSyC}{\mathrel}
+\Decl@Mn@Char\gnapprox               {MnSyC}{\mathrel}
+\Decl@Mn@Char\neqslantless           {MnSyC}{\mathrel}
+\Decl@Mn@Char\neqslantgtr            {MnSyC}{\mathrel}
+\Decl@Mn@Char\ncurlyeqprec           {MnSyC}{\mathrel}
+\Decl@Mn@Char\ncurlyeqsucc           {MnSyC}{\mathrel}
+\Decl@Mn@Char\nRrightarrow           {MnSyC}{\mathrel}
+\Decl@Mn@Char\nLleftarrow            {MnSyC}{\mathrel}
+\Decl@Mn@Char\Rsh                    {MnSyC}{\mathrel}
+\Decl@Mn@Char\Lsh                    {MnSyC}{\mathrel}
+\Decl@Mn@Char\looparrowright         {MnSyC}{\mathrel}
+\Decl@Mn@Char\looparrowleft          {MnSyC}{\mathrel}
+\Decl@Mn@Char\leftthreetimes         {MnSyC}{\mathbin}
+\Decl@Mn@Char\rightthreetimes        {MnSyC}{\mathbin}
+\Decl@Mn@Char\Vvdash                 {MnSyC}{\mathrel}
+\Decl@Mn@Char\nshortmid              {MnSyC}{\mathrel}
+\Decl@Mn@Char\shortparallel          {MnSyC}{\mathrel}
+\Decl@Mn@Char\nshortparallel         {MnSyC}{\mathrel}
+%    \end{macrocode}
+%
+% MnSymbolD\?: Relations.
+%
+%    \begin{macrocode}
+\Set@Mn@Sym{0}
+\Decl@Mn@Char\equal                  {MnSyD}{\mathrel}
+\Decl@Mn@Char\equiv                  {MnSyD}{\mathrel}
+\Decl@Mn@Char\sim                    {MnSyD}{\mathrel}
+\Decl@Mn@Char\backsim                {MnSyD}{\mathrel}
+\Decl@Mn@Char\approx                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\backapprox             {MnSyD}{\mathrel}
+\Decl@Mn@Char\triplesim              {MnSyD}{\mathrel}
+\Decl@Mn@Char\backtriplesim          {MnSyD}{\mathrel}
+\Decl@Mn@Char\simeq                  {MnSyD}{\mathrel}
+\Decl@Mn@Char\backsimeq              {MnSyD}{\mathrel}
+\Decl@Mn@Char\eqsim                  {MnSyD}{\mathrel}
+\Decl@Mn@Char\backeqsim              {MnSyD}{\mathrel}
+\Decl@Mn@Char\cong                   {MnSyD}{\mathrel}
+\Decl@Mn@Char\backcong               {MnSyD}{\mathrel}
+\Decl@Mn@Char\approxeq               {MnSyD}{\mathrel}
+\Decl@Mn@Char\backapproxeq           {MnSyD}{\mathrel}
+\Decl@Mn@Char\bumpeq                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\eqbump                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\Bumpeq                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\doteq                  {MnSyD}{\mathrel}
+\Decl@Mn@Char\eqdot                  {MnSyD}{\mathrel}
+\Decl@Mn@Char\Doteq                  {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\doteqdot            {MnSyD}{\mathbin}
+\Decl@Mn@Char\fallingdotseq          {MnSyD}{\mathrel}
+\Decl@Mn@Char\risingdotseq           {MnSyD}{\mathrel}
+\Decl@Mn@Char\smile                  {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\smallsmile          {MnSyD}{\mathrel}
+\Decl@Mn@Char\frown                  {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\smallfrown          {MnSyD}{\mathrel}
+\Decl@Mn@Char\doublesmile            {MnSyD}{\mathrel}
+\Decl@Mn@Char\doublefrown            {MnSyD}{\mathrel}
+\Decl@Mn@Char\triplesmile            {MnSyD}{\mathrel}
+\Decl@Mn@Char\triplefrown            {MnSyD}{\mathrel}
+\Decl@Mn@Char\smilefrown             {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\asymp               {MnSyD}{\mathrel}
+\Decl@Mn@Char\frownsmile             {MnSyD}{\mathrel}
+\Decl@Mn@Char\smileeq                {MnSyD}{\mathrel}
+\Decl@Mn@Char\frowneq                {MnSyD}{\mathrel}
+\Decl@Mn@Char\eqsmile                {MnSyD}{\mathrel}
+\Decl@Mn@Char\eqfrown                {MnSyD}{\mathrel}
+\Decl@Mn@Char\doublesmileeq          {MnSyD}{\mathrel}
+\Decl@Mn@Char\doublefrowneq          {MnSyD}{\mathrel}
+\Decl@Mn@Char\smileeqfrown           {MnSyD}{\mathrel}
+\Decl@Mn@Char\frowneqsmile           {MnSyD}{\mathrel}
+\Decl@Mn@Char\smilefrowneq           {MnSyD}{\mathrel}
+\Decl@Mn@Char\frownsmileeq           {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqsmile                {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqfrown                {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqdoublesmile          {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqdoublefrown          {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqtriplesmile          {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqtriplefrown          {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqsmilefrown           {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqfrownsmile           {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqsmileeq              {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqfrowneq              {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqeqsmile              {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqeqfrown              {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqdoublesmileeq        {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqdoublefrowneq        {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqsmileeqfrown         {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqfrowneqsmile         {MnSyD}{\mathrel}
+\Decl@Mn@Char\eqcirc                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\circeq                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\triangleeq             {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\triangleq           {MnSyD}{\mathrel}
+\Decl@Mn@Char\hateq                  {MnSyD}{\mathrel}
+\Decl@Mn@Char\in                     {MnSyD}{\mathrel}
+\Decl@Mn@Char\owns                   {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\ni                  {MnSyD}{\mathrel}
+\Decl@Mn@Char\less                   {MnSyD}{\mathrel}
+\Decl@Mn@Char\gtr                    {MnSyD}{\mathrel}
+\Decl@Mn@Char\leq                    {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\le                  {MnSyD}{\mathrel}
+\Decl@Mn@Char\geq                    {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\ge                  {MnSyD}{\mathrel}
+\Decl@Mn@Char\leqslant               {MnSyD}{\mathrel}
+\Decl@Mn@Char\geqslant               {MnSyD}{\mathrel}
+\Decl@Mn@Char\leqq                   {MnSyD}{\mathrel}
+\Decl@Mn@Char\geqq                   {MnSyD}{\mathrel}
+\Decl@Mn@Char\lessgtr                {MnSyD}{\mathrel}
+\Decl@Mn@Char\gtrless                {MnSyD}{\mathrel}
+\Decl@Mn@Char\lesseqgtr              {MnSyD}{\mathrel}
+\Decl@Mn@Char\gtreqless              {MnSyD}{\mathrel}
+\Decl@Mn@Char\lesseqqgtr             {MnSyD}{\mathrel}
+\Decl@Mn@Char\gtreqqless             {MnSyD}{\mathrel}
+\Decl@Mn@Char\lesseqgtrslant         {MnSyD}{\mathrel}
+\Decl@Mn@Char\gtreqlessslant         {MnSyD}{\mathrel}
+\Decl@Mn@Char\ll                     {MnSyD}{\mathrel}
+\Decl@Mn@Char\gg                     {MnSyD}{\mathrel}
+\Decl@Mn@Char\lll                    {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\llless              {MnSyD}{\mathrel}
+\Decl@Mn@Char\ggg                    {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\gggtr               {MnSyD}{\mathrel}
+\Decl@Mn@Char\lessclosed             {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\lhd                 {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\vartriangleleft     {MnSyD}{\mathrel}
+\Decl@Mn@Char\gtrclosed              {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\rhd                 {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\vartriangleright    {MnSyD}{\mathrel}
+\Decl@Mn@Char\leqclosed              {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\unlhd               {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\trianglelefteq      {MnSyD}{\mathrel}
+\Decl@Mn@Char\geqclosed              {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\unrhd               {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\trianglerighteq     {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqsubset               {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqsupset               {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqsubseteq             {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqsupseteq             {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqsubseteqq            {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqsupseteqq            {MnSyD}{\mathrel}
+\Decl@Mn@Char\Sqsubset               {MnSyD}{\mathrel}
+\Decl@Mn@Char\Sqsupset               {MnSyD}{\mathrel}
+\Decl@Mn@Char\subset                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\supset                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\subseteq               {MnSyD}{\mathrel}
+\Decl@Mn@Char\supseteq               {MnSyD}{\mathrel}
+\Decl@Mn@Char\subseteqq              {MnSyD}{\mathrel}
+\Decl@Mn@Char\supseteqq              {MnSyD}{\mathrel}
+\Decl@Mn@Char\Subset                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\Supset                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\prec                   {MnSyD}{\mathrel}
+\Decl@Mn@Char\succ                   {MnSyD}{\mathrel}
+\Decl@Mn@Char\preceq                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\succeq                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\preccurlyeq            {MnSyD}{\mathrel}
+\Decl@Mn@Char\succcurlyeq            {MnSyD}{\mathrel}
+\Decl@Mn@Char\precsim                {MnSyD}{\mathrel}
+\Decl@Mn@Char\succsim                {MnSyD}{\mathrel}
+\Decl@Mn@Char\precapprox             {MnSyD}{\mathrel}
+\Decl@Mn@Char\succapprox             {MnSyD}{\mathrel}
+\Decl@Mn@Char\lessdot                {MnSyD}{\mathrel}
+\Decl@Mn@Char\gtrdot                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\leqdot                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\geqdot                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\leqslantdot            {MnSyD}{\mathrel}
+\Decl@Mn@Char\geqslantdot            {MnSyD}{\mathrel}
+\Decl@Mn@Char\nequal                 {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\neq                 {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\ne                  {MnSyD}{\mathrel}
+\Decl@Mn@Char\nequiv                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsim                   {MnSyD}{\mathrel}
+\Decl@Mn@Char\nbacksim               {MnSyD}{\mathrel}
+\Decl@Mn@Char\napprox                {MnSyD}{\mathrel}
+\Decl@Mn@Char\nbackapprox            {MnSyD}{\mathrel}
+\Decl@Mn@Char\ntriplesim             {MnSyD}{\mathrel}
+\Decl@Mn@Char\nbacktriplesim         {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsimeq                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\nbacksimeq             {MnSyD}{\mathrel}
+\Decl@Mn@Char\neqsim                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\nbackeqsim             {MnSyD}{\mathrel}
+\Decl@Mn@Char\ncong                  {MnSyD}{\mathrel}
+\Decl@Mn@Char\nbackcong              {MnSyD}{\mathrel}
+\Decl@Mn@Char\napproxeq              {MnSyD}{\mathrel}
+\Decl@Mn@Char\nbackapproxeq          {MnSyD}{\mathrel}
+\Decl@Mn@Char\nbumpeq                {MnSyD}{\mathrel}
+\Decl@Mn@Char\neqbump                {MnSyD}{\mathrel}
+\Decl@Mn@Char\nBumpeq                {MnSyD}{\mathrel}
+\Decl@Mn@Char\ndoteq                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\neqdot                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\nDoteq                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\nfallingdotseq         {MnSyD}{\mathrel}
+\Decl@Mn@Char\nrisingdotseq          {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsmile                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\nfrown                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\ndoublesmile           {MnSyD}{\mathrel}
+\Decl@Mn@Char\ndoublefrown           {MnSyD}{\mathrel}
+\Decl@Mn@Char\ntriplesmile           {MnSyD}{\mathrel}
+\Decl@Mn@Char\ntriplefrown           {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsmilefrown            {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\nasymp              {MnSyD}{\mathrel}
+\Decl@Mn@Char\nfrownsmile            {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsmileeq               {MnSyD}{\mathrel}
+\Decl@Mn@Char\nfrowneq               {MnSyD}{\mathrel}
+\Decl@Mn@Char\neqsmile               {MnSyD}{\mathrel}
+\Decl@Mn@Char\neqfrown               {MnSyD}{\mathrel}
+\Decl@Mn@Char\ndoublesmileeq         {MnSyD}{\mathrel}
+\Decl@Mn@Char\ndoublefrowneq         {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsmileeqfrown          {MnSyD}{\mathrel}
+\Decl@Mn@Char\nfrowneqsmile          {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsmilefrowneq          {MnSyD}{\mathrel}
+\Decl@Mn@Char\nfrownsmileeq          {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsqsmile               {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsqfrown               {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsqdoublesmile         {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsqdoublefrown         {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsqtriplesmile         {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsqtriplefrown         {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsqsmilefrown          {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsqfrownsmile          {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsqsmileeq             {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsqfrowneq             {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsqeqsmile             {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsqeqfrown             {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsqdoublesmileeq       {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsqdoublefrowneq       {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsqsmileeqfrown        {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsqfrowneqsmile        {MnSyD}{\mathrel}
+\Decl@Mn@Char\neqcirc                {MnSyD}{\mathrel}
+\Decl@Mn@Char\ncirceq                {MnSyD}{\mathrel}
+\Decl@Mn@Char\ntriangleeq            {MnSyD}{\mathrel}
+\Decl@Mn@Char\nhateq                 {MnSyD}{\mathrel}
+\Decl@Mn@Char\nin                    {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\notin               {MnSyD}{\mathrel}
+\Decl@Mn@Char\nowns                  {MnSyD}{\mathrel}
+\Decl@Mn@Char\nless                  {MnSyD}{\mathrel}
+\Decl@Mn@Char\ngtr                   {MnSyD}{\mathrel}
+\Decl@Mn@Char\nleq                   {MnSyD}{\mathrel}
+\Decl@Mn@Char\ngeq                   {MnSyD}{\mathrel}
+\Decl@Mn@Char\nleqslant              {MnSyD}{\mathrel}
+\Decl@Mn@Char\ngeqslant              {MnSyD}{\mathrel}
+\Decl@Mn@Char\nleqq                  {MnSyD}{\mathrel}
+\Decl@Mn@Char\ngeqq                  {MnSyD}{\mathrel}
+\Decl@Mn@Char\nlessgtr               {MnSyD}{\mathrel}
+\Decl@Mn@Char\ngtrless               {MnSyD}{\mathrel}
+\Decl@Mn@Char\nlesseqgtr             {MnSyD}{\mathrel}
+\Decl@Mn@Char\ngtreqless             {MnSyD}{\mathrel}
+\Decl@Mn@Char\nlesseqqgtr            {MnSyD}{\mathrel}
+\Decl@Mn@Char\ngtreqqless            {MnSyD}{\mathrel}
+\Decl@Mn@Char\nlesseqgtrslant        {MnSyD}{\mathrel}
+\Decl@Mn@Char\ngtreqlessslant        {MnSyD}{\mathrel}
+\Decl@Mn@Char\nll                    {MnSyD}{\mathrel}
+\Decl@Mn@Char\ngg                    {MnSyD}{\mathrel}
+\Decl@Mn@Char\nlll                   {MnSyD}{\mathrel}
+\Decl@Mn@Char\nggg                   {MnSyD}{\mathrel}
+\Decl@Mn@Char\nlessclosed            {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\ntriangleleft       {MnSyD}{\mathrel}
+\Decl@Mn@Char\ngtrclosed             {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\ntriangleright      {MnSyD}{\mathrel}
+\Decl@Mn@Char\nleqclosed             {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\ntrianglelefteq     {MnSyD}{\mathrel}
+\Decl@Mn@Char\ngeqclosed             {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\ntrianglerighteq    {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsqsubset              {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsqsupset              {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsqsubseteq            {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsqsupseteq            {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsqsubseteqq           {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsqsupseteqq           {MnSyD}{\mathrel}
+\Decl@Mn@Char\nSqsubset              {MnSyD}{\mathrel}
+\Decl@Mn@Char\nSqsupset              {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsubset                {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsupset                {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsubseteq              {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsupseteq              {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsubseteqq             {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsupseteqq             {MnSyD}{\mathrel}
+\Decl@Mn@Char\nSubset                {MnSyD}{\mathrel}
+\Decl@Mn@Char\nSupset                {MnSyD}{\mathrel}
+\Decl@Mn@Char\nprec                  {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsucc                  {MnSyD}{\mathrel}
+\Decl@Mn@Char\npreceq                {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsucceq                {MnSyD}{\mathrel}
+\Decl@Mn@Char\npreccurlyeq           {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsucccurlyeq           {MnSyD}{\mathrel}
+\Decl@Mn@Char\nprecsim               {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsuccsim               {MnSyD}{\mathrel}
+\Decl@Mn@Char\nprecapprox            {MnSyD}{\mathrel}
+\Decl@Mn@Char\nsuccapprox            {MnSyD}{\mathrel}
+\Decl@Mn@Char\nlessdot               {MnSyD}{\mathrel}
+\Decl@Mn@Char\ngtrdot                {MnSyD}{\mathrel}
+\Decl@Mn@Char\nleqdot                {MnSyD}{\mathrel}
+\Decl@Mn@Char\ngeqdot                {MnSyD}{\mathrel}
+\Decl@Mn@Char\nleqslantdot           {MnSyD}{\mathrel}
+\Decl@Mn@Char\ngeqslantdot           {MnSyD}{\mathrel}
+\Decl@Mn@Char\lneqq                  {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\lvertneqq           {MnSyD}{\mathrel}
+\Decl@Mn@Char\gneqq                  {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\gvertneqq           {MnSyD}{\mathrel}
+\Decl@Mn@Char\lessneqqgtr            {MnSyD}{\mathrel}
+\Decl@Mn@Char\gtrneqqless            {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqsubsetneq            {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqsupsetneq            {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqsubsetneqq           {MnSyD}{\mathrel}
+\Decl@Mn@Char\sqsupsetneqq           {MnSyD}{\mathrel}
+\Decl@Mn@Char\subsetneq              {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\varsubsetneq        {MnSyD}{\mathrel}
+\Decl@Mn@Char\supsetneq              {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\varsupsetneq        {MnSyD}{\mathrel}
+\Decl@Mn@Char\subsetneqq             {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\varsubsetneqq       {MnSyD}{\mathrel}
+\Decl@Mn@Char\supsetneqq             {MnSyD}{\mathrel}
+  \Decl@Mn@Alias\varsupsetneqq       {MnSyD}{\mathrel}
+\Decl@Mn@Char\precnsim               {MnSyD}{\mathrel}
+\Decl@Mn@Char\succnsim               {MnSyD}{\mathrel}
+\Decl@Mn@Char\precnapprox            {MnSyD}{\mathrel}
+\Decl@Mn@Char\succnapprox            {MnSyD}{\mathrel}
+
+\DeclareRobustCommand{\coloneq}{\mathrel{{\vdotdot}{\equal}}}
+%    \end{macrocode}
+%
+% MnSymbolF\?: Big operators.
+%
+%    \begin{macrocode}
+\Set@Mn@Sym{0}
+\Decl@Mn@Char\tbigplus                  {symbols}{\mathop}
+\Decl@Mn@Char\dbigplus                  {symbols}{\mathop}
+\Decl@Mn@Char\tbigtimes                 {symbols}{\mathop}
+\Decl@Mn@Char\dbigtimes                 {symbols}{\mathop}
+\Decl@Mn@Char\tbigwedge                 {symbols}{\mathop}
+\Decl@Mn@Char\dbigwedge                 {symbols}{\mathop}
+\Decl@Mn@Char\tbigvee                   {symbols}{\mathop}
+\Decl@Mn@Char\dbigvee                   {symbols}{\mathop}
+\Decl@Mn@Char\tbigwedgedot              {symbols}{\mathop}
+\Decl@Mn@Char\dbigwedgedot              {symbols}{\mathop}
+\Decl@Mn@Char\tbigveedot                {symbols}{\mathop}
+\Decl@Mn@Char\dbigveedot                {symbols}{\mathop}
+\Decl@Mn@Char\tbigdoublewedge           {symbols}{\mathop}
+\Decl@Mn@Char\dbigdoublewedge           {symbols}{\mathop}
+\Decl@Mn@Char\tbigdoublevee             {symbols}{\mathop}
+\Decl@Mn@Char\dbigdoublevee             {symbols}{\mathop}
+\Decl@Mn@Char\tbigcurlywedge            {symbols}{\mathop}
+\Decl@Mn@Char\dbigcurlywedge            {symbols}{\mathop}
+\Decl@Mn@Char\tbigcurlyvee              {symbols}{\mathop}
+\Decl@Mn@Char\dbigcurlyvee              {symbols}{\mathop}
+\Decl@Mn@Char\tbigcurlywedgedot         {symbols}{\mathop}
+\Decl@Mn@Char\dbigcurlywedgedot         {symbols}{\mathop}
+\Decl@Mn@Char\tbigcurlyveedot           {symbols}{\mathop}
+\Decl@Mn@Char\dbigcurlyveedot           {symbols}{\mathop}
+\Decl@Mn@Char\tbigdoublecurlywedge      {symbols}{\mathop}
+\Decl@Mn@Char\dbigdoublecurlywedge      {symbols}{\mathop}
+\Decl@Mn@Char\tbigdoublecurlyvee        {symbols}{\mathop}
+\Decl@Mn@Char\dbigdoublecurlyvee        {symbols}{\mathop}
+\Decl@Mn@Char\tbigcap                   {symbols}{\mathop}
+\Decl@Mn@Char\dbigcap                   {symbols}{\mathop}
+\Decl@Mn@Char\tbigcup                   {symbols}{\mathop}
+\Decl@Mn@Char\dbigcup                   {symbols}{\mathop}
+\Decl@Mn@Char\tbigcapdot                {symbols}{\mathop}
+\Decl@Mn@Char\dbigcapdot                {symbols}{\mathop}
+\Decl@Mn@Char\tbigcupdot                {symbols}{\mathop}
+\Decl@Mn@Char\dbigcupdot                {symbols}{\mathop}
+\Decl@Mn@Char\tbigcapplus               {symbols}{\mathop}
+\Decl@Mn@Char\dbigcapplus               {symbols}{\mathop}
+\Decl@Mn@Char\tbigcupplus               {symbols}{\mathop}
+\Decl@Mn@Char\dbigcupplus               {symbols}{\mathop}
+\Decl@Mn@Char\tbigsqcap                 {symbols}{\mathop}
+\Decl@Mn@Char\dbigsqcap                 {symbols}{\mathop}
+\Decl@Mn@Char\tbigsqcup                 {symbols}{\mathop}
+\Decl@Mn@Char\dbigsqcup                 {symbols}{\mathop}
+\Decl@Mn@Char\tbigsqcapdot              {symbols}{\mathop}
+\Decl@Mn@Char\dbigsqcapdot              {symbols}{\mathop}
+\Decl@Mn@Char\tbigsqcupdot              {symbols}{\mathop}
+\Decl@Mn@Char\dbigsqcupdot              {symbols}{\mathop}
+\Decl@Mn@Char\tbigsqcapplus             {symbols}{\mathop}
+\Decl@Mn@Char\dbigsqcapplus             {symbols}{\mathop}
+\Decl@Mn@Char\tbigsqcupplus             {symbols}{\mathop}
+\Decl@Mn@Char\dbigsqcupplus             {symbols}{\mathop}
+\Decl@Mn@Char\tbigcircle                {symbols}{\mathop}
+\Decl@Mn@Char\dbigcircle                {symbols}{\mathop}
+\Decl@Mn@Char\tbigominus                {symbols}{\mathop}
+\Decl@Mn@Char\dbigominus                {symbols}{\mathop}
+\Decl@Mn@Char\tbigovert                 {symbols}{\mathop}
+\Decl@Mn@Char\dbigovert                 {symbols}{\mathop}
+\Decl@Mn@Char\tbigoslash                {symbols}{\mathop}
+\Decl@Mn@Char\dbigoslash                {symbols}{\mathop}
+\Decl@Mn@Char\tbigobackslash            {symbols}{\mathop}
+\Decl@Mn@Char\dbigobackslash            {symbols}{\mathop}
+\Decl@Mn@Char\tbigoplus                 {symbols}{\mathop}
+\Decl@Mn@Char\dbigoplus                 {symbols}{\mathop}
+\Decl@Mn@Char\tbigotimes                {symbols}{\mathop}
+\Decl@Mn@Char\dbigotimes                {symbols}{\mathop}
+\Decl@Mn@Char\tbigodot                  {symbols}{\mathop}
+\Decl@Mn@Char\dbigodot                  {symbols}{\mathop}
+\Decl@Mn@Char\tbigocirc                 {symbols}{\mathop}
+\Decl@Mn@Char\dbigocirc                 {symbols}{\mathop}
+\Decl@Mn@Char\tbigotriangle             {symbols}{\mathop}
+\Decl@Mn@Char\dbigotriangle             {symbols}{\mathop}
+\Decl@Mn@Char\tbigoast                  {symbols}{\mathop}
+\Decl@Mn@Char\dbigoast                  {symbols}{\mathop}
+\Decl@Mn@Char\tbigostar                 {symbols}{\mathop}
+\Decl@Mn@Char\dbigostar                 {symbols}{\mathop}
+\Decl@Mn@Char\tprod                     {symbols}{\mathop}
+\Decl@Mn@Char\dprod                     {symbols}{\mathop}
+\Decl@Mn@Char\tcoprod                   {symbols}{\mathop}
+\Decl@Mn@Char\dcoprod                   {symbols}{\mathop}
+\Decl@Mn@Char\tsum                      {symbols}{\mathop}
+\Decl@Mn@Char\dsum                      {symbols}{\mathop}
+\Decl@Mn@Char\tint                      {symbols}{\mathop}
+\Decl@Mn@Char\dint                      {symbols}{\mathop}
+\Decl@Mn@Char\tiint                     {symbols}{\mathop}
+\Decl@Mn@Char\diint                     {symbols}{\mathop}
+\Decl@Mn@Char\tiiint                    {symbols}{\mathop}
+\Decl@Mn@Char\diiint                    {symbols}{\mathop}
+\Decl@Mn@Char\tiiiint                   {symbols}{\mathop}
+\Decl@Mn@Char\diiiint                   {symbols}{\mathop}
+\Decl@Mn@Char\tidotsint                 {symbols}{\mathop}
+\Decl@Mn@Char\didotsint                 {symbols}{\mathop}
+\Decl@Mn@Char\tlandupint                {symbols}{\mathop}
+\Decl@Mn@Char\dlandupint                {symbols}{\mathop}
+\Decl@Mn@Char\tlanddownint              {symbols}{\mathop}
+\Decl@Mn@Char\dlanddownint              {symbols}{\mathop}
+\Decl@Mn@Char\tstrokedint               {symbols}{\mathop}
+\Decl@Mn@Char\dstrokedint               {symbols}{\mathop}
+\Decl@Mn@Char\toint                     {symbols}{\mathop}
+\Decl@Mn@Char\doint                     {symbols}{\mathop}
+\Decl@Mn@Char\toiint                    {symbols}{\mathop}
+\Decl@Mn@Char\doiint                    {symbols}{\mathop}
+\Decl@Mn@Char\trcirclerightint          {symbols}{\mathop}
+\Decl@Mn@Char\drcirclerightint          {symbols}{\mathop}
+\Decl@Mn@Char\tlcirclerightint          {symbols}{\mathop}
+\Decl@Mn@Char\dlcirclerightint          {symbols}{\mathop}
+\Decl@Mn@Char\trcircleleftint           {symbols}{\mathop}
+\Decl@Mn@Char\drcircleleftint           {symbols}{\mathop}
+\Decl@Mn@Char\tlcircleleftint           {symbols}{\mathop}
+\Decl@Mn@Char\dlcircleleftint           {symbols}{\mathop}
+\Decl@Mn@Char\tsumint                   {symbols}{\mathop}
+\Decl@Mn@Char\dsumint                   {symbols}{\mathop}
+\Decl@Mn@Char\partialvartint            {symbols}{\mathop}
+\Decl@Mn@Char\partialvardint            {symbols}{\mathop}
+\Decl@Mn@Char\partialvartlandupint      {symbols}{\mathop}
+\Decl@Mn@Char\partialvardlandupint      {symbols}{\mathop}
+\Decl@Mn@Char\partialvartlanddownint    {symbols}{\mathop}
+\Decl@Mn@Char\partialvardlanddownint    {symbols}{\mathop}
+\Decl@Mn@Char\partialvartstrokedint     {symbols}{\mathop}
+\Decl@Mn@Char\partialvardstrokedint     {symbols}{\mathop}
+\Decl@Mn@Char\partialvartoint           {symbols}{\mathop}
+\Decl@Mn@Char\partialvardoint           {symbols}{\mathop}
+\Decl@Mn@Char\partialvartoiint          {symbols}{\mathop}
+\Decl@Mn@Char\partialvardoiint          {symbols}{\mathop}
+\Decl@Mn@Char\partialvartrcirclerightint{symbols}{\mathop}
+\Decl@Mn@Char\partialvardrcirclerightint{symbols}{\mathop}
+\Decl@Mn@Char\partialvartlcirclerightint{symbols}{\mathop}
+\Decl@Mn@Char\partialvardlcirclerightint{symbols}{\mathop}
+\Decl@Mn@Char\partialvartrcircleleftint {symbols}{\mathop}
+\Decl@Mn@Char\partialvardrcircleleftint {symbols}{\mathop}
+\Decl@Mn@Char\partialvartlcircleleftint {symbols}{\mathop}
+\Decl@Mn@Char\partialvardlcircleleftint {symbols}{\mathop}
+\Decl@Mn@Char\partialvartsumint         {symbols}{\mathop}
+\Decl@Mn@Char\partialvardsumint         {symbols}{\mathop}
+\Decl@Mn@Char\tcomplement               {symbols}{\mathop}
+\Decl@Mn@Char\dcomplement               {symbols}{\mathop}
+
+\let\intop\tint
+\let\ointop\toint
+\Decl@Mn@Int\iint\diint\tiint
+\Decl@Mn@Int\iiint\diiint\tiiint
+\Decl@Mn@Int\iiiint\diiiint\tiiiint
+\Decl@Mn@Int\idotsint\didotsint\tidotsint
+\Decl@Mn@Int\landupint\dlandupint\tlandupint
+\Decl@Mn@Int\landdownint\dlanddownint\tlanddownint
+\Decl@Mn@Int\strokedint\dstrokedint\tstrokedint
+\Decl@Mn@Int\oiint\doiint\toiint
+\Decl@Mn@Int\rcirclerightint\drcirclerightint\trcirclerightint
+\Decl@Mn@Int\lcirclerightint\dlcirclerightint\tlcirclerightint
+\Decl@Mn@Int\rcircleleftint\drcircleleftint\trcircleleftint
+\Decl@Mn@Int\lcircleleftint\dlcircleleftint\tlcircleleftint
+\Decl@Mn@Int\sumint\dsumint\tsumint
+
+\def\intkern@{\mkern-10mu\mathchoice{\mkern-6mu}{}{}{}}
+\def\intdots@{\mkern-7mu%
+  \mathchoice{\mkern-3mu\@cdots\mkern-3mu}%
+  {{\cdotp}\mkern0.5mu{\cdotp}\mkern0.5mu{\cdotp}}%
+  {{\cdotp}{\cdotp}{\cdotp}}%
+  {{\cdotp}{\cdotp}{\cdotp}}%
+  \mkern-6mu}
+
+\Decl@Mn@Op\bigplus\dbigplus\tbigplus
+\Decl@Mn@Op\bigtimes\dbigtimes\tbigtimes
+\Decl@Mn@Op\bigwedge\dbigwedge\tbigwedge
+\Decl@Mn@Op\bigvee\dbigvee\tbigvee
+\Decl@Mn@Op\bigwedgedot\dbigwedgedot\tbigwedgedot
+\Decl@Mn@Op\bigveedot\dbigveedot\tbigveedot
+\Decl@Mn@Op\bigdoublewedge\dbigdoublewedge\tbigdoublewedge
+\Decl@Mn@Op\bigdoublevee\dbigdoublevee\tbigdoublevee
+\Decl@Mn@Op\bigcurlywedge\dbigcurlywedge\tbigcurlywedge
+\Decl@Mn@Op\bigcurlyvee\dbigcurlyvee\tbigcurlyvee
+\Decl@Mn@Op\bigcurlywedgedot\dbigcurlywedgedot\tbigcurlywedgedot
+\Decl@Mn@Op\bigcurlyveedot\dbigcurlyveedot\tbigcurlyveedot
+\Decl@Mn@Op\bigdoublecurlywedge\dbigdoublecurlywedge\tbigdoublecurlywedge
+\Decl@Mn@Op\bigdoublecurlyvee\dbigdoublecurlyvee\tbigdoublecurlyvee
+\Decl@Mn@Op\bigcap\dbigcap\tbigcap
+\Decl@Mn@Op\bigcup\dbigcup\tbigcup
+\Decl@Mn@Op\bigcapdot\dbigcapdot\tbigcapdot
+\Decl@Mn@Op\bigcupdot\dbigcupdot\tbigcupdot
+\Decl@Mn@Op\bigcapplus\dbigcapplus\tbigcapplus
+\Decl@Mn@Op\bigcupplus\dbigcupplus\tbigcupplus
+  \let\biguplus\bigcupplus
+\Decl@Mn@Op\bigsqcap\dbigsqcap\tbigsqcap
+\Decl@Mn@Op\bigsqcup\dbigsqcup\tbigsqcup
+\Decl@Mn@Op\bigsqcapdot\dbigsqcapdot\tbigsqcapdot
+\Decl@Mn@Op\bigsqcupdot\dbigsqcupdot\tbigsqcupdot
+\Decl@Mn@Op\bigsqcapplus\dbigsqcapplus\tbigsqcapplus
+\Decl@Mn@Op\bigsqcupplus\dbigsqcupplus\tbigsqcupplus
+\Decl@Mn@Op\bigcircle\dbigcircle\tbigcircle
+\Decl@Mn@Op\bigominus\dbigominus\tbigominus
+\Decl@Mn@Op\bigovert\dbigovert\tbigovert
+\Decl@Mn@Op\bigoslash\dbigoslash\tbigoslash
+\Decl@Mn@Op\bigobackslash\dbigobackslash\tbigobackslash
+\Decl@Mn@Op\bigoplus\dbigoplus\tbigoplus
+\Decl@Mn@Op\bigotimes\dbigotimes\tbigotimes
+\Decl@Mn@Op\bigodot\dbigodot\tbigodot
+\Decl@Mn@Op\bigocirc\dbigocirc\tbigocirc
+\Decl@Mn@Op\bigotriangle\dbigotriangle\tbigotriangle
+\Decl@Mn@Op\bigoast\dbigoast\tbigoast
+\Decl@Mn@Op\bigostar\dbigostar\tbigostar
+\Decl@Mn@Op\sum\dsum\tsum
+\Decl@Mn@Op\prod\dprod\tprod
+\Decl@Mn@Op\coprod\dcoprod\tcoprod
+\Decl@Mn@Op\complement\dcomplement\tcomplement
+%    \end{macrocode}
+%
+% Delimiters.
+%
+%    \begin{macrocode}
+\let\lfloor\undefined
+\let\rfloor\undefined
+\let\lceil\undefined
+\let\rceil\undefined
+\let\langle\undefined
+\let\rangle\undefined
+
+\Decl@Mn@Open {[}                   {largesymbols}{'000}
+\Decl@Mn@Close{]}                   {largesymbols}{'005}
+\Decl@Mn@Open {\lfloor}             {largesymbols}{'012}
+\Decl@Mn@Close{\rfloor}             {largesymbols}{'017}
+\Decl@Mn@Open {\lceil}              {largesymbols}{'024}
+\Decl@Mn@Close{\rceil}              {largesymbols}{'031}
+\Decl@Mn@Open {\ulcorner}           {largesymbols}{'036}
+\Decl@Mn@Close{\urcorner}           {largesymbols}{'043}
+\Decl@Mn@Open {\llcorner}           {largesymbols}{'050}
+\Decl@Mn@Close{\lrcorner}           {largesymbols}{'055}
+\Decl@Mn@Open {\ullcorner}          {largesymbols}{'062}
+\Decl@Mn@Close{\ulrcorner}          {largesymbols}{'067}
+\Decl@Mn@Open {\lsem}               {largesymbols}{'102}
+\Decl@Mn@Close{\rsem}               {largesymbols}{'107}
+\Decl@Mn@Delim{|}         {\mathord}{largesymbols}{'123}
+\Decl@Mn@Delim{\vert}     {\mathord}{largesymbols}{'123}
+\Decl@Mn@Delim{\mvert}    {\mathrel}{largesymbols}{'123}
+  \let\mid\mvert
+\Decl@Mn@Open {\lvert}              {largesymbols}{'123}
+\Decl@Mn@Close{\rvert}              {largesymbols}{'123}
+\Decl@Mn@Delim{\Vert}     {\mathord}{largesymbols}{'131}
+  \let\|\Vert
+\Decl@Mn@Delim{\mVert}    {\mathrel}{largesymbols}{'131}
+\Decl@Mn@Open {\lVert}              {largesymbols}{'131}
+\Decl@Mn@Close{\rVert}              {largesymbols}{'131}
+\Decl@Mn@Delim{\arrowvert}{\mathord}{largesymbols}{'122}
+\Decl@Mn@Delim{\Arrowvert}{\mathord}{largesymbols}{'130}
+\Decl@Mn@Open {\lwavy}              {largesymbols}{'136}
+\Decl@Mn@Close{\rwavy}              {largesymbols}{'136}
+\Decl@Mn@Open {\lWavy}              {largesymbols}{'137}
+\Decl@Mn@Close{\rWavy}              {largesymbols}{'137}
+
+\Decl@Mn@Open {<}                   {largesymbols}{'140}
+\Decl@Mn@Close{>}                   {largesymbols}{'145}
+\Decl@Mn@Open {\langle}             {largesymbols}{'140}
+\Decl@Mn@Close{\rangle}             {largesymbols}{'145}
+\Decl@Mn@Open {\langlebar}          {largesymbols}{'152}
+\Decl@Mn@Close{\ranglebar}          {largesymbols}{'157}
+\Decl@Mn@Open {\llangle}            {largesymbols}{'164}
+\Decl@Mn@Close{\rrangle}            {largesymbols}{'171}
+\Decl@Mn@Delim{/}         {\mathord}{largesymbols}{'176}
+\Decl@Mn@Delim{\backslash}{\mathord}{largesymbols}{'203}
+\expandafter\DeclareMathDelimiter\@backslashchar
+                          {\mathord}{largesymbols}{'203}{largesymbols}{'203}
+\Decl@Mn@Open {(}                   {largesymbols}{'210}
+\Decl@Mn@Close{)}                   {largesymbols}{'215}
+\Decl@Mn@Open {\lbrace}             {largesymbols}{'230}
+\Decl@Mn@Close{\rbrace}             {largesymbols}{'235}
+\Decl@Mn@Close{\lgroup}             {largesymbols}{'242}
+\Decl@Mn@Open {\rgroup}             {largesymbols}{'243}
+\Decl@Mn@Close{\rmoustache}         {largesymbols}{'244}
+\Decl@Mn@Open {\lmoustache}         {largesymbols}{'245}
+\Decl@Mn@Delim{\bracevert}{\mathord}{largesymbols}{'250}
+%    \end{macrocode}
+%
+% Support for expandable braces.
+%
+%    \begin{macrocode}
+\DeclareMathSymbol{\downbrace}    {\mathord}{largesymbols}{'251}
+\DeclareMathSymbol{\downbraceg}   {\mathord}{largesymbols}{'252}
+\DeclareMathSymbol{\downbracegg}  {\mathord}{largesymbols}{'253}
+\DeclareMathSymbol{\downbraceggg} {\mathord}{largesymbols}{'254}
+\DeclareMathSymbol{\downbracegggg}{\mathord}{largesymbols}{'255}
+\DeclareMathSymbol{\upbrace}      {\mathord}{largesymbols}{'256}
+\DeclareMathSymbol{\upbraceg}     {\mathord}{largesymbols}{'257}
+\DeclareMathSymbol{\upbracegg}    {\mathord}{largesymbols}{'260}
+\DeclareMathSymbol{\upbraceggg}   {\mathord}{largesymbols}{'261}
+\DeclareMathSymbol{\upbracegggg}  {\mathord}{largesymbols}{'262}
+\DeclareMathSymbol{\braceld}      {\mathord}{largesymbols}{'263}
+\DeclareMathSymbol{\bracelu}      {\mathord}{largesymbols}{'264}
+\DeclareMathSymbol{\bracerd}      {\mathord}{largesymbols}{'265}
+\DeclareMathSymbol{\braceru}      {\mathord}{largesymbols}{'266}
+\DeclareMathSymbol{\bracemd}      {\mathord}{largesymbols}{'267}
+\DeclareMathSymbol{\bracemu}      {\mathord}{largesymbols}{'270}
+\DeclareMathSymbol{\bracemid}     {\mathord}{largesymbols}{'271}
+
+\let\uparrow\undefined
+\let\downarrow\undefined
+\let\updownarrow\undefined
+\let\Uparrow\undefined
+\let\Downarrow\undefined
+\let\Updownarrow\undefined
+\DeclareMathDelimiter{\uparrow}    {\mathrel}{MnSyA}{'001}{largesymbols}{'325}
+\DeclareMathDelimiter{\downarrow}  {\mathrel}{MnSyA}{'003}{largesymbols}{'326}
+\DeclareMathDelimiter{\updownarrow}{\mathrel}{MnSyA}{'021}{largesymbols}{'327}
+\DeclareMathDelimiter{\Uparrow}    {\mathrel}{MnSyA}{'011}{largesymbols}{'330}
+\DeclareMathDelimiter{\Downarrow}  {\mathrel}{MnSyA}{'013}{largesymbols}{'331}
+\DeclareMathDelimiter{\Updownarrow}{\mathrel}{MnSyA}{'025}{largesymbols}{'332}
+
+
+% \horiz@expandable{sym1}..{sym6}{style}{arg}
+
+\def\horiz@expandable#1#2#3#4#5#6#7#8{%
+  \@mathmeasure\z@#7{#8}%
+  \@tempdima=\wd\z@
+  \@mathmeasure\z@#7{#1}%
+  \ifdim\noexpand\wd\z@>\@tempdima
+    $\m@th#7#1$%
+  \else
+    \@mathmeasure\z@#7{#2}%
+    \ifdim\noexpand\wd\z@>\@tempdima
+      $\m@th#7#2$%
+    \else
+      \@mathmeasure\z@#7{#3}%
+      \ifdim\noexpand\wd\z@>\@tempdima
+        $\m@th#7#3$%
+      \else
+        \@mathmeasure\z@#7{#4}%
+        \ifdim\noexpand\wd\z@>\@tempdima
+          $\m@th#7#4$%
+        \else
+          \@mathmeasure\z@#7{#5}%
+          \ifdim\noexpand\wd\z@>\@tempdima
+            $\m@th#7#5$%
+          \else
+           #6#7%
+          \fi
+        \fi
+      \fi
+    \fi
+  \fi}
+
+\def\overbrace@expandable#1#2#3{\vbox{\m@th\ialign{##\crcr
+  #1#2{#3}\crcr\noalign{\kern2\p@\nointerlineskip}%
+  $\m@th\hfil#2#3\hfil$\crcr}}}
+\def\underbrace@expandable#1#2#3{\vtop{\m@th\ialign{##\crcr
+  $\m@th\hfil#2#3\hfil$\crcr
+  \noalign{\kern2\p@\nointerlineskip}%
+  #1#2{#3}\crcr}}}
+
+\def\overbrace@#1#2#3{\vbox{\m@th\ialign{##\crcr
+  #1#2\crcr\noalign{\kern2\p@\nointerlineskip}%
+  $\m@th\hfil#2#3\hfil$\crcr}}}
+\def\underbrace@#1#2#3{\vtop{\m@th\ialign{##\crcr
+  $\m@th\hfil#2#3\hfil$\crcr
+  \noalign{\kern2\p@\nointerlineskip}%
+  #1#2\crcr}}}
+
+\def\bracefill@#1#2#3#4#5{$\m@th#5#1\leaders\hbox{$#4$}\hfill#2\leaders\hbox{$#4$}\hfill#3$}
+
+\def\downbracefill@{\bracefill@\braceld\bracemd\bracerd\bracemid}
+\def\upbracefill@{\bracefill@\bracelu\bracemu\braceru\bracemid}
+\def\downgroupfill@{\bracefill@\braceld{}\bracerd\bracemid}
+\def\upgroupfill@{\bracefill@\bracelu{}\braceru\bracemid}
+\def\linesegmentfill@{\arrowfill@\leftfootline\relbar\rightfootline}
+\def\leftharpoonfill@{\arrowfill@\leftharpoondown\relbar\relbar}
+\def\rightharpoonfill@{\arrowfill@\relbar\relbar\rightharpoonup}
+
+\DeclareRobustCommand{\downbracefill}{\downbracefill@\textstyle}
+\DeclareRobustCommand{\upbracefill}{\upbracefill@\textstyle}
+
+\def\upbrace@expandable{%
+  \horiz@expandable
+    \upbrace
+    \upbraceg
+    \upbracegg
+    \upbraceggg
+    \upbracegggg
+    \upbracefill@}
+\def\downbrace@expandable{%
+  \horiz@expandable
+    \downbrace
+    \downbraceg
+    \downbracegg
+    \downbraceggg
+    \downbracegggg
+    \downbracefill@}
+
+\DeclareRobustCommand{\overbrace}[1]{\mathop{\mathpalette{\overbrace@expandable\downbrace@expandable}{#1}}\limits}
+\DeclareRobustCommand{\underbrace}[1]{\mathop{\mathpalette{\underbrace@expandable\upbrace@expandable}{#1}}\limits}
+
+\DeclareRobustCommand{\overgroup}{\mathpalette{\overbrace@\downgroupfill@}}
+\DeclareRobustCommand{\undergroup}{\mathpalette{\underbrace@\upgroupfill@}}
+\DeclareRobustCommand{\overlinesegment}{\mathpalette{\overarrow@\linesegmentfill@}}
+\DeclareRobustCommand{\overleftharpoon}{\mathpalette{\overarrow@\leftharpoonfill@}}
+\DeclareRobustCommand{\overrightharpoon}{\mathpalette{\overarrow@\rightharpoonfill@}}
+\DeclareRobustCommand{\underlinesegment}{\mathpalette{\underarrow@\linesegmentfill@}}
+%    \end{macrocode}
+%
+% Mathchars.
+%
+%    \begin{macrocode}
+\DeclareMathSymbol{=}{\mathrel}  {MnSyD}{'000}
+\DeclareMathSymbol{<}{\mathrel}  {MnSyD}{'100}
+\DeclareMathSymbol{>}{\mathrel}  {MnSyD}{'101}
+\DeclareMathSymbol{+}{\mathbin}  {MnSyC}{'024}
+\DeclareMathSymbol{-}{\mathbin}  {MnSyC}{'020}
+\DeclareMathSymbol{*}{\mathbin}  {MnSyC}{'207}
+\DeclareMathSymbol{|}{\mathord}  {largesymbols}{'123}
+\DeclareMathSymbol{(}{\mathopen} {largesymbols}{'210}
+\DeclareMathSymbol{)}{\mathclose}{largesymbols}{'215}
+\DeclareMathSymbol{:}{\mathrel}  {MnSyC}{'002}
+\DeclareMathSymbol{[}{\mathopen} {largesymbols}{'000}
+\DeclareMathSymbol{]}{\mathclose}{largesymbols}{'005}
+\DeclareMathSymbol{/}{\mathord}  {largesymbols}{'176}
+
+\DeclareMathRadical{\sqrtsign}{largesymbols}{'272}{largesymbols}{'272}
+\DeclareRobustCommand{\surd}{{\mathchar'11672}}
+
+\DeclareMathAccent{\widehat}{\mathord}{largesymbols}{'302}
+\DeclareMathAccent{\widetilde}{\mathord}{largesymbols}{'307}
+\DeclareMathAccent{\wideparen}{\mathord}{largesymbols}{'314}
+\DeclareMathAccent{\vec}{\mathord}{largesymbols}{'321}
+\DeclareMathAccent{\middlebar}{\mathord}{largesymbols}{'322}
+\DeclareMathAccent{\middleslash}{\mathord}{largesymbols}{'323}
+\DeclareMathAccent{\strokethrough}{\mathord}{largesymbols}{'324}
+%    \end{macrocode}
+%
+% There is no |\not| symbol in MnSymbol since all symbols come with a stroked companion.
+% For compatibility we define a |\not| command that places a virgule over the following symbol.
+%
+%    \begin{macrocode}
+%\def\overstrike#1#2{%
+%  \mathchoice
+%    {\@overstrike\displaystyle{#1}{#2}}%
+%    {\@overstrike\textstyle{#1}{#2}}%
+%    {\@overstrike\scriptstyle{#1}{#2}}%
+%    {\@overstrike\scriptscriptstyle{#1}{#2}}%
+%  #2}
+%\def\@overstrike#1#2#3{%
+%  {\setbox0\hbox{$\m@th#1#3$}%
+%   \hbox to \wd0{\hss$\m@th#1#2$\hss}%
+%   \kern-\wd0}}
+%\def\not#1{\mathrel{\overstrike{/}{#1}}}
+\def\c@ncel#1#2{\m@th\ooalign{$\hfil#1/\hfil$\crcr$#1#2$}}
+\def\not#1{\mathrel{\m@th\mathpalette\c@ncel{#1}}}
+%
+%\renewcommand{\AmSfont}{%
+%  \usefont{OMS}{MnSymbolS}{\if\@xp\@car\f@series\@nil bb\else m\fi}{n}}
+%</style>
+%    \end{macrocode}
+\endinput
diff --git a/Master/texmf-dist/source/latex/mnsymbol/MnSymbol.ins b/Master/texmf-dist/source/latex/mnsymbol/MnSymbol.ins
new file mode 100644
index 00000000000..4292939cd60
--- /dev/null
+++ b/Master/texmf-dist/source/latex/mnsymbol/MnSymbol.ins
@@ -0,0 +1,23 @@
+\def\batchfile{MnSymbol.ins}
+\input docstrip.tex
+
+\preamble
+
+These files are public domain.
+
+\endpreamble
+
+\postamble
+vim:set ft=tex:
+\endpostamble
+
+\keepsilent
+\askforoverwritetrue
+
+\generate{%
+  \file{MnSymbol.drv}{\from{MnSymbol.dtx}{driver}}
+  \file{MnSymbol.sty}{\from{MnSymbol.dtx}{style}}
+}
+
+\endinput
+% vim:set ft=tex: