\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
