diff options
Diffstat (limited to 'Master/texmf-dist/source')
-rw-r--r-- | Master/texmf-dist/source/latex/mnsymbol/MnSymbol.drv | 21 | ||||
-rw-r--r-- | Master/texmf-dist/source/latex/mnsymbol/MnSymbol.dtx | 3456 | ||||
-rw-r--r-- | Master/texmf-dist/source/latex/mnsymbol/MnSymbol.ins | 23 |
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: |