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