\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