new font package mdsymbol (8jan12)

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

2 files changed, 3719 insertions, 0 deletions

diff --git a/Master/texmf-dist/source/latex/mdsymbol/mdsymbol.dtx b/Master/texmf-dist/source/latex/mdsymbol/mdsymbol.dtx
new file mode 100644
index 00000000000..7fdafd14e40
--- /dev/null
+++ b/Master/texmf-dist/source/latex/mdsymbol/mdsymbol.dtx
@@ -0,0 +1,3666 @@
+% \iffalse meta-comment
+%
+% Copyright (c) 2011 by Sebastian Schubert <schubert.seb@googlemail.com>
+%
+% This work may be distributed and/or modified under the
+% conditions of the LaTeX Project Public License, either version 1.3c
+% of this license or (at your option) any later version.
+% The latest version of this license is in
+%   http://www.latex-project.org/lppl.txt
+% and version 1.3 or later is part of all distributions of LaTeX
+% version 2005/12/01 or later.
+%
+% This work has the LPPL maintenance status `maintained'.
+% 
+% The Current Maintainer of this work is Sebastian Schubert.
+%
+% This work consists of the files mdsymbol.dtx, mdsymbol.ins
+% and the derived files mdsymbol.pdf and mdsymbol.sty.
+%
+% \fi
+%
+%\iffalse
+%<*driver>
+\ProvidesFile{mdsymbol.dtx}[2012/01/07 v0.3 MdSymbol support package]
+%</driver>
+%<style>\NeedsTeXFormat{LaTeX2e}[1999/12/01]
+%<style>\ProvidesPackage{mdsymbol}[2012/01/07 v0.3 MdSymbol support package]
+%<*driver>
+\documentclass[10pt]{ltxdoc}
+
+\usepackage{multicol}
+\usepackage[T1]{fontenc}
+\IfFileExists{MyriadPro.sty}{%
+  \usepackage[footnotefigures,medfamily]{MyriadPro}
+  \renewcommand{\familydefault}{\sfdefault}
+  \DeclareFontFamily{T1}{mdsylmtt}{}
+  \DeclareFontShape{T1}{mdsylmtt}{m}{n}
+  { <-> [1.11] ec-lmtt10}{}
+  \renewcommand{\ttdefault}{mdsylmtt}
+  \usepackage[toc,eqno,enum,bib,lineno]{tabfigures}
+}{%
+  \usepackage{lmodern}
+  \usepackage{mdsymbol}
+}
+\usepackage{booktabs,paralist}
+\usepackage{hypdoc}
+\usepackage{microtype}
+
+\hypersetup{
+  bookmarksnumbered,
+  colorlinks=false,
+  pdfborder={0 0 0},
+  pdftitle={MdSymbol: A Math Symbol Font},
+  pdfauthor={Sebastian Schubert}
+}
+
+\linespread{1.1}
+
+\newcommand{\pkg}[1]{\mbox{#1}}
+\newcommand{\opt}[1]{\mbox{\texttt{#1}}}
+\newcommand{\mainopt}[1]{\mbox{\textbf{#1}}}
+\newcommand{\file}[1]{\texttt{#1}}
+\providecommand{\figureversion}[1]{}
+
+\renewcommand{\theCodelineNo}%
+  {\normalfont\figureversion{tab}\scriptsize\arabic{CodelineNo}}
+
+\begin{document}
+\DocInput{mdsymbol.dtx}
+\end{document}
+%</driver>
+%\fi
+%
+% \CheckSum{4274}
+% \CharacterTable
+%  {Upper-case    \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
+%   Lower-case    \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
+%   Digits        \0\1\2\3\4\5\6\7\8\9
+%   Exclamation   \!     Double quote  \"     Hash (number) \#
+%   Dollar        \$     Percent       \%     Ampersand     \&
+%   Acute accent  \'     Left paren    \(     Right paren   \)
+%   Asterisk      \*     Plus          \+     Comma         \,
+%   Minus         \-     Point         \.     Solidus       \/
+%   Colon         \:     Semicolon     \;     Less than     \<
+%   Equals        \=     Greater than  \>     Question mark \?
+%   Commercial at \@     Left bracket  \[     Backslash     \\
+%   Right bracket \]     Circumflex    \^     Underscore    \_
+%   Grave accent  \`     Left brace    \{     Vertical bar  \|
+%   Right brace   \}     Tilde         \~}
+%
+% \GetFileInfo{mdsymbol.dtx}
+%
+% \title{MdSymbol: A Math Symbol Font}
+% \author{Sebastian Schubert \\ \texttt{schubert.seb@googlemail.com}}
+% \date{\fileversion\ -- \filedate}
+% \maketitle
+% \tableofcontents
+%
+% \section{Introduction}
+%
+% MdSymbol is a font of mathematical symbols designed as a companion
+% to Adobe Myriad Pro, but it might also fit well to other
+% contemporary typefaces.  To use this font in a \LaTeX\ document, add
+% the command
+% \begin{quote}
+%   |\usepackage|\oarg{options}|{mdsymbol}|
+% \end{quote}
+% to the preamble of your document. With default settings, it
+% redefines most of the standard mathematical symbols and makes
+% available many new ones (see Section~\ref{sec:glyphs}). With the
+% \opt{onlysansmath} option, the symbols are only defined for two new
+% math versions, sans and sansbold. This allows to easily use two
+% distinct math fonts in one document.  For details and the other
+% available options see section~\ref{sec:selection}.
+%
+% \subsubsection*{Acknowledgements}
+%
+% The MdSymbol font is heavily based on
+% FdSymbol\footnote{\url{http://www.ctan.org/pkg/fdsymbol/}}, another
+% math symbol font, designed by Michael Ummels.  All supporting
+% scripts (to e.g. convert the MetaFont sources to Type~1 fonts) were
+% written by him.  I got a lot of help in |comp.text.tex| so basically
+% the main code implementing the \opt{onlysansmath} functionality is
+% written by Bruno Le Floch, Enrico Gregorio, Lars Madsen and Heiko
+% Oberdiek; the ugly parts and bugs by me.
+%
+% \section{Interferences with other packages}
+%
+% The \pkg{mdsymbol} package is incompatible with the \pkg{amssymb} and
+% \pkg{amsfonts} packages. It automatically loads the \pkg{amsmath} and
+% \pkg{textcomp} packages. If you want to pass options to these packages, you
+% can either load these packages before \pkg{mdsymbol} or you can include the
+% options in the |\documentclass| command.
+%
+% \section{Options}\label{sec:options}
+%
+% \subsection{Font selection}\label{sec:selection}
+%
+% MdSymbol comes in four weights, which are (in increasing order)
+% Light, Regular, Semibold and Bold. Of these, Light and Regular are
+% suitable for normal math typesetting, while Semibold and Bold can be
+% used for bold math typesetting. Using the options
+% \mainopt{normalweight} and \mainopt{boldweight}, you can select
+% which weights are used. For example, to use the Light weight as the
+% normal weight in math, add \opt{normalweight=Light} to the package
+% options. Analogously, to use the Bold weight with |\boldmath| or
+% |\boldsymbol|, add \opt{boldweight=Bold} to the package options. By
+% default, Regular and Semibold are used. Additionally, it is possible
+% to use a suitable weight automatically depending on the font size.
+% By selecting \opt{autolight} or \opt{autoregular} for
+% \opt{normalweight}, Light or Regular weight, respectively, is used
+% for font sizes larger than 6pt and Regular or Semibold,
+% respectively, for smaller sizes.  Similarly, \opt{autosemibold} for
+% \opt{boldweight} selects Semibold for bold symbols larger than 6pt
+% and Bold below 6pt.
+%
+%
+%\subsection{Math Symbols only in sans serif math}\label{sec:sansmath}
+%
+% With the \mainopt{onlysansmath} option, \pkg{mdsymbol} does not change
+% already defined math symbols but declares two new math versions,
+% sans and sansbold, and defines its symbols to be only used within
+% these math versions.  Use the command |\mathversion{sans}| or
+% |\mathversion{sansbold}| to switch to this math version. Also single
+% input character symbols (e.g. |+|, |-|, |(|, |)|) adapt to the math
+% version except when used with a delimiter size increasing command
+% like |\big(|.\footnote{Any help to solve this problem is highly
+% welcome!} As a workaround, use the corresponding full command
+% instead (|\big\lparen|).
+%
+%
+%\subsection{Miscellaneous}\label{sec:Misc}
+%
+%
+% \pkg{mdsymbol} uses and combines some symbols of the text font
+% (section~\ref{sec:faked}). The option \mainopt{retainmissing}
+% prevents this.
+%
+% In order to use MdSymbol with different text fonts, it is possible
+% to scale the fonts by an arbitrary factor. This can be achieved with
+% the option \mainopt{scale}. For example, to use the fonts at 90\,\%
+% of their original size, you can add \opt{scale=0.9} to the package
+% options. Finally, it is possible to increase the height of
+% delimiters slightly (by 20\,\% in text size and by 25\,\% in |\big|
+% size). This can be achieved by activating the option
+% \mainopt{largedelims}. Use this option if you want to combine
+% MdSymbol with a text font that has rather tall delimiters.
+%
+% The following table summarises all options (keys) that can be used with the
+% \pkg{mdsymbol} package. Values that correspond to the default behaviour of
+% the package are marked by an asterisk.
+% \begin{center}
+% \begin{tabular}{@{}ll@{}}
+% \toprule
+% Key & Values \\
+% \midrule
+% \opt{normalweight} & \opt{Light}, \opt{Regular}*, \opt{autolight}, \opt{autoregular} \\
+% \opt{boldweight} & \opt{Semibold}*, \opt{Bold}, \opt{autosemibold} \\
+% \opt{onlysansmath} & \opt{true}, \opt{false}*\\
+% \opt{retainmissing} & \opt{true}, \opt{false}*\\
+% \opt{scale} & \meta{factor} \\
+% \opt{largedelims} & \opt{true}, \opt{false}* \\
+% \bottomrule
+% \end{tabular}
+% \end{center}
+%
+% \section{Version history}\label{sec:history}
+%
+% Version 0.1: First version\\
+% Version 0.1a: Always declare sansmathtabular and sansmathboldtabular
+% if \opt{onlysansmath} option is given\\
+% Version 0.2: Internal bugfixes\\
+% Version 0.2a:
+% \begin{compactitem}
+% \item Bugfixes of bugfixes
+% \item Issue error when using a symbol in non-sans math versions
+%   which has not been declared before loading \pkg{mdsymbol} with
+%   \opt{onlysansmath} option
+% \end{compactitem}
+% Version 0.3: Rename package to lower-case mdsymbol for CTAN upload
+%
+% \section{Symbols}\label{sec:glyphs}
+%
+% The \pkg{mdsymbol} package provides the following symbols.
+%
+% \renewcommand\cmd[1]{\texttt{\string#1}}
+% \newcommand\showsymbol[1]{\par\noindent\hangindent=3em%
+%   \makebox[2em][l]{$#1$}\cmd{#1}}
+% \newcommand\showwidesymbol[1]{\par\noindent\hangindent=4em%
+%   \makebox[3em][l]{$#1$}\cmd{#1}}
+% \newcommand\showop[1]{\par\noindent\hangindent=6em%
+%   \makebox[5em][l]{$#1$\hfill$\displaystyle#1$\hfill}\cmd{#1}}
+% \newcommand\showmbrace[1]{\par\noindent\hangindent=6em%
+%   \makebox[5em][l]{${#1}{\bigm#1}{\Bigm#1}{\biggm#1}{\Biggm#1}$}\cmd{#1}}
+% \newcommand\showlbrace[1]{\par\noindent\hangindent=6em%
+%   \makebox[5em][l]{$\Biggl#1\biggl#1\Bigl#1\bigl#1#1$}\cmd{#1}}
+% \newcommand\showrbrace[1]{\par\noindent\hangindent=6em%
+%   \makebox[5em][l]{$#1\bigr#1\Bigr#1\biggr#1\Biggr#1$}\cmd{#1}}
+% \newcommand\showover[1]{\par\noindent\hangindent=4em%
+%   \makebox[3em][l]{$#1{xxx}$}\cmd{#1}}
+% \newcommand\showaccent[1]{\par\noindent\hangindent=4em%
+%   \makebox[3em][l]{$#1b$}\cmd{#1}}
+%
+% \subsection{Ordinary symbols}
+%
+% \begin{multicols}{2}
+% \raggedright
+% \showsymbol\hdots
+% \showsymbol\vdots
+% \showsymbol\udots, \cmd{\adots}
+% \showsymbol{\ddots}
+% \showsymbol{\righttherefore}
+% \showsymbol{\uptherefore}, \cmd{\therefore}
+% \showsymbol{\lefttherefore}
+% \showsymbol{\downtherefore}, \cmd{\because}
+% \showsymbol{\squaredots}
+% \showsymbol{\neg}, \cmd{\lnot}
+% \showsymbol{\backneg}, \cmd{\invnot}, \cmd{\invneg}
+% \showsymbol{\turnedneg}, \cmd{\turnednot}
+% \showsymbol{\turnedbackneg}
+% \showsymbol{\largetriangleup}
+% \showsymbol{\largetriangledown}
+% \showsymbol{\emptyset}, \cmd{\diameter}, \cmd{\varnothing}
+% \showsymbol{\revemptyset}
+% \showsymbol{\largecircle}, \cmd{\lgwhtcircle}
+% \showsymbol{\largeblackcircle}
+% \showsymbol{\largesquare}, \cmd{\lgwhtsquare}
+% \showsymbol{\largeblacksquare}, \cmd{\lgblksquare}
+% \showsymbol{\smalllozenge}, \cmd{\smwhtlozenge}
+% \showsymbol{\smallblacklozenge}, \cmd{\smblklozenge}
+% \showsymbol{\medlozenge}, \cmd{\lozenge}, \cmd{\mdlgwhtlozenge},
+%   \cmd{\mdwhtlozenge}
+% \showsymbol{\medblacklozenge}, \cmd{\blacklozenge}, \cmd{\mdlgblklozenge},
+%   \cmd{\mdblklozenge}
+% \showsymbol{\lozengeminus}
+% \showsymbol{\largewhitestar}
+% \showsymbol{\largeblackstar}, \cmd{\bigstar}
+% \showsymbol{\infty}
+% \showsymbol{\angle}
+% \showsymbol{\revangle}
+% \showsymbol{\measuredangle}
+% \showsymbol{\revmeasuredangle}, \cmd{\measuredangleleft}
+% \showsymbol{\sphericalangle}
+% \showsymbol{\sphericalangleup}
+% \showsymbol{\sphericalangleleft}, \cmd{\revsphericalangle}, \cmd{\gtlpar}
+% \showsymbol{\sphericalangledown}
+% \showsymbol{\rightangle}
+% \showsymbol{\measuredrightangle}
+% \showsymbol{\rightanglesquare}, \cmd{\rightanglesqr}
+% \showsymbol{\measuredrightangledot}, \cmd{\rightanglemdot}
+% \showsymbol{\prime}
+% \showsymbol{\backprime}
+% \showsymbol{\checkmark}
+% \showsymbol{\lightning}, \cmd{\downzigzagarrow}
+% \showsymbol{\diamondsuit}
+% \showsymbol{\vardiamondsuit}
+% \showsymbol{\heartsuit}
+% \showsymbol{\varheartsuit}
+% \showsymbol{\spadesuit}
+% \showsymbol{\clubsuit}
+% \showsymbol{\maltese}
+% \showsymbol{\starofdavid}
+% \showsymbol{\sector}
+% \showsymbol{\forall}
+% \showsymbol{\exists}
+% \showsymbol{\nexists}
+% \showsymbol{\Finv}
+% \showsymbol{\Game}
+% \showsymbol{\complement}
+% \showsymbol{\flat}
+% \showsymbol{\natural}
+% \showsymbol{\sharp}
+% \showsymbol{\aleph}
+% \showsymbol{\beth}
+% \showsymbol{\gimel}
+% \showsymbol{\daleth}
+% \showsymbol{\wp}
+% \showsymbol{\nabla}
+% \showsymbol{\top}
+% \showsymbol{\bot}
+% \showsymbol{/}, \cmd{\mathslash}
+% \showsymbol{\backslash}
+% {\catcode`\|=11 \showsymbol{|}, \cmd{\vert}}
+% \showsymbol{\Vert}
+% \showsymbol{\Vvert}
+% \end{multicols}
+%
+% \subsection{Binary operators}
+%
+% \begin{multicols}{2}
+% \raggedright
+% \showsymbol{\cdot}
+% \showsymbol{\centerdot}
+% \showsymbol{\hdotdot}
+% \showsymbol{\vdotdot}
+% \showsymbol{\udotdot}
+% \showsymbol{\ddotdot}
+% \showsymbol{-}, \cmd{\minus}
+% \showsymbol{\medslash}, \cmd{\smalldivslash}
+% \showsymbol{\medbackslash}, \cmd{\smallsetminus}
+% \showsymbol{+}, \cmd{\plus}
+% \showsymbol{\times}
+% \showsymbol{\dotminus}
+% \showsymbol{\minusdot}
+% \showsymbol{\div}
+% \showsymbol{\minusfdots}
+% \showsymbol{\minusrdots}
+% \showsymbol{\pm}
+% \showsymbol{\mp}
+% \showsymbol{\dotplus}
+% \showsymbol{\plusdot}
+% \showsymbol{\dottimes}
+% \showsymbol{\timesbar}
+% \showsymbol{\divideontimes}
+% \showsymbol{\intprod}
+% \showsymbol{\intprodr}
+% \showsymbol{\leftthreetimes}
+% \showsymbol{\rightthreetimes}
+% \showsymbol{\dtimes}, \cmd{\btimes}
+% \showsymbol{\rtimes}
+% \showsymbol{\utimes}, \cmd{\ttimes}
+% \showsymbol{\ltimes}
+% \showsymbol{\lrtimes}
+% \showsymbol{\upbowtie}, \cmd{\hourglass}
+% \showsymbol{\rightY}
+% \showsymbol{\upY}
+% \showsymbol{\leftY}
+% \showsymbol{\downY}
+% \showsymbol{\wedge}, \cmd{\land}
+% \showsymbol{\vee}, \cmd{\lor}
+% \showsymbol{\wedgedot}
+% \showsymbol{\veedot}
+% \showsymbol{\doublewedge}, \cmd{\wedgeonwedge}
+% \showsymbol{\doublevee}, \cmd{\veeonwee}
+% \showsymbol{\curlywedge}
+% \showsymbol{\curlyvee}
+% \showsymbol{\barwedge}
+% \showsymbol{\veebar}
+% \showsymbol{\doublebarwedge}
+% \showsymbol{\veedoublebar}
+% \showsymbol{\cup}
+% \showsymbol{\cap}
+% \showsymbol{\doublecup}, \cmd{\Cup}
+% \showsymbol{\doublecap}, \cmd{\Cap}
+% \showsymbol{\cupdot}
+% \showsymbol{\capdot}
+% \showsymbol{\cupplus}, \cmd{\uplus}
+% \showsymbol{\capplus}
+% \showsymbol{\sqcup}
+% \showsymbol{\sqcap}
+% \showsymbol{\doublesqcup}, \cmd{\Sqcup}
+% \showsymbol{\doublesqcap}, \cmd{\Sqcap}
+% \showsymbol{\sqcupdot}
+% \showsymbol{\sqcapdot}
+% \showsymbol{\sqcupplus}
+% \showsymbol{\sqcapplus}
+% \showsymbol{\pullback}
+% \showsymbol{\pushout}
+% \showsymbol{\smalltriangleright}
+% \showsymbol{\smalltriangleup}
+% \showsymbol{\smalltriangleleft}
+% \showsymbol{\smalltriangledown}
+% \showsymbol{\smallblacktriangleright}
+% \showsymbol{\smallblacktriangleup}
+% \showsymbol{\smallblacktriangleleft}
+% \showsymbol{\smallblacktriangledown}
+% \showsymbol{\medtriangleright}, \cmd{\triangleright}
+% \showsymbol{\medtriangleup}, \cmd{\triangle}, \cmd{\vartriangle}
+% \showsymbol{\medtriangleleft}, \cmd{\triangleleft}
+% \showsymbol{\medtriangledown}, \cmd{\triangledown}
+% \showsymbol{\medblacktriangleright}, \cmd{\blacktriangleright}
+% \showsymbol{\medblacktriangleup}, \cmd{\blacktriangle}
+% \showsymbol{\medblacktriangleleft}, \cmd{\blacktriangleleft}
+% \showsymbol{\medblacktriangledown}, \cmd{\blacktriangledown}
+% \showsymbol{\bigtriangleup}
+% \showsymbol{\bigtriangledown}
+% \showsymbol{\smallcircle}, \cmd{\circ}, \cmd{\smwhtcircle}
+% \showsymbol{\smallblackcircle}, \cmd{\bullet}, \cmd{\smblkcircle}
+% \showsymbol{\medcircle}, \cmd{\mdlgwhtcircle}, \cmd{\mdwhtcircle}
+% \showsymbol{\medblackcircle}, \cmd{\mdlgblkcircle}, \cmd{\mdblkcircle}
+% \showsymbol{\ominus}
+% \showsymbol{\overt}, \cmd{\circledvert}
+% \showsymbol{\oslash}
+% \showsymbol{\obackslash}, \cmd{\obslash}
+% \showsymbol{\oplus}
+% \showsymbol{\otimes}
+% \showsymbol{\odot}
+% \showsymbol{\ocirc}, \cmd{\circledcirc}
+% \showsymbol{\oast}, \cmd{\circledast}
+% \showsymbol{\odash}, \cmd{\circleddash}
+% \showsymbol{\oequal}, \cmd{\circledequal}
+% \showsymbol{\bigcirc}
+% \showsymbol{\smallsquare}, \cmd{\smwhtsquare}
+% \showsymbol{\smallblacksquare}, \cmd{\smblksquare}
+% \showsymbol{\medsquare}, \cmd{\square}, \cmd{\Box}, \cmd{\mdlgwhtsquare},
+%   \cmd{\mdwhtsquare}
+% \showsymbol{\medblacksquare}, \cmd{\mdlgblksquare}, \cmd{\mdblksquare}
+% \showsymbol{\boxminus}
+% \showsymbol{\boxvert}, \cmd{\boxbar}
+% \showsymbol{\boxslash}, \cmd{\boxdiag}
+% \showsymbol{\boxbackslash}, \cmd{\boxbslash}
+% \showsymbol{\boxplus}
+% \showsymbol{\boxtimes}
+% \showsymbol{\boxdot}
+% \showsymbol{\boxbox}
+% \showsymbol{\smalldiamond}, \cmd{\diamond}, \cmd{\smwhtdiamond}
+% \showsymbol{\smallblackdiamond}, \cmd{\blackdiamond}, \cmd{\smblkdiamond}
+% \showsymbol{\meddiamond}, \cmd{\Diamond}, \cmd{\mdlgwhtdiamond},
+%   \cmd{\mdwhtdiamond}
+% \showsymbol{\medblackdiamond}, \cmd{\mdlgblkdiamond}, \cmd{\mdblkdiamond}
+% \showsymbol{\diamondminus}
+% \showsymbol{\diamondvert}
+% \showsymbol{\diamondslash}
+% \showsymbol{\diamondbackslash}, \cmd{\diamondbslash}
+% \showsymbol{\diamondplus}
+% \showsymbol{\diamondtimes}
+% \showsymbol{\diamonddot}, \cmd{\diamondcdot}
+% \showsymbol{\diamonddiamond}
+% \showsymbol{\smallwhitestar}, \cmd{\smwhitestar}
+% \showsymbol{\smallblackstar}, \cmd{\star}
+% \showsymbol{\medwhitestar}
+% \showsymbol{\medblackstar}, \cmd{\medstar}
+% \showsymbol{*}, \cmd{\ast}
+% \showsymbol{\intercal}
+% \showsymbol{\wreath}, \cmd{\wr}
+% \showsymbol{\amalg}
+% \showsymbol{\lhd}
+% \showsymbol{\rhd}
+% \showsymbol{\unlhd}
+% \showsymbol{\unrhd}
+% \showsymbol{\divslash}
+% \showsymbol{\setminus}
+% \end{multicols}
+%
+% \subsection{Relations}
+%
+% \begin{multicols}{2}
+% \raggedright
+% \showsymbol{=}, \cmd{\equal}, \cmd{\Relbar}
+% \showsymbol{\equiv}
+% \showsymbol{\sim}
+% \showsymbol{\backsim}
+% \showsymbol{\approx}
+% \showsymbol{\triplesim}, \cmd{\approxident}
+% \showsymbol{\simeq}
+% \showsymbol{\backsimeq}
+% \showsymbol{\eqsim}
+% \showsymbol{\cong}
+% \showsymbol{\backcong}
+% \showsymbol{\dotcong}
+% \showsymbol{\approxeq}
+% \showsymbol{\bumpeq}
+% \showsymbol{\bumpeqq}
+% \showsymbol{\Bumpeq}
+% \showsymbol{\doteq}
+% \showsymbol{\eqdot}
+% \showsymbol{\Doteq}
+% \showsymbol{\fallingdotseq}
+% \showsymbol{\risingdotseq}
+% \showsymbol{\coloneq}, \cmd{\coloneqq}
+% \showsymbol{\eqcolon}, \cmd{\eqqcolon}
+% \showsymbol{\smile}, \cmd{\smallsmile}
+% \showsymbol{\frown}, \cmd{\smallfrown}
+% \showsymbol{\smilefrown}, \cmd{\asymp}
+% \showsymbol{\frownsmile}, \cmd{\closure}
+% \showsymbol{\smileeq}
+% \showsymbol{\frowneq}, \cmd{\arceq}
+% \showsymbol{\eqcirc}
+% \showsymbol{\circeq}
+% \showsymbol{\wedgeq}, \cmd{\hateq}
+% \showsymbol{\veeeq}
+% \showsymbol{\stareq}
+% \showsymbol{\triangleeq}, \cmd{\triangleq}
+% \showsymbol{\in}
+% \showsymbol{\owns}, \cmd{\ni}
+% \showsymbol{<}, \cmd{\less}
+% \showsymbol{>}, \cmd{\gtr}
+% \showsymbol{\leq}, \cmd{\le}
+% \showsymbol{\geq}, \cmd{\ge}
+% \showsymbol{\leqslant}
+% \showsymbol{\geqslant}
+% \showsymbol{\leqq}
+% \showsymbol{\geqq}
+% \showsymbol{\lesssim}
+% \showsymbol{\gtrsim}
+% \showsymbol{\lessapprox}
+% \showsymbol{\gtrapprox}
+% \showsymbol{\lessgtr}
+% \showsymbol{\gtrless}
+% \showsymbol{\lesseqgtr}
+% \showsymbol{\gtreqless}
+% \showsymbol{\lesseqqgtr}
+% \showsymbol{\gtreqqless}
+% \showsymbol{\lesseqslantgtr}, \cmd{\lesq}
+% \showsymbol{\gtreqslantless}, \cmd{\gesl}
+% \showsymbol{\ll}
+% \showsymbol{\gg}
+% \showsymbol{\lll}, \cmd{\llless}
+% \showsymbol{\ggg}, \cmd{\gggtr}
+% \showsymbol{\lessclosed}, \cmd{\vartriangleleft}
+% \showsymbol{\gtrclosed}, \cmd{\vartriangleright}
+% \showsymbol{\leqclosed}, \cmd{\trianglelefteq}
+% \showsymbol{\geqclosed}, \cmd{\trianglerighteq}
+% \showsymbol{\lesscc}, \cmd{\ltcc}
+% \showsymbol{\gtrcc}, \cmd{\gtcc}
+% \showsymbol{\leqslcc}, \cmd{\lescc}
+% \showsymbol{\geqslcc}, \cmd{\gescc}
+% \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{\preceqq}
+% \showsymbol{\succeqq}
+% \showsymbol{\precsim}
+% \showsymbol{\succsim}
+% \showsymbol{\precapprox}
+% \showsymbol{\succapprox}
+% \showsymbol{\lessdot}
+% \showsymbol{\gtrdot}
+% \showsymbol{\leqdot}
+% \showsymbol{\geqdot}
+% \showsymbol{\leqslantdot}, \cmd{\lesdot}
+% \showsymbol{\geqslantdot}, \cmd{\gesdot}
+% \showsymbol{\eqslantless}
+% \showsymbol{\eqslantgtr}
+% \showsymbol{\curlyeqprec}
+% \showsymbol{\curlyeqsucc}
+% \showsymbol{\thicksim}
+% \showsymbol{\thickapprox}
+% \showsymbol{\rightarrow}, \cmd{\to}
+% \showsymbol{\uparrow}
+% \showsymbol{\leftarrow}, \cmd{\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}, \cmd{\mapsto}
+% \showsymbol{\upmapsto}, \cmd{\mapsup}
+% \showsymbol{\leftmapsto}, \cmd{\mapsfrom}
+% \showsymbol{\downmapsto}, \cmd{\mapsdown}
+% \showsymbol{\Rightmapsto}, \cmd{\Mapsto}
+% \showsymbol{\Upmapsto}, \cmd{\Mapsup}
+% \showsymbol{\Leftmapsto}, \cmd{\Mapsfrom}
+% \showsymbol{\Downmapsto}, \cmd{\Mapsdown}
+% \showsymbol{\hookrightarrow}
+% \showsymbol{\hookuparrow}
+% \showsymbol{\varhookleftarrow}
+% \showsymbol{\varhookdownarrow}
+% \showsymbol{\varhooknearrow}
+% \showsymbol{\hooknwarrow}, \cmd{\hknwarrow}
+% \showsymbol{\varhookswarrow}
+% \showsymbol{\hooksearrow}, \cmd{\hksearrow}
+% \showsymbol{\varhookrightarrow}
+% \showsymbol{\varhookuparrow}
+% \showsymbol{\hookleftarrow}
+% \showsymbol{\hookdownarrow}
+% \showsymbol{\hooknearrow}, \cmd{\hknearrow}
+% \showsymbol{\varhooknwarrow}
+% \showsymbol{\hookswarrow}, \cmd{\hkswarrow}
+% \showsymbol{\varhooksearrow}
+% \showsymbol{\rightharpoonup}
+% \showsymbol{\upharpoonleft}
+% \showsymbol{\leftharpoondown}
+% \showsymbol{\downharpoonright}
+% \showsymbol{\neharpoonnw}
+% \showsymbol{\nwharpoonsw}
+% \showsymbol{\swharpoonse}
+% \showsymbol{\seharpoonne}
+% \showsymbol{\rightharpoondown}
+% \showsymbol{\upharpoonright}, \cmd{\restriction}
+% \showsymbol{\leftharpoonup}
+% \showsymbol{\downharpoonleft}
+% \showsymbol{\neharpoonse}
+% \showsymbol{\nwharpoonne}
+% \showsymbol{\swharpoonnw}
+% \showsymbol{\seharpoonsw}
+% \showsymbol{\leftrightharpoonupdown}
+% \showsymbol{\updownharpoonleftright}
+% \showsymbol{\neswharpoonnwse}
+% \showsymbol{\nwseharpoonnesw}
+% \showsymbol{\leftrightharpoondownup}
+% \showsymbol{\updownharpoonrightleft}
+% \showsymbol{\neswharpoonsenw}
+% \showsymbol{\nwseharpoonswne}
+% \showsymbol{\rightleftharpoons}
+% \showsymbol{\updownharpoons}, \cmd{\updownharpoonsleftright}
+% \showsymbol{\neswharpoons}
+% \showsymbol{\senwharpoons}
+% \showsymbol{\leftrightharpoons}
+% \showsymbol{\downupharpoons}, \cmd{\downupharpoonsleftright}
+% \showsymbol{\swneharpoons}
+% \showsymbol{\nwseharpoons}
+% \showsymbol{\rightbkarrow}, \cmd{\dashrightarrow}, \cmd{\dasharrow}
+% \showsymbol{\upbkarrow}
+% \showsymbol{\leftbkarrow}, \cmd{\dashleftarrow}
+% \showsymbol{\downbkarrow}
+% \showsymbol{\nebkarrow}
+% \showsymbol{\nwbkarrow}
+% \showsymbol{\swbkarrow}
+% \showsymbol{\sebkarrow}
+% \showsymbol{\rightspoon}, \cmd{\multimap}
+% \showsymbol{\upspoon}, \cmd{\cirmid}
+% \showsymbol{\leftspoon}, \cmd{\multimapinv}
+% \showsymbol{\downspoon}, \cmd{\midcir}
+% \showsymbol{\rightblackspoon}
+% \showsymbol{\upblackspoon}
+% \showsymbol{\leftblackspoon}
+% \showsymbol{\downblackspoon}
+% \showsymbol{\leftrightspoon}, \cmd{\dualmap}
+% \showsymbol{\leftrightblackspoon}
+% \showsymbol{\blackwhitespoon}, \cmd{\imageof}
+% \showsymbol{\whiteblackspoon}, \cmd{\origof}
+% \showsymbol{\rightpitchfork}
+% \showsymbol{\uppitchfork}, \cmd{\pitchfork}
+% \showsymbol{\leftpitchfork}
+% \showsymbol{\downpitchfork}
+% \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{\rightwavearrow}, \cmd{\leadsto}, \cmd{\rightsquigarrow},
+%   \cmd{\rightcurvedarrow}
+% \showsymbol{\varupwavearrow}
+% \showsymbol{\varleftwavearrow}
+% \showsymbol{\downwavearrow}
+% \showsymbol{\varrightwavearrow}
+% \showsymbol{\upwavearrow}
+% \showsymbol{\leftwavearrow}, \cmd{\leftsquigarrow}, \cmd{\leftcurvedarrow}
+% \showsymbol{\vardownwavearrow}
+% \showsymbol{\leftrightwavearrow}, \cmd{\leftrightsquigarrow}
+% \showsymbol{\updownwavearrow}
+% \showsymbol{\varleftrightwavearrow}
+% \showsymbol{\varupdownwavearrow}
+% \showsymbol{\cwoverarcarrow}, \cmd{\curvearrowright}
+% \showsymbol{\cwleftarcarrow}
+% \showsymbol{\cwunderarcarrow}
+% \showsymbol{\cwrightarcarrow}
+% \showsymbol{\cwnwarcarrow}, \cmd{\rightupcurvedarrow}
+% \showsymbol{\cwswarcarrow}, \cmd{\upleftcurvedarrow}
+% \showsymbol{\cwsearcarrow}, \cmd{\leftdowncurvedarrow}
+% \showsymbol{\cwnearcarrow}, \cmd{\downrightcurvedarrow}
+% \showsymbol{\acwunderarcarrow}
+% \showsymbol{\acwrightarcarrow}
+% \showsymbol{\acwoverarcarrow}, \cmd{\curvearrowleft}
+% \showsymbol{\acwleftarcarrow}
+% \showsymbol{\acwsearcarrow}, \cmd{\uprightcurvearrow}
+% \showsymbol{\acwnearcarrow}, \cmd{\leftupcurvedarrow}
+% \showsymbol{\acwnwarcarrow}, \cmd{\downleftcurvedarrow}
+% \showsymbol{\acwswarcarrow}, \cmd{\rightdowncurvedarrow}
+% \showsymbol{\bdoverarcarrow}
+% \showsymbol{\bdleftarcarrow}
+% \showsymbol{\bdunderarcarrow}
+% \showsymbol{\bdrightarcarrow}
+% \showsymbol{\bdnwarcarrow}
+% \showsymbol{\bdswarcarrow}
+% \showsymbol{\bdsearcarrow}
+% \showsymbol{\bdnearcarrow}
+% \showsymbol{\leftfootline}
+% \showsymbol{\rightfootline}
+% \showsymbol{\acwcirclearrowup}
+% \showsymbol{\acwcirclearrowleft}, \cmd{\circlearrowleft},
+%   \cmd{\acwopencirclearrow}
+% \showsymbol{\acwcirclearrowdown}, \cmd{\acwgapcirclearrow}
+% \showsymbol{\acwcirclearrowright}
+% \showsymbol{\cwcirclearrowdown}, \cmd{\cwgapcirclearrow}
+% \showsymbol{\cwcirclearrowright}, \cmd{\circlearrowright},
+%   \cmd{\cwopencirclearrow}
+% \showsymbol{\cwcirclearrowup}
+% \showsymbol{\cwcirclearrowleft}
+% \showsymbol{\Rrightarrow}
+% \showsymbol{\Uuparrow}
+% \showsymbol{\Lleftarrow}
+% \showsymbol{\Ddownarrow}
+% \showsymbol{\longrightarrow}
+% \showsymbol{\longleftarrow}
+% \showsymbol{\Longrightarrow}
+% \showsymbol{\Longleftarrow}
+% \showsymbol{\longleftrightarrow}
+% \showsymbol{\Longleftrightarrow}
+% \showsymbol{\longmapsto}
+% \showsymbol{\longmapsfrom}
+% \showsymbol{\Longmapsto}
+% \showsymbol{\Longmapsfrom}
+% \showsymbol{\longrightwavearrow}, \cmd{\longleadsto},
+%   \cmd{\longrightsquigarrow}
+% \showsymbol{\longleftwavearrow}, \cmd{\longleftsquigarrow}
+% \showsymbol{\longleftfootline}, \cmd{\vlongdash}
+% \showsymbol{\longrightfootline}, \cmd{\longdashv}
+% \showsymbol{\Lsh}
+% \showsymbol{\Rsh}
+% \showsymbol{\Ldsh}
+% \showsymbol{\Rdsh}
+% \showsymbol{\looparrowright}
+% \showsymbol{\looparrowleft}
+% \showsymbol{\rightvdash}, \cmd{\vdash}
+% \showsymbol{\upvdash}, \cmd{\perp}
+% \showsymbol{\leftvdash}, \cmd{\dashv}
+% \showsymbol{\downvdash}
+% \showsymbol{\rightassert}, \cmd{\assert}, \cmd{\shortrighttack}
+% \showsymbol{\upassert}, \cmd{\shortuptack}
+% \showsymbol{\leftassert}, \cmd{\shortlefttack}
+% \showsymbol{\downassert}, \cmd{\shortdowntack}
+% \showsymbol{\rightvDash}, \cmd{\vDash}
+% \showsymbol{\upvDash}, \cmd{\Vbar}
+% \showsymbol{\leftvDash}, \cmd{\Dashv}
+% \showsymbol{\downvDash}, \cmd{\barV}
+% \showsymbol{\rightmodels}, \cmd{\models}
+% \showsymbol{\upmodels}
+% \showsymbol{\leftmodels}
+% \showsymbol{\downmodels}
+% \showsymbol{\rightVdash}, \cmd{\Vdash}
+% \showsymbol{\upVdash}
+% \showsymbol{\leftVdash}, \cmd{\dashV}
+% \showsymbol{\downVdash}
+% \showsymbol{\rightAssert}, \cmd{\Assert}
+% \showsymbol{\upAssert}, \cmd{\vBar}
+% \showsymbol{\leftAssert}
+% \showsymbol{\downAssert}, \cmd{\Barv}
+% \showsymbol{\rightVDash}, \cmd{\VDash}
+% \showsymbol{\upVDash}
+% \showsymbol{\leftVDash}, \cmd{\DashV}
+% \showsymbol{\downVDash}
+% \showsymbol{\Vvdash}
+% \showsymbol{\dashVv}
+% \showsymbol{\vDdash}
+% \showsymbol{\Ddashv}
+% \showsymbol{\nequal}, \cmd{\neq}, \cmd{\ne}
+% \showsymbol{\nequiv}
+% \showsymbol{\nsim}
+% \showsymbol{\nbacksim}
+% \showsymbol{\napprox}
+% \showsymbol{\ntriplesim}, \cmd{\napproxident}
+% \showsymbol{\nsimeq}, \cmd{\nsime}
+% \showsymbol{\nbacksimeq}
+% \showsymbol{\neqsim}
+% \showsymbol{\ncong}
+% \showsymbol{\nbackcong}
+% \showsymbol{\napproxeq}
+% \showsymbol{\nbumpeq}
+% \showsymbol{\nbumpeqq}
+% \showsymbol{\nBumpeq}
+% \showsymbol{\ndoteq}
+% \showsymbol{\neqdot}
+% \showsymbol{\nDoteq}
+% \showsymbol{\nfallingdotseq}
+% \showsymbol{\nrisingdotseq}
+% \showsymbol{\nsmile}
+% \showsymbol{\nfrown}
+% \showsymbol{\nsmilefrown}, \cmd{\nasymp}
+% \showsymbol{\nfrownsmile}, \cmd{\nclosure}
+% \showsymbol{\nsmileeq}
+% \showsymbol{\nfrowneq}, \cmd{\narceq}
+% \showsymbol{\neqcirc}
+% \showsymbol{\ncirceq}
+% \showsymbol{\nwedgeq}, \cmd{\nhateq}
+% \showsymbol{\nveeeq}
+% \showsymbol{\nstareq}
+% \showsymbol{\ntriangleeq}
+% \showsymbol{\nin}, \cmd{\notin}
+% \showsymbol{\nowns}, \cmd{\nni}
+% \showsymbol{\nless}
+% \showsymbol{\ngtr}
+% \showsymbol{\nleq}
+% \showsymbol{\ngeq}
+% \showsymbol{\nleqslant}
+% \showsymbol{\ngeqslant}
+% \showsymbol{\nleqq}
+% \showsymbol{\ngeqq}
+% \showsymbol{\nlesssim}
+% \showsymbol{\ngtrsim}
+% \showsymbol{\nlessapprox}
+% \showsymbol{\ngtrapprox}
+% \showsymbol{\nlessgtr}
+% \showsymbol{\ngtrless}
+% \showsymbol{\nlesseqgtr}
+% \showsymbol{\ngtreqless}
+% \showsymbol{\nlesseqqgtr}
+% \showsymbol{\ngtreqqless}
+% \showsymbol{\nlesseqslantgtr}, \cmd{\nlesg}
+% \showsymbol{\ngtreqslantless}, \cmd{\ngesl}
+% \showsymbol{\nll}
+% \showsymbol{\ngg}
+% \showsymbol{\nlll}
+% \showsymbol{\nggg}
+% \showsymbol{\nlessclosed}, \cmd{\ntriangleleft}
+% \showsymbol{\ngtrclosed}, \cmd{\ntriangleright}
+% \showsymbol{\nleqclosed}, \cmd{\ntrianglelefteq}
+% \showsymbol{\ngeqclosed}, \cmd{\ntrianglerighteq}
+% \showsymbol{\nlesscc}, \cmd{\nltcc}
+% \showsymbol{\ngtrcc}, \cmd{\ngtcc}
+% \showsymbol{\nleqslcc}, \cmd{\nlescc}
+% \showsymbol{\ngeqslcc}, \cmd{\ngescc}
+% \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}
+% \showsymbol{\nsucceq}
+% \showsymbol{\npreccurlyeq}
+% \showsymbol{\nsucccurlyeq}
+% \showsymbol{\npreceqq}
+% \showsymbol{\nsucceqq}
+% \showsymbol{\nprecsim}
+% \showsymbol{\nsuccsim}
+% \showsymbol{\nprecapprox}
+% \showsymbol{\nsuccapprox}
+% \showsymbol{\nlessdot}
+% \showsymbol{\ngtrdot}
+% \showsymbol{\nleqdot}
+% \showsymbol{\ngeqdot}
+% \showsymbol{\nleqslantdot}, \cmd{\nlesdot}
+% \showsymbol{\ngeqslantdot}, \cmd{\ngesdot}
+% \showsymbol{\neqslantless}
+% \showsymbol{\neqslantgtr}
+% \showsymbol{\ncurlyeqprec}
+% \showsymbol{\ncurlyeqsucc}
+% \showsymbol{\simneqq}
+% \showsymbol{\backsimneqq}
+% \showsymbol{\lneq}
+% \showsymbol{\gneq}
+% \showsymbol{\lneqq}, \cmd{\lvertneqq}
+% \showsymbol{\gneqq}, \cmd{\gvertneqq}
+% \showsymbol{\lnsim}
+% \showsymbol{\gnsim}
+% \showsymbol{\lnapprox}
+% \showsymbol{\gnapprox}
+% \showsymbol{\sqsubsetneq}
+% \showsymbol{\sqsupsetneq}
+% \showsymbol{\sqsubsetneqq}
+% \showsymbol{\sqsupsetneqq}
+% \showsymbol{\subsetneq}, \cmd{\varsubsetneq}
+% \showsymbol{\supsetneq}, \cmd{\varsupsetneq}
+% \showsymbol{\subsetneqq}, \cmd{\varsubsetneqq}
+% \showsymbol{\supsetneqq}, \cmd{\varsupsetneqq}
+% \showsymbol{\precneq}
+% \showsymbol{\succneq}
+% \showsymbol{\precneqq}
+% \showsymbol{\succneqq}
+% \showsymbol{\precnsim}
+% \showsymbol{\succnsim}
+% \showsymbol{\precnapprox}
+% \showsymbol{\succnapprox}
+% \showsymbol{\nrightarrow}, \cmd{\nto}
+% \showsymbol{\nuparrow}
+% \showsymbol{\nleftarrow}, \cmd{\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}, \cmd{\nmapsto}
+% \showsymbol{\nupmapsto}, \cmd{\nmapsup}
+% \showsymbol{\nleftmapsto}, \cmd{\nmapsfrom}
+% \showsymbol{\ndownmapsto}, \cmd{\nmapsdown}
+% \showsymbol{\nRightmapsto}, \cmd{\nMapsto}
+% \showsymbol{\nUpmapsto}, \cmd{\nMapsup}
+% \showsymbol{\nLeftmapsto}, \cmd{\nMapsfrom}
+% \showsymbol{\nDownmapsto}, \cmd{\nMapsdown}
+% \showsymbol{\nhookrightarrow}
+% \showsymbol{\nhookuparrow}
+% \showsymbol{\nvarhookleftarrow}
+% \showsymbol{\nvarhookdownarrow}
+% \showsymbol{\nvarhooknearrow}
+% \showsymbol{\nhooknwarrow}, \cmd{\nhknwarrow}
+% \showsymbol{\nvarhookswarrow}
+% \showsymbol{\nhooksearrow}, \cmd{\nhksearrow}
+% \showsymbol{\nvarhookrightarrow}
+% \showsymbol{\nvarhookuparrow}
+% \showsymbol{\nhookleftarrow}
+% \showsymbol{\nhookdownarrow}
+% \showsymbol{\nhooknearrow}, \cmd{\nhknearrow}
+% \showsymbol{\nvarhooknwarrow}
+% \showsymbol{\nhookswarrow}, \cmd{\nhkswarrow}
+% \showsymbol{\nvarhooksearrow}
+% \showsymbol{\nrightharpoonup}
+% \showsymbol{\nupharpoonleft}
+% \showsymbol{\nleftharpoondown}
+% \showsymbol{\ndownharpoonright}
+% \showsymbol{\nneharpoonnw}
+% \showsymbol{\nnwharpoonsw}
+% \showsymbol{\nswharpoonse}
+% \showsymbol{\nseharpoonne}
+% \showsymbol{\nrightharpoondown}
+% \showsymbol{\nupharpoonright}, \cmd{\nrestriction}
+% \showsymbol{\nleftharpoonup}
+% \showsymbol{\ndownharpoonleft}
+% \showsymbol{\nneharpoonse}
+% \showsymbol{\nnwharpoonne}
+% \showsymbol{\nswharpoonnw}
+% \showsymbol{\nseharpoonsw}
+% \showsymbol{\nleftrightharpoonupdown}
+% \showsymbol{\nupdownharpoonleftright}
+% \showsymbol{\nneswharpoonnwse}
+% \showsymbol{\nnwseharpoonnesw}
+% \showsymbol{\nleftrightharpoondownup}
+% \showsymbol{\nupdownharpoonrightleft}
+% \showsymbol{\nneswharpoonsenw}
+% \showsymbol{\nnwseharpoonswne}
+% \showsymbol{\nrightleftharpoons}
+% \showsymbol{\nupdownharpoons}, \cmd{\nupdownharpoonsleftright}
+% \showsymbol{\nneswharpoons}
+% \showsymbol{\nsenwharpoons}
+% \showsymbol{\nleftrightharpoons}
+% \showsymbol{\ndownupharpoons}, \cmd{\ndownupharpoonsleftright}
+% \showsymbol{\nswneharpoons}
+% \showsymbol{\nnwseharpoons}
+% \showsymbol{\nrightbkarrow}, \cmd{\ndasharrow}, \cmd{\ndashrightarrow}
+% \showsymbol{\nupbkarrow}
+% \showsymbol{\nleftbkarrow}, \cmd{\ndashleftarrow}
+% \showsymbol{\ndownbkarrow}
+% \showsymbol{\nnebkarrow}
+% \showsymbol{\nnwbkarrow}
+% \showsymbol{\nswbkarrow}
+% \showsymbol{\nsebkarrow}
+% \showsymbol{\nrightspoon}, \cmd{\nmultimap}
+% \showsymbol{\nupspoon}, \cmd{\ncirmid}
+% \showsymbol{\nleftspoon}, \cmd{\nmultimapinv}
+% \showsymbol{\ndownspoon}, \cmd{\nmidcir}
+% \showsymbol{\nrightblackspoon}
+% \showsymbol{\nupblackspoon}
+% \showsymbol{\nleftblackspoon}
+% \showsymbol{\ndownblackspoon}
+% \showsymbol{\nleftrightspoon}, \cmd{\ndualmap}
+% \showsymbol{\nleftrightblackspoon}
+% \showsymbol{\nblackwhitespoon}, \cmd{\nimageof}
+% \showsymbol{\nwhiteblackspoon}, \cmd{\norigof}
+% \showsymbol{\nrightpitchfork}
+% \showsymbol{\nuppitchfork}, \cmd{\npitchfork}
+% \showsymbol{\nleftpitchfork}
+% \showsymbol{\ndownpitchfork}
+% \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{\nrightwavearrow}, \cmd{\nleadsto}, \cmd{\nrightsquigarrow},
+%   \cmd{\nrightcurvedarrow}
+% \showsymbol{\nvarupwavearrow}
+% \showsymbol{\nvarleftwavearrow}
+% \showsymbol{\ndownwavearrow}
+% \showsymbol{\nvarrightwavearrow}
+% \showsymbol{\nupwavearrow}
+% \showsymbol{\nleftwavearrow}, \cmd{\nleftsquigarrow}, \cmd{\nleftcurvedarrow}
+% \showsymbol{\nvardownwavearrow}
+% \showsymbol{\nleftrightwavearrow}, \cmd{\nleftrightsquigarrow}
+% \showsymbol{\nupdownwavearrow}
+% \showsymbol{\nvarleftrightwavearrow}
+% \showsymbol{\nvarupdownwavearrow}
+% \showsymbol{\ncwoverarcarrow}, \cmd{\ncurvearrowright}
+% \showsymbol{\ncwleftarcarrow}
+% \showsymbol{\ncwunderarcarrow}
+% \showsymbol{\ncwrightarcarrow}
+% \showsymbol{\ncwnwarcarrow}, \cmd{\nrightupcurvedarrow}
+% \showsymbol{\ncwswarcarrow}, \cmd{\nupleftcurvedarrow}
+% \showsymbol{\ncwsearcarrow}, \cmd{\nleftdowncurvedarrow}
+% \showsymbol{\ncwnearcarrow}, \cmd{\ndownrightcurvedarrow}
+% \showsymbol{\nacwunderarcarrow}
+% \showsymbol{\nacwrightarcarrow}
+% \showsymbol{\nacwoverarcarrow}, \cmd{\ncurvearrowleft}
+% \showsymbol{\nacwleftarcarrow}
+% \showsymbol{\nacwsearcarrow}, \cmd{\nuprightcurvearrow}
+% \showsymbol{\nacwnearcarrow}, \cmd{\nleftupcurvedarrow}
+% \showsymbol{\nacwnwarcarrow}, \cmd{\ndownleftcurvedarrow}
+% \showsymbol{\nacwswarcarrow}, \cmd{\nrightdowncurvedarrow}
+% \showsymbol{\nbdoverarcarrow}
+% \showsymbol{\nbdleftarcarrow}
+% \showsymbol{\nbdunderarcarrow}
+% \showsymbol{\nbdrightarcarrow}
+% \showsymbol{\nbdnwarcarrow}
+% \showsymbol{\nbdswarcarrow}
+% \showsymbol{\nbdsearcarrow}
+% \showsymbol{\nbdnearcarrow}
+% \showsymbol{\nleftfootline}
+% \showsymbol{\nrightfootline}
+% \showsymbol{\nacwcirclearrowup}
+% \showsymbol{\nacwcirclearrowleft}, \cmd{\ncirclearrowleft},
+%   \cmd{\nacwopencirclearrow}
+% \showsymbol{\nacwcirclearrowdown}, \cmd{\nacwgapcirclearrow}
+% \showsymbol{\nacwcirclearrowright}
+% \showsymbol{\ncwcirclearrowdown}, \cmd{\ncwgapcirclearrow}
+% \showsymbol{\ncwcirclearrowright}, \cmd{\ncirclearrowright},
+%   \cmd{\ncwopencirclearrow}
+% \showsymbol{\ncwcirclearrowup}
+% \showsymbol{\ncwcirclearrowleft}
+% \showsymbol{\nRrightarrow}
+% \showsymbol{\nUuparrow}
+% \showsymbol{\nLleftarrow}
+% \showsymbol{\nDdownarrow}
+% \showsymbol{\nlongrightarrow}
+% \showsymbol{\nlongleftarrow}
+% \showsymbol{\nLongrightarrow}
+% \showsymbol{\nLongleftarrow}
+% \showsymbol{\nlongleftrightarrow}
+% \showsymbol{\nLongleftrightarrow}
+% \showsymbol{\nlongmapsto}
+% \showsymbol{\nlongmapsfrom}
+% \showsymbol{\nLongmapsto}
+% \showsymbol{\nLongmapsfrom}
+% \showsymbol{\nlongrightwavearrow}, \cmd{\nlongleadsto},
+%   \cmd{\nlongrightsquigarrow}
+% \showsymbol{\nlongleftwavearrow}, \cmd{\nlongleftsquigarrow}
+% \showsymbol{\nlongleftfootline}, \cmd{\nvlongdash}
+% \showsymbol{\nlongrightfootline}, \cmd{\nlongdashv}
+% \showsymbol{\nrightvdash}, \cmd{\nvdash}
+% \showsymbol{\nupvdash}, \cmd{\nperp}
+% \showsymbol{\nleftvdash}, \cmd{\ndashv}
+% \showsymbol{\ndownvdash}
+% \showsymbol{\nrightassert}, \cmd{\nassert}, \cmd{\nshortrighttack}
+% \showsymbol{\nupassert}, \cmd{\nshortuptack}
+% \showsymbol{\nleftassert}, \cmd{\nshortlefttack}
+% \showsymbol{\ndownassert}, \cmd{\nshortdowntack}
+% \showsymbol{\nrightvDash}, \cmd{\nvDash}
+% \showsymbol{\nupvDash}, \cmd{\nVbar}
+% \showsymbol{\nleftvDash}, \cmd{\nDashv}
+% \showsymbol{\ndownvDash}, \cmd{\nbarV}
+% \showsymbol{\nrightmodels}, \cmd{\nmodels}
+% \showsymbol{\nupmodels}
+% \showsymbol{\nleftmodels}
+% \showsymbol{\ndownmodels}
+% \showsymbol{\nrightVdash}, \cmd{\nVdash}
+% \showsymbol{\nupVdash}
+% \showsymbol{\nleftVdash}, \cmd{\ndashV}
+% \showsymbol{\ndownVdash}
+% \showsymbol{\nrightAssert}, \cmd{\nAssert}
+% \showsymbol{\nupAssert}, \cmd{\nvBar}
+% \showsymbol{\nleftAssert}
+% \showsymbol{\ndownAssert}, \cmd{\nBarv}
+% \showsymbol{\nrightVDash}, \cmd{\nVDash}
+% \showsymbol{\nupVDash}
+% \showsymbol{\nleftVDash}, \cmd{\nDashV}
+% \showsymbol{\ndownVDash}
+% \showsymbol{\nVvdash}
+% \showsymbol{\ndashVv}
+% \showsymbol{\nvDdash}
+% \showsymbol{\nDdashv}
+% \showsymbol{:}, \cmd{\mathratio}
+% \showsymbol{\Colon}
+% \showsymbol{\relbar}
+% \showsymbol{\dotsminusdots}
+% \showsymbol{\rJoin}
+% \showsymbol{\lJoin}
+% \showsymbol{\bowtie}, \cmd{\Join}
+% \showsymbol{\propto}, \cmd{\varpropto}
+% \showsymbol{\backpropto}, \cmd{\propfrom}
+% \showsymbol{\crossing}
+% \showsymbol{\between}
+% \showsymbol{\shortmid}
+% \showsymbol{\mid}, \cmd{\divides}
+% \showsymbol{\nshortmid}
+% \showsymbol{\nmid}, \cmd{\ndivides}
+% \showsymbol{\shortparallel}
+% \showsymbol{\parallel}
+% \showsymbol{\nshortparallel}
+% \showsymbol{\nparallel}
+% \end{multicols}
+%
+% \subsection{Punctuation symbols}
+%
+% \begin{multicols}{2}
+% \raggedright
+% \showsymbol\cdotp
+% \showsymbol\colon, \cmd{\mathcolon}
+% \end{multicols}
+%
+% \subsection{Large operators}
+%
+% \begin{multicols}{2}
+% \raggedright
+% \showop{\bigplus}
+% \showop{\bigtimes}
+% \showop{\bigwedge}
+% \showop{\bigvee}
+% \showop{\bigwedgedot}
+% \showop{\bigveedot}
+% \showop{\bigdoublewedge}, \cmd{\conjquant}
+% \showop{\bigdoublevee}, \cmd{\disjquant}
+% \showop{\bigcurlywedge}
+% \showop{\bigcurlyvee}
+% \showop{\bigcap}
+% \showop{\bigcup}
+% \showop{\bigcapdot}
+% \showop{\bigcupdot}
+% \showop{\bigcapplus}
+% \showop{\bigcupplus}, \cmd{\biguplus}
+% \showop{\bigsqcap}
+% \showop{\bigsqcup}
+% \showop{\bigsqcapdot}
+% \showop{\bigsqcupdot}
+% \showop{\bigsqcapplus}
+% \showop{\bigsqcupplus}
+% \showop{\bigoplus}
+% \showop{\bigotimes}
+% \showop{\bigodot}
+% \showop{\bigoast}
+% \showop{\prod}
+% \showop{\coprod}
+% \showop{\sum}
+% \showop{\osum}, \cmd{\modtwosum}
+% \showop{\int}
+% \showop{\iint}
+% \showop{\iiint}
+% \showop{\iiiint}
+% \showop{\idotsint}, \cmd{\dotsint}
+% \showop{\landupint}, \cmd{\intclockwise}
+% \showop{\landdownint}, \cmd{\awint}, \cmd{\intctrclockwise}
+% \showop{\intbar}
+% \showop{\intBar}
+% \showop{\fint}
+% \showop{\oint}
+% \showop{\oiint}
+% \showop{\oiiint}
+% \showop{\rcirclerightint}, \cmd{\ointctrclockwise}
+% \showop{\lcirclerightint}, \cmd{\varointclockwise}
+% \showop{\rcircleleftint}, \cmd{\varointctrclockwise}
+% \showop{\lcircleleftint}, \cmd{\ointclockwise}
+% \showop{\sumint}
+% \showop{\smallprod}
+% \showop{\smallcoprod}
+% \showop{\smallint}
+% \showop{\surd}
+% \end{multicols}
+%
+% \subsection{Delimiters and accents}
+%
+% \begin{multicols}{2}
+% \raggedright
+% \showlbrace{(}, \cmd{\lparen}
+% \showrbrace{)}, \cmd{\rparen}
+% \showlbrace{[}, \cmd{\lbrack}
+% \showrbrace{]}, \cmd{\rbrack}
+% \showlbrace{\lfloor}
+% \showrbrace{\rfloor}
+% \showlbrace{\lceil}
+% \showrbrace{\rceil}
+% \showlbrace{\ulcorner}
+% \showrbrace{\urcorner}
+% \showlbrace{\llcorner}
+% \showrbrace{\lrcorner}
+% \showlbrace{\ullcorner}
+% \showrbrace{\ulrcorner}
+% \showlbrace{\lsem}, \cmd{\lBrack}
+% \showrbrace{\rsem}, \cmd{\rBrack}
+% \showlbrace{\lbrace}, \cmd{\{}
+% \showrbrace{\rbrace}, \cmd{\}}
+% \showlbrace{\langle}
+% \showrbrace{\rangle}
+% \showlbrace{\lAngle}
+% \showrbrace{\rAngle}
+% \showlbrace{\langledot}
+% \showrbrace{\rangledot}
+% \showmbrace{/}, \cmd{\mathslash}
+% \showmbrace{\backslash}
+% {\catcode`\|=11 \showmbrace{|}, \cmd{\vert}}
+% \showlbrace{\lvert}
+% \showrbrace{\rvert}
+% \showmbrace{\Vert}, \cmd{\|}
+% \showlbrace{\lVert}
+% \showrbrace{\rVert}
+% \showmbrace{\Vvert}
+% \showlbrace{\lVvert}
+% \showrbrace{\rVvert}
+% \showmbrace{\arrowvert}
+% \showmbrace{\Arrowvert}
+% \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}
+% \showover{\overbrace}
+% \showover{\underbrace}
+% \showover{\overgroup}
+% \showover{\undergroup}
+% \showover{\overlinesegment}
+% \showover{\overleftharpoon}
+% \showover{\overrightharpoon}
+% \showover{\underlinesegment}
+% \end{multicols}
+%
+% \begin{multicols}{2}
+% \raggedright
+% \showaccent{\sqrt}
+% \showover{\widehat}
+% \showover{\widetilde}
+% \showover{\wideparen}
+% \showaccent{\vec}
+% \showaccent{\middlebar}
+% \showaccent{\middleslash}
+% \showaccent{\strokethrough}
+% \end{multicols}
+%
+% \subsection{Faked symbols}\label{sec:faked}
+%
+% The following symbols are taken from the text font.
+%
+% \begin{multicols}{2}
+% \raggedright
+% \showsymbol{\dagger}
+% \showsymbol{\ddagger}
+% \showsymbol{\mathparagraph}
+% \showsymbol{\mathsection}
+% \showsymbol{\mathdollar}
+% \showsymbol{\mathsterling}
+% \showsymbol{\yen}
+% \showsymbol{\hbar}
+% \showsymbol{\hslash}
+% \showsymbol{\circledR}
+% \showsymbol{\circledS}
+% \showsymbol{\lambdabar}
+% \showsymbol{\lambdaslash}
+% \end{multicols}
+%
+% \subsection{Missing symbols}
+%
+% The following symbols from Computer Modern or the AMS fonts are missing
+% in MdSymbol. If available, they should be taken from the text font.
+% \begin{multicols}{3}
+% \parindent=0pt
+% |\mho|\par
+% |\eth|\par
+% |\digamma|\par
+% |\varkappa|\par
+% |\backepsilon|\par
+% |\mapstochar|\par
+% |\lhook|\par
+% |\rhook|\par
+% |\diagup|\par
+% |\diagdown|\par
+% |\Bbbk|\par
+% \quad
+% \end{multicols}
+%
+% \StopEventually{}
+%
+% \section{Implementation}
+%
+%    \begin{macrocode}
+%<*style>
+\RequirePackage{xkeyval}
+\newcommand*\mdsy@choicekey[3]{%
+  \define@choicekey*{mdsymbol.sty}{#1}[\@tempa\@tempb]{#2}{#3}%
+}
+%    \end{macrocode}
+% We use \pkg{xkeyval}'s key mechanism to declare all options. The
+% first options determines the size of delimiters.
+%    \begin{macrocode}
+\define@boolkey{mdsymbol.sty}[mdsy@]{largedelims}[true]{}
+%    \end{macrocode}
+% The following option determines whether faked symbols should be
+% defined.
+%    \begin{macrocode}
+\define@boolkey{mdsymbol.sty}[mdsy@]{retainmissing}[true]{}
+%    \end{macrocode}
+% The next option allows to scale the fonts by an arbitrary factor.
+%    \begin{macrocode}
+\newcommand{\mdsy@scale}{1.0}
+\define@key{mdsymbol.sty}{scale}{\renewcommand\mdsy@scale{#1}}
+%    \end{macrocode}
+% The next option controls whether only the sans and sansbold
+% mathversions are modified.
+%    \begin{macrocode}
+\define@boolkey{mdsymbol.sty}[mdsy@]{onlysansmath}[true]{}
+%    \end{macrocode}
+% The following two options control which weights are used
+% for which math version and font size.
+%    \begin{macrocode}
+\newcommand\mdsy@mweight@normal{Regular}
+\newcommand\mdsy@mweight@small{Regular}
+\newcommand\mdsy@bweight@normal{Semibold}
+\newcommand\mdsy@bweight@small{Semibold}
+\mdsy@choicekey{normalweight}{light,regular,autolight,autoregular}{%
+  \ifcase\@tempb\relax
+    \renewcommand\mdsy@mweight@normal{Light}%
+    \renewcommand\mdsy@mweight@small{Light}%
+  \or
+    \renewcommand\mdsy@mweight@normal{Regular}%
+    \renewcommand\mdsy@mweight@small{Regular}%
+  \or
+    \renewcommand\mdsy@mweight@normal{Light}%
+    \renewcommand\mdsy@mweight@small{Regular}%
+  \or
+    \renewcommand\mdsy@mweight@normal{Regular}%
+    \renewcommand\mdsy@mweight@small{Semibold}%
+  \fi
+}
+\mdsy@choicekey{boldweight}{semibold,bold,autosemibold}{%
+  \ifcase\@tempb\relax
+    \renewcommand\mdsy@bweight@normal{Semibold}%
+    \renewcommand\mdsy@bweight@small{Semibold}%
+  \or
+    \renewcommand\mdsy@bweight@normal{Bold}%
+    \renewcommand\mdsy@bweight@small{Bold}%
+  \or
+    \renewcommand\mdsy@bweight@normal{Semibold}%
+    \renewcommand\mdsy@bweight@small{Bold}%
+  \fi
+}
+\ExecuteOptionsX{largedelims=false,onlysansmath=false,retainmissing=false}
+\ProcessOptionsX
+%    \end{macrocode}
+% Load 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}}
+\@ifpackageloaded{textcomp}{}{\RequirePackage{textcomp}}
+%    \end{macrocode}
+% Command to check whether tabular math version is available
+%    \begin{macrocode}
+\newcommand*\mdsy@if@tabular@math[1]{%
+  \@ifundefined{mv@tabular}{}{#1}%
+}
+%    \end{macrocode}
+% Add an additional switch into the mathversion command to indicate
+% sans or sansbold math.  Putting this into the |\ifmathversionsans|
+% command does not work with the delimiter definition below.
+%    \begin{macrocode}
+\ifmdsy@onlysansmath
+  \DeclareMathVersion{sans}
+  \DeclareMathVersion{sansbold}
+  \DeclareMathVersion{sanstabular}
+  \DeclareMathVersion{sansboldtabular}
+
+  \newif\if@mdsy@sans@
+
+  \let\mathversion@old\mathversion
+  \def\sans@version{sans}
+  \def\sans@version@bold{sansbold}
+  \def\sans@version@tab{sanstabular}
+  \def\sans@version@bold@tab{sansboldtabular}
+  \renewcommand{\mathversion}[1]{%
+    \mathversion@old{#1}%
+    \@mdsy@sans@false%
+    \ifx\math@version\sans@version%
+      \@mdsy@sans@true%
+    \fi%
+    \ifx\math@version\sans@version@bold%
+      \@mdsy@sans@true%
+    \fi%
+    \ifx\math@version\sans@version@tab%
+      \@mdsy@sans@true%
+    \fi%
+    \ifx\math@version\sans@version@bold@tab%
+      \@mdsy@sans@true%
+    \fi%
+  }
+\fi
+\def\ifmathversionsans{%
+  \if@mdsy@sans@
+    \expandafter\@firstoftwo
+  \else
+    \expandafter\@secondoftwo
+  \fi
+}
+%    \end{macrocode}
+% The following shorthands simplify the definition of commands which
+% have different output depending on the mathversion in the case of
+% \opt{onlysansmath}. Without that option, they just normally define
+% the commands.
+%    \begin{macrocode}
+\RequirePackage{etoolbox}
+
+\newcommand\mdsy@setslot[1]{\@tempcnta #1\relax}
+\newcommand\mdsy@nextslot{\advance\@tempcnta 1\relax}
+\newcommand\mdsy@prevslot{\advance\@tempcnta-1\relax}
+
+\newcommand\mdsy@@DeclareSymbol[4]{\expandafter\DeclareMathSymbol\expandafter{\csname#2\endcsname}{#3}{#4}{#1}}
+
+\ifmdsy@onlysansmath
+  \newcommand\mdsy@OrigSymbol@not@def{%
+    \PackageError{mdsymbol}{Symbol is only available in sans-like mathversions}{%
+      Define symbol before loading mdsymbol with the onlysansmath option}
+  }
+  \newcommand\mdsy@DeclareSymbol[3]{%
+    \ifcsdef{#1}{%
+      \csletcs{#1@old}{#1}%
+    }{\cslet{#1@old}{\mdsy@OrigSymbol@not@def}}
+    \expandafter\mdsy@@DeclareSymbol\expandafter{\the\@tempcnta}{#1@sans}{#3}{#2}%
+    \csundef{#1}%
+    \csdef{#1}{\ifmathversionsans{\csname #1@sans\endcsname}{\csname#1@old\endcsname}}%
+    \mdsy@nextslot
+  }
+  \newcommand\mdsy@DeclareDelimiter[4]{%
+    \ifcsdef{#1}{%
+      \csletcs{#1@old}{#1}%
+    }{\cslet{#1@old}{\mdsy@OrigSymbol@not@def}}%
+    \expandafter\DeclareMathDelimiter\expandafter{\csname #1@sans\endcsname}{#2}{#3}{#4}{#3}{#4}%
+    \csundef{#1}%
+    \csdef{#1}{\ifmathversionsans{\csname #1@sans\endcsname}{\csname#1@old\endcsname}}
+  }
+  \newcommand\mdsy@DeclareOperator[3]{%
+    \ifcsdef{#1}{%
+      \csletcs{#1@old}{#1}%
+    }{\cslet{#1@old}{\mdsy@OrigSymbol@not@def}}%
+    \csdef{#1@sans}{\DOTSB#3\slimits@}
+    \csundef{#1}%
+    \csdef{#1}{\ifmathversionsans{\csname #1@sans\endcsname}{\csname#1@old\endcsname}}
+  }
+  \newcommand\mdsy@DeclareIntegral[3]{%
+    \ifcsdef{#1}{%
+      \csletcs{#1@old}{#1}%
+    }{\cslet{#1@old}{\mdsy@OrigSymbol@not@def}}%
+    \csdef{#1@sans}{\DOTSI#3\ilimits@}%
+    \csundef{#1}%
+    \csdef{#1}{\ifmathversionsans{\csname #1@sans\endcsname}{\csname#1@old\endcsname}}
+  }
+  \newcommand\mdsy@DeclareMathSymbol[4]{%
+    \ifcsdef{#1}{%
+      \csletcs{#1@old}{#1}%
+    }{\cslet{#1@old}{\mdsy@OrigSymbol@not@def}}%
+    \expandafter\DeclareMathSymbol\expandafter{\csname #1@sans\endcsname}{#2}{#3}{#4}%
+    \csundef{#1}%
+    \csdef{#1}{\ifmathversionsans{\csname #1@sans\endcsname}{\csname#1@old\endcsname}}
+  }
+  \newcommand\mdsy@DeclareMathDelimiter[6]{%
+    \ifcsdef{#1}{%
+      \csletcs{#1@old}{#1}%
+    }{\cslet{#1@old}{\mdsy@OrigSymbol@not@def}}%
+    \expandafter\DeclareMathDelimiter\expandafter{\csname #1@sans\endcsname}{#2}{#3}{#4}{#5}{#6}%
+    \csundef{#1}%
+    \csdef{#1}{\ifmathversionsans{\csname #1@sans\endcsname}{\csname#1@old\endcsname}}
+  }
+  \newcommand\mdsy@DeclareMathAccent[4]{%
+    \ifcsdef{#1}{%
+      \csletcs{#1@old}{#1}%
+    }{\cslet{#1@old}{\mdsy@OrigSymbol@not@def}}%
+    \expandafter\DeclareMathAccent\expandafter{\csname #1@sans\endcsname}{#2}{#3}{#4}%
+    \csundef{#1}%
+    \csdef{#1}{\ifmathversionsans{\csname #1@sans\endcsname}{\csname#1@old\endcsname}}
+  }
+  \newcommand\mdsy@DeclareMathRadical[5]{%
+    \ifcsdef{#1}{%
+      \csletcs{#1@old}{#1}%
+    }{\cslet{#1@old}{\mdsy@OrigSymbol@not@def}}%
+    \expandafter\DeclareMathRadical\expandafter{\csname #1@sans\endcsname}{#2}{#3}{#4}{#5}%
+    \csundef{#1}%
+    \csdef{#1}{\ifmathversionsans{\csname #1@sans\endcsname}{\csname#1@old\endcsname}}
+  }
+  \newcommand{\mdsy@DeclareActiveMathSymbol}[4]{%
+    \ifnum\mathcode`#1="8000 %
+    \errmessage{`#1' is already active}%
+    \fi
+    \expandafter\mathchardef\csname#1@old\endcsname=\mathcode`#1 %
+    \expandafter\DeclareMathSymbol\csname#1@new\endcsname{#2}{#3}{#4}
+    \begingroup
+    \lccode`\~=`#1 %
+    \lowercase{\endgroup
+      \def~%
+    }{\ifmathversionsans{\csname#1@new\endcsname}{\csname#1@old\endcsname}}%
+    \mathcode`#1="8000 %
+  }
+  \newcommand{\mdsy@DeclareActiveMathDelimiter}[4]{%
+    % don't know how to implement an active math delimiter; so declare
+    % it as an active math symbol instead
+    \mdsy@DeclareActiveMathSymbol{#1}{#2}{#3}{#4}
+  }
+  \newcommand{\mdsy@renewcommand}[2]{%
+    \ifcsdef{#1}{%
+      \csletcs{#1@old}{#1}%
+    }{\cslet{#1@old}{\mdsy@OrigSymbol@not@def}}%
+    \expandafter\newcommand\csname #1@sans\endcsname{#2}%
+    \csundef{#1}%
+    \csdef{#1}{\ifmathversionsans{\csname #1@sans\endcsname}{\csname#1@old\endcsname}}%
+  }
+  \newcommand{\mdsy@DeclareRobustCommandArg}[3]{%
+    \ifcsdef{#1}{%
+      \csletcs{#1@old}{#1}%
+    }{\cslet{#1@old}{\mdsy@OrigSymbol@not@def}}%
+    \expandafter\DeclareRobustCommand\csname #1@sans\endcsname[#2]{#3}%
+    \csundef{#1}%
+    \csdef{#1}{\ifmathversionsans{\csname #1@sans\endcsname}{\csname#1@old\endcsname}}%
+  }
+  \newcommand{\mdsy@DeclareRobustCommand}[2]{%
+    \ifcsdef{#1}{%
+      \csletcs{#1@old}{#1}%
+    }{\cslet{#1@old}{\mdsy@OrigSymbol@not@def}}%
+    \expandafter\DeclareRobustCommand\csname #1@sans\endcsname{#2}%
+    \csundef{#1}%
+    \csdef{#1}{\ifmathversionsans{\csname #1@sans\endcsname}{\csname#1@old\endcsname}}%
+  }
+\else
+  \let\ifmathversionsans\undefined
+  \newcommand\mdsy@DeclareSymbol[3]{%
+    \csundef{#1}%
+    \expandafter\mdsy@@DeclareSymbol\expandafter{\the\@tempcnta}{#1}{#3}{#2}%
+    \mdsy@nextslot
+  }
+  \newcommand\mdsy@DeclareDelimiter[4]{%
+    \csundef{#1}%
+    \expandafter\DeclareMathDelimiter\expandafter{\csname#1\endcsname}{#2}{#3}{#4}{#3}{#4}%
+  }
+  \newcommand\mdsy@DeclareOperator[3]{%
+    \csdef{#1}{\DOTSB#3\slimits@}%
+  }
+  \newcommand\mdsy@DeclareIntegral[3]{%
+    \csdef{#1}{\DOTSI#3\ilimits@}%
+  }
+  \newcommand\mdsy@DeclareMathSymbol[4]{%
+    \expandafter\DeclareMathSymbol\expandafter{\csname#1\endcsname}{#2}{#3}{#4}%
+  }
+  \newcommand\mdsy@DeclareMathDelimiter[6]{%
+    \expandafter\DeclareMathDelimiter\expandafter{\csname#1\endcsname}{#2}{#3}{#4}{#5}{#6}%
+  }
+  \newcommand\mdsy@DeclareMathAccent[4]{%
+    \expandafter\DeclareMathAccent\expandafter{\csname#1\endcsname}{#2}{#3}{#4}%
+  }
+  \newcommand\mdsy@DeclareMathRadical[5]{%
+    \expandafter\DeclareMathRadical\expandafter{\csname#1\endcsname}{#2}{#3}{#4}{#5}%
+  }
+  \newcommand\mdsy@DeclareActiveMathSymbol[4]{%
+    \DeclareMathSymbol{#1}{#2}{#3}{#4}%
+  }
+  \newcommand\mdsy@DeclareActiveMathDelimiter[4]{%
+    \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}%
+  }
+  \newcommand{\mdsy@renewcommand}[2]{%
+    \expandafter\providecommand\csname #1\endcsname{#2}%
+  }
+  \newcommand{\mdsy@DeclareRobustCommand}[2]{%
+    \expandafter\DeclareRobustCommand\csname#1\endcsname{#2}%
+  }
+  \newcommand{\mdsy@DeclareRobustCommandArg}[3]{%
+    \expandafter\DeclareRobustCommand\csname#1\endcsname[#2]{#3}%
+  }
+\fi
+
+\newcommand\mdsy@DeclareAlias[3]{\mdsy@prevslot\mdsy@DeclareSymbol{#1}{#2}{#3}}
+
+\newcommand\mdsy@DeclareOpen[3]{\mdsy@DeclareDelimiter{#1}{\mathopen}{#2}{#3}}
+\newcommand\mdsy@DeclareClose[3]{\mdsy@DeclareDelimiter{#1}{\mathclose}{#2}{#3}}
+%    \end{macrocode}
+% If the option \textsf{largedelims} has been selected, we readjust the
+% scaling factors of big delimiters, so that |\Big|, |\bigg| and |\Bigg| do
+% not change their size.
+%    \begin{macrocode}
+\ifmdsy@largedelims
+  \mdsy@renewcommand{Big}{\bBigg@{1.25}}
+  \mdsy@renewcommand{bigg}{\bBigg@{1.66}}
+  \mdsy@renewcommand{Bigg}{\bBigg@{2.08}}
+\fi
+%    \end{macrocode}
+% Some symbols missing from MdSymbol can be obtained from other fonts or
+% by combining several other symbols.
+%    \begin{macrocode}
+\ifmdsy@retainmissing
+\else
+  \mdsy@DeclareRobustCommand{dagger}{\mdsy@text{\textdagger}}
+  \mdsy@DeclareRobustCommand{ddagger}{\mdsy@text{\textdaggerdbl}}
+  \mdsy@DeclareRobustCommand{mathparagraph}{\mdsy@text{\textparagraph}}
+  \mdsy@DeclareRobustCommand{mathsection}{\mdsy@text{\textsection}}
+  \mdsy@DeclareRobustCommand{mathdollar}{\mdsy@text{\textdollar}}
+  \mdsy@DeclareRobustCommand{mathsterling}{\mdsy@text{\textsterling}}
+  \mdsy@DeclareRobustCommand{yen}{\mdsy@text{\textyen}}
+  \mdsy@DeclareRobustCommand{circledR}{\mdsy@text{\textcircled{%
+        \check@mathfonts\fontsize\sf@size\z@\math@fontsfalse\selectfont R}}}
+  \mdsy@DeclareRobustCommand{circledS}{\mdsy@text{\textcircled{%
+        \check@mathfonts\fontsize\sf@size\z@\math@fontsfalse\selectfont S}}}
+  \mdsy@DeclareRobustCommand{Re}{\mathfrak{R}}
+  \mdsy@DeclareRobustCommand{Im}{\mathfrak{I}}
+  \mdsy@DeclareRobustCommand{dotcong}{\mathrel{\dot{\cong}}}
+  \mdsy@DeclareRobustCommand{thicksim}{\mathrel{\text{\boldmath$\m@th\sim$}}}
+  \mdsy@DeclareRobustCommand{thickapprox}{\mathrel{\text{\boldmath$\m@th\approx$}}}
+  \mdsy@DeclareRobustCommand{hslash}{\middleslash h}
+  \mdsy@DeclareRobustCommand{centerdot}{\mathbin{\rule{0.15em}{0.15em}}}
+  \mdsy@DeclareRobustCommand{lambdabar}{\middlebar\lambda}
+  \mdsy@DeclareRobustCommand{lambdaslash}{\middleslash\lambda}
+  \@ifpackageloaded{MyriadPro}{}{%
+    \mdsy@DeclareRobustCommand{hbar}{\middlebar h}%
+  }
+\fi
+%    \end{macrocode}
+% Unneeded partial symbols.
+%    \begin{macrocode}
+\ifmdsy@onlysansmath
+\else
+  \let\mapstochar\undefined
+  \let\lhook\undefined
+  \let\rhook\undefined
+\fi
+%    \end{macrocode}
+% Font definitions.
+%    \begin{macrocode}
+\DeclareFontFamily{U}{MdSymbolA}{}
+\DeclareFontFamily{U}{MdSymbolB}{}
+\DeclareFontFamily{U}{MdSymbolC}{}
+\DeclareFontFamily{U}{MdSymbolD}{}
+\DeclareFontFamily{U}{MdSymbolE}{}
+\DeclareFontFamily{U}{MdSymbolF}{}
+
+\RequirePackage{fltpoint}
+\fpDecimalSign{.}
+\newcommand*{\mdsy@calc@bsize}[2]{\fpDiv{#1}{#2}{\mdsy@scale}}
+
+\mdsy@calc@bsize{\mdsy@s@medium}{6}
+\mdsy@calc@bsize{\mdsy@s@bold}{6}
+
+\DeclareFontShape{U}{MdSymbolA}{m}{n}{
+    <              -\mdsy@s@medium> s * [\mdsy@scale] MdSymbolA-\mdsy@mweight@small
+    <\mdsy@s@medium-              > s * [\mdsy@scale] MdSymbolA-\mdsy@mweight@normal
+}{}
+\DeclareFontShape{U}{MdSymbolA}{b}{n}{
+    <              -  \mdsy@s@bold> s * [\mdsy@scale] MdSymbolA-\mdsy@bweight@small
+    <\mdsy@s@bold  -              > s * [\mdsy@scale] MdSymbolA-\mdsy@bweight@normal
+}{}
+\DeclareFontShape{U}{MdSymbolB}{m}{n}{
+    <              -\mdsy@s@medium> s * [\mdsy@scale] MdSymbolB-\mdsy@mweight@small
+    <\mdsy@s@medium-              > s * [\mdsy@scale] MdSymbolB-\mdsy@mweight@normal
+}{}
+\DeclareFontShape{U}{MdSymbolB}{b}{n}{
+    <              -  \mdsy@s@bold> s * [\mdsy@scale] MdSymbolB-\mdsy@bweight@small
+    <\mdsy@s@bold  -              > s * [\mdsy@scale] MdSymbolB-\mdsy@bweight@normal
+}{}
+\DeclareFontShape{U}{MdSymbolC}{m}{n}{
+    <              -\mdsy@s@medium> s * [\mdsy@scale] MdSymbolC-\mdsy@mweight@small
+    <\mdsy@s@medium-              > s * [\mdsy@scale] MdSymbolC-\mdsy@mweight@normal
+}{}
+\DeclareFontShape{U}{MdSymbolC}{b}{n}{
+    <              -  \mdsy@s@bold> s * [\mdsy@scale] MdSymbolC-\mdsy@bweight@small
+    <\mdsy@s@bold  -              > s * [\mdsy@scale] MdSymbolC-\mdsy@bweight@normal
+}{}
+\DeclareFontShape{U}{MdSymbolD}{m}{n}{
+    <              -\mdsy@s@medium> s * [\mdsy@scale] MdSymbolD-\mdsy@mweight@small
+    <\mdsy@s@medium-              > s * [\mdsy@scale] MdSymbolD-\mdsy@mweight@normal
+}{}
+\DeclareFontShape{U}{MdSymbolD}{b}{n}{
+    <              -  \mdsy@s@bold> s * [\mdsy@scale] MdSymbolD-\mdsy@bweight@small
+    <\mdsy@s@bold  -              > s * [\mdsy@scale] MdSymbolD-\mdsy@bweight@normal
+}{}
+\DeclareFontShape{U}{MdSymbolE}{m}{n}{
+    <              -\mdsy@s@medium> s * [\mdsy@scale] MdSymbolE-\mdsy@mweight@small
+    <\mdsy@s@medium-              > s * [\mdsy@scale] MdSymbolE-\mdsy@mweight@normal
+}{}
+\DeclareFontShape{U}{MdSymbolE}{b}{n}{
+    <              -  \mdsy@s@bold> s * [\mdsy@scale] MdSymbolE-\mdsy@bweight@small
+    <\mdsy@s@bold  -              > s * [\mdsy@scale] MdSymbolE-\mdsy@bweight@normal
+}{}
+\DeclareFontShape{U}{MdSymbolF}{m}{n}{
+    <              -\mdsy@s@medium> s * [\mdsy@scale] MdSymbolF-\mdsy@mweight@small
+    <\mdsy@s@medium-              > s * [\mdsy@scale] MdSymbolF-\mdsy@mweight@normal
+}{}
+\DeclareFontShape{U}{MdSymbolF}{b}{n}{
+    <              -  \mdsy@s@bold> s * [\mdsy@scale] MdSymbolF-\mdsy@bweight@small
+    <\mdsy@s@bold  -              > s * [\mdsy@scale] MdSymbolF-\mdsy@bweight@normal
+}{}
+
+\newcommand\IfUndefSymbolFont[3]{\@ifundefined{sym#1}{#2}{#3}}
+\newcommand{\mdsy@DeclareSymbolFont}[3]{%
+  \IfUndefSymbolFont{#1}{%
+    \DeclareSymbolFont{#1}{#2}{#3}{m}{n}
+  }{%
+    \ifmdsy@onlysansmath%
+      \SetSymbolFont{#1}{sans}{#2}{#3}{m}{n}%
+      \SetSymbolFont{#1}{sanstabular}{#2}{#3}{m}{n}%
+    \else%
+      \SetSymbolFont{#1}{normal}{#2}{#3}{m}{n}%
+      \mdsy@if@tabular@math{\SetSymbolFont{#1}{tabular}{#2}{#3}{m}{n}}%
+    \fi%
+  }
+  \ifmdsy@onlysansmath%
+    \SetSymbolFont{#1}{sansbold}{#2}{#3}{b}{n}%
+    \SetSymbolFont{#1}{sansboldtabular}{#2}{#3}{b}{n}%
+  \else%
+    \SetSymbolFont{#1}{bold}{#2}{#3}{b}{n}%
+    \mdsy@if@tabular@math{\SetSymbolFont{#1}{boldtabular}{#2}{#3}{b}{n}}%
+  \fi%
+}
+
+\mdsy@DeclareSymbolFont{symbols}{U}{MdSymbolA}
+\mdsy@DeclareSymbolFont{relations}{U}{MdSymbolB}
+\mdsy@DeclareSymbolFont{arrows}{U}{MdSymbolC}
+\mdsy@DeclareSymbolFont{narrows}{U}{MdSymbolD}
+\mdsy@DeclareSymbolFont{largesymbols}{U}{MdSymbolE}
+\mdsy@DeclareSymbolFont{delimiters}{U}{MdSymbolF}
+
+%    \end{macrocode}
+% A command for taking math symbols from the text font.
+%    \begin{macrocode}
+\def\mdsy@bold{bold}
+\newcommand*\mdsy@text[1]{%
+  \ifx\mdsy@bold\math@version
+    \text{\sffamily\bfseries#1}%
+  \else
+    \text{\sffamily\mdseries#1}%
+  \fi
+}
+%    \end{macrocode}
+% MdSymbolA: binary operators and ordinary symbols
+%    \begin{macrocode}
+\mdsy@setslot{0}
+\mdsy@DeclareSymbol{cdot}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{cdotp}{symbols}{\mathpunct}
+\mdsy@DeclareSymbol{hdotdot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{vdotdot}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{colon}{symbols}{\mathpunct}
+  \mdsy@DeclareAlias{mathcolon}{symbols}{\mathpunct}
+  \mdsy@DeclareAlias{mathratio}{symbols}{\mathrel}
+\mdsy@DeclareSymbol{udotdot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{ddotdot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{hdots}{symbols}{\mathord}
+  \mdsy@DeclareAlias{@cdots}{symbols}{\mathinner}
+  \mdsy@DeclareAlias{cdots}{symbols}{\mathinner}
+\mdsy@DeclareSymbol{@vdots}{symbols}{\mathord}
+\mdsy@DeclareRobustCommand{vdots}{\ifmmode\@vdots\else\hbox{$\@vdots$}\fi}
+\mdsy@DeclareSymbol{udots}{symbols}{\mathord}
+  \mdsy@DeclareAlias{adots}{symbols}{\mathord}
+\mdsy@DeclareSymbol{ddots}{symbols}{\mathord}
+\mdsy@DeclareSymbol{righttherefore}{symbols}{\mathord}
+\mdsy@DeclareSymbol{uptherefore}{symbols}{\mathord}
+  \mdsy@DeclareAlias{therefore}{symbols}{\mathord}
+\mdsy@DeclareSymbol{lefttherefore}{symbols}{\mathord}
+\mdsy@DeclareSymbol{downtherefore}{symbols}{\mathord}
+  \mdsy@DeclareAlias{because}{symbols}{\mathord}
+\mdsy@DeclareSymbol{squaredots}{symbols}{\mathord}
+  \mdsy@DeclareAlias{Colon}{symbols}{\mathrel}
+\mdsy@DeclareSymbol{minus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medslash}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{smalldivslash}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medbackslash}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{smallsetminus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{plus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{times}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{dotminus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{minusdot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{div}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{minusfdots}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{minusrdots}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{dotsminusdots}{symbols}{\mathrel}
+\mdsy@DeclareSymbol{pm}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{mp}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{dotplus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{plusdot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{dottimes}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{timesbar}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{divideontimes}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{neg}{symbols}{\mathord}
+  \mdsy@DeclareAlias{lnot}{symbols}{\mathord}
+  \mdsy@DeclareAlias{minushookdown}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{backneg}{symbols}{\mathord}
+  \mdsy@DeclareAlias{hookdownminus}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{invneg}{symbols}{\mathord}
+  \mdsy@DeclareAlias{invnot}{symbols}{\mathord}
+\mdsy@DeclareSymbol{intprod}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{minushookup}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{turnedneg}{symbols}{\mathord}
+  \mdsy@DeclareAlias{turnednot}{symbols}{\mathord}
+\mdsy@DeclareSymbol{intprodr}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{hookupminus}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{turnedbackneg}{symbols}{\mathord}
+\mdsy@DeclareSymbol{leftthreetimes}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{rightthreetimes}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{dtimes}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{btimes}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{rtimes}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{rJoin}{symbols}{\mathrel}
+\mdsy@DeclareSymbol{utimes}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{ttimes}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{ltimes}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{lJoin}{symbols}{\mathrel}
+\mdsy@DeclareSymbol{bowtie}{symbols}{\mathrel}
+  \mdsy@DeclareAlias{Join}{symbols}{\mathrel}
+  \mdsy@DeclareAlias{lrtimes}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{upbowtie}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{hourglass}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{rightY}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{upY}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{leftY}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{downY}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{wedge}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{land}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{vee}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{lor}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{wedgedot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{veedot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{doublewedge}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{wedgeonwedge}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{doublevee}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{veeonvee}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{curlywedge}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{curlyvee}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{barwedge}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{veebar}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{doublebarwedge}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{veedoublebar}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{cup}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{cap}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{doublecup}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{Cup}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{doublecap}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{Cap}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{cupdot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{capdot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{cupplus}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{uplus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{capplus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{sqcup}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{sqcap}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{doublesqcup}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{Sqcup}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{doublesqcap}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{Sqcap}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{sqcupdot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{sqcapdot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{sqcupplus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{sqcapplus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{pullback}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{pushout}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smalltriangleright}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smalltriangleup}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smalltriangleleft}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smalltriangledown}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smallblacktriangleright}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smallblacktriangleup}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smallblacktriangleleft}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smallblacktriangledown}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medtriangleright}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{triangleright}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medtriangleup}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{triangle}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{vartriangle}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medtriangleleft}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{triangleleft}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medtriangledown}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{triangledown}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medblacktriangleright}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{blacktriangleright}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medblacktriangleup}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{blacktriangle}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medblacktriangleleft}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{blacktriangleleft}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medblacktriangledown}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{blacktriangledown}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{largetriangleup}{symbols}{\mathord}
+  \mdsy@DeclareAlias{bigtriangleup}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{largetriangledown}{symbols}{\mathord}
+  \mdsy@DeclareAlias{bigtriangledown}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smallcircle}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{circ}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{smwhtcircle}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smallblackcircle}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{bullet}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{smblkcircle}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medcircle}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{mdlgwhtcircle}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medblackcircle}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{mdlgblkcircle}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{ominus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{overt}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{circledvert}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{oslash}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{obackslash}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{obslash}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{oplus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{otimes}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{odot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{ocirc}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{circledcirc}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{oast}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{circledast}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{odash}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{circleddash}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{oequal}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{circledequal}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{emptyset}{symbols}{\mathord}
+  \mdsy@DeclareAlias{diameter}{symbols}{\mathord}
+  \mdsy@DeclareAlias{varnothing}{symbols}{\mathord}
+\mdsy@DeclareSymbol{revemptyset}{symbols}{\mathord}
+\mdsy@DeclareSymbol{largecircle}{symbols}{\mathord}
+  \mdsy@DeclareAlias{bigcirc}{symbols}{\mathord}
+  \mdsy@DeclareAlias{lgwhtcircle}{symbols}{\mathord}
+\mdsy@DeclareSymbol{largeblackcircle}{symbols}{\mathord}
+  \mdsy@DeclareAlias{lgblkcircle}{symbols}{\mathord}
+\mdsy@DeclareSymbol{smallsquare}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{smwhtsquare}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smallblacksquare}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{smblksquare}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medsquare}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{square}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{Box}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{mdlgwhtsquare}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{mdwhtsquare}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medblacksquare}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{mdlgblksquare}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{mdblksquare}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{boxminus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{boxvert}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{boxbar}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{boxslash}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{boxdiag}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{boxbackslash}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{boxbslash}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{boxplus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{boxtimes}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{boxdot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{boxbox}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{largesquare}{symbols}{\mathord}
+  \mdsy@DeclareAlias{lgwhtsquare}{symbols}{\mathord}
+\mdsy@DeclareSymbol{largeblacksquare}{symbols}{\mathord}
+  \mdsy@DeclareAlias{lgblksquare}{symbols}{\mathord}
+\mdsy@DeclareSymbol{smalldiamond}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{diamond}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{smwhtdiamond}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smallblackdiamond}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{blackdiamond}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{smblkdiamond}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{meddiamond}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{Diamond}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{mdlgwhtdiamond}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{mdwhtdiamond}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medblackdiamond}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{mdlgblkdiamond}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{mdblkdiamond}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{diamondminus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{diamondvert}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{diamondslash}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{diamondbackslash}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{diamondbslash}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{diamondplus}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{diamondtimes}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{diamonddot}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{diamondcdot}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{diamonddiamond}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smalllozenge}{symbols}{\mathord}
+  \mdsy@DeclareAlias{smwhtlozenge}{symbols}{\mathord}
+\mdsy@DeclareSymbol{smallblacklozenge}{symbols}{\mathord}
+  \mdsy@DeclareAlias{smblklozenge}{symbols}{\mathord}
+\mdsy@DeclareSymbol{medlozenge}{symbols}{\mathord}
+  \mdsy@DeclareAlias{lozenge}{symbols}{\mathord}
+  \mdsy@DeclareAlias{mdlgwhtlozenge}{symbols}{\mathord}
+  \mdsy@DeclareAlias{mdwhtlozenge}{symbols}{\mathord}
+\mdsy@DeclareSymbol{medblacklozenge}{symbols}{\mathord}
+  \mdsy@DeclareAlias{blacklozenge}{symbols}{\mathord}
+  \mdsy@DeclareAlias{mdlgblklozenge}{symbols}{\mathord}
+  \mdsy@DeclareAlias{mdblklozenge}{symbols}{\mathord}
+\mdsy@DeclareSymbol{lozengeminus}{symbols}{\mathord}
+\mdsy@DeclareSymbol{smallwhitestar}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{smwhitestar}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smallblackstar}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{star}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medwhitestar}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{medblackstar}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{medstar}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{largewhitestar}{symbols}{\mathord}
+\mdsy@DeclareSymbol{largeblackstar}{symbols}{\mathord}
+  \mdsy@DeclareAlias{bigstar}{symbols}{\mathord}
+\mdsy@DeclareSymbol{ast}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{infty}{symbols}{\mathord}
+\mdsy@DeclareSymbol{propto}{symbols}{\mathrel}
+  \mdsy@DeclareAlias{varpropto}{symbols}{\mathrel}
+\mdsy@DeclareSymbol{backpropto}{symbols}{\mathrel}
+  \mdsy@DeclareAlias{propfrom}{symbols}{\mathrel}
+\mdsy@DeclareSymbol{crossing}{symbols}{\mathrel}
+\mdsy@DeclareSymbol{between}{symbols}{\mathrel}
+\mdsy@DeclareSymbol{intercal}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{wreath}{symbols}{\mathbin}
+  \mdsy@DeclareAlias{wr}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{angle}{symbols}{\mathord}
+\mdsy@DeclareSymbol{revangle}{symbols}{\mathord}
+\mdsy@DeclareSymbol{measuredangle}{symbols}{\mathord}
+\mdsy@DeclareSymbol{revmeasuredangle}{symbols}{\mathord}
+  \mdsy@DeclareAlias{measuredangleleft}{symbols}{\mathord}
+\mdsy@DeclareSymbol{sphericalangle}{symbols}{\mathord}
+\mdsy@DeclareSymbol{sphericalangleup}{symbols}{\mathord}
+\mdsy@DeclareSymbol{sphericalangleleft}{symbols}{\mathord}
+  \mdsy@DeclareAlias{revsphericalangle}{symbols}{\mathord}
+  \mdsy@DeclareAlias{gtlpar}{symbols}{\mathord}
+\mdsy@DeclareSymbol{sphericalangledown}{symbols}{\mathord}
+\mdsy@DeclareSymbol{rightangle}{symbols}{\mathord}
+\mdsy@DeclareSymbol{measuredrightangle}{symbols}{\mathord}
+\mdsy@DeclareSymbol{rightanglesquare}{symbols}{\mathord}
+  \mdsy@DeclareAlias{rightanglesqr}{symbols}{\mathord}
+\mdsy@DeclareSymbol{measuredrightangledot}{symbols}{\mathord}
+  \mdsy@DeclareAlias{rightanglemdot}{symbols}{\mathord}
+\mdsy@DeclareSymbol{prime}{symbols}{\mathord}
+\mdsy@DeclareSymbol{backprime}{symbols}{\mathord}
+\mdsy@DeclareSymbol{smallprod}{symbols}{\mathop}
+\mdsy@DeclareSymbol{smallcoprod}{symbols}{\mathop}
+  \mdsy@DeclareAlias{amalg}{symbols}{\mathbin}
+\mdsy@DeclareSymbol{smallint}{symbols}{\mathop}
+\mdsy@DeclareSymbol{checkmark}{symbols}{\mathord}
+\mdsy@DeclareSymbol{lightning}{symbols}{\mathord}
+  \mdsy@DeclareAlias{downzigzagarrow}{symbols}{\mathord}
+\mdsy@DeclareSymbol{diamondsuit}{symbols}{\mathord}
+\mdsy@DeclareSymbol{vardiamondsuit}{symbols}{\mathord}
+\mdsy@DeclareSymbol{heartsuit}{symbols}{\mathord}
+\mdsy@DeclareSymbol{varheartsuit}{symbols}{\mathord}
+\mdsy@DeclareSymbol{spadesuit}{symbols}{\mathord}
+\mdsy@DeclareSymbol{clubsuit}{symbols}{\mathord}
+\mdsy@DeclareSymbol{maltese}{symbols}{\mathord}
+\mdsy@DeclareSymbol{starofdavid}{symbols}{\mathord}
+\mdsy@DeclareSymbol{sector}{symbols}{\mathord}
+\mdsy@DeclareSymbol{forall}{symbols}{\mathord}
+\mdsy@DeclareSymbol{exists}{symbols}{\mathord}
+\mdsy@DeclareSymbol{nexists}{symbols}{\mathord}
+\mdsy@DeclareSymbol{Finv}{symbols}{\mathord}
+\mdsy@DeclareSymbol{Game}{symbols}{\mathord}
+\mdsy@DeclareSymbol{complement}{symbols}{\mathord}
+\mdsy@DeclareSymbol{flat}{symbols}{\mathord}
+\mdsy@DeclareSymbol{natural}{symbols}{\mathord}
+\mdsy@DeclareSymbol{sharp}{symbols}{\mathord}
+\mdsy@DeclareSymbol{aleph}{symbols}{\mathord}
+\mdsy@DeclareSymbol{beth}{symbols}{\mathord}
+\mdsy@DeclareSymbol{gimel}{symbols}{\mathord}
+\mdsy@DeclareSymbol{daleth}{symbols}{\mathord}
+\mdsy@DeclareSymbol{wp}{symbols}{\mathord}
+\mdsy@DeclareSymbol{nabla}{symbols}{\mathord}
+%    \end{macrocode}
+% MdSymbolB: relations
+%    \begin{macrocode}
+\mdsy@setslot{0}
+\mdsy@DeclareSymbol{equal}{relations}{\mathrel}
+\mdsy@DeclareSymbol{equiv}{relations}{\mathrel}
+\mdsy@DeclareSymbol{sim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{backsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{approx}{relations}{\mathrel}
+\mdsy@DeclareSymbol{triplesim}{relations}{\mathrel}
+  \mdsy@DeclareAlias{approxident}{relations}{\mathrel}
+\mdsy@DeclareSymbol{simeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{backsimeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{eqsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{cong}{relations}{\mathrel}
+\mdsy@DeclareSymbol{backcong}{relations}{\mathrel}
+\mdsy@DeclareSymbol{approxeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{bumpeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{bumpeqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{Bumpeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{doteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{eqdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{Doteq}{relations}{\mathrel}
+  \mdsy@DeclareAlias{doteqdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{fallingdotseq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{risingdotseq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{coloneq}{relations}{\mathrel}
+  \mdsy@DeclareAlias{coloneqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{eqcolon}{relations}{\mathrel}
+  \mdsy@DeclareAlias{eqqcolon}{relations}{\mathrel}
+\mdsy@DeclareSymbol{smile}{relations}{\mathrel}
+  \mdsy@DeclareAlias{smallsmile}{relations}{\mathrel}
+\mdsy@DeclareSymbol{frown}{relations}{\mathrel}
+  \mdsy@DeclareAlias{smallfrown}{relations}{\mathrel}
+\mdsy@DeclareSymbol{smilefrown}{relations}{\mathrel}
+  \mdsy@DeclareAlias{asymp}{relations}{\mathrel}
+\mdsy@DeclareSymbol{frownsmile}{relations}{\mathrel}
+  \mdsy@DeclareAlias{closure}{relations}{\mathrel}
+\mdsy@DeclareSymbol{smileeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{frowneq}{relations}{\mathrel}
+  \mdsy@DeclareAlias{arceq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{eqcirc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{circeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{wedgeq}{relations}{\mathrel}
+  \mdsy@DeclareAlias{hateq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{veeeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{stareq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{triangleeq}{relations}{\mathrel}
+  \mdsy@DeclareAlias{triangleq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{in}{relations}{\mathrel}
+\mdsy@DeclareSymbol{owns}{relations}{\mathrel}
+  \mdsy@DeclareAlias{ni}{relations}{\mathrel}
+\mdsy@DeclareSymbol{less}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gtr}{relations}{\mathrel}
+\mdsy@DeclareSymbol{leq}{relations}{\mathrel}
+  \mdsy@DeclareAlias{le}{relations}{\mathrel}
+\mdsy@DeclareSymbol{geq}{relations}{\mathrel}
+  \mdsy@DeclareAlias{ge}{relations}{\mathrel}
+\mdsy@DeclareSymbol{leqslant}{relations}{\mathrel}
+\mdsy@DeclareSymbol{geqslant}{relations}{\mathrel}
+\mdsy@DeclareSymbol{leqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{geqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lesssim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gtrsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lessapprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gtrapprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lessgtr}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gtrless}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lesseqgtr}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gtreqless}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lesseqqgtr}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gtreqqless}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lesseqslantgtr}{relations}{\mathrel}
+  \mdsy@DeclareAlias{lesg}{relations}{\mathrel}
+  \mdsy@DeclareAlias{lesseqgtrslant}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gtreqslantless}{relations}{\mathrel}
+  \mdsy@DeclareAlias{gesl}{relations}{\mathrel}
+  \mdsy@DeclareAlias{gtreqlessslant}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ll}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gg}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lll}{relations}{\mathrel}
+  \mdsy@DeclareAlias{llless}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ggg}{relations}{\mathrel}
+  \mdsy@DeclareAlias{gggtr}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lessclosed}{relations}{\mathrel}
+  \mdsy@DeclareAlias{lhd}{relations}{\mathbin}
+  \mdsy@DeclareAlias{vartriangleleft}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gtrclosed}{relations}{\mathrel}
+  \mdsy@DeclareAlias{rhd}{relations}{\mathbin}
+  \mdsy@DeclareAlias{vartriangleright}{relations}{\mathrel}
+\mdsy@DeclareSymbol{leqclosed}{relations}{\mathrel}
+  \mdsy@DeclareAlias{unlhd}{relations}{\mathbin}
+  \mdsy@DeclareAlias{trianglelefteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{geqclosed}{relations}{\mathrel}
+  \mdsy@DeclareAlias{unrhd}{relations}{\mathbin}
+  \mdsy@DeclareAlias{trianglerighteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lesscc}{relations}{\mathrel}
+  \mdsy@DeclareAlias{ltcc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gtrcc}{relations}{\mathrel}
+  \mdsy@DeclareAlias{gtcc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{leqslcc}{relations}{\mathrel}
+  \mdsy@DeclareAlias{lescc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{geqslcc}{relations}{\mathrel}
+  \mdsy@DeclareAlias{gescc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{sqsubset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{sqsupset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{sqsubseteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{sqsupseteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{sqsubseteqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{sqsupseteqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{Sqsubset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{Sqsupset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{subset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{supset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{subseteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{supseteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{subseteqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{supseteqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{Subset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{Supset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{prec}{relations}{\mathrel}
+\mdsy@DeclareSymbol{succ}{relations}{\mathrel}
+\mdsy@DeclareSymbol{preceq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{succeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{preccurlyeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{succcurlyeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{preceqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{succeqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{precsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{succsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{precapprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{succapprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lessdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gtrdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{leqdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{geqdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{leqslantdot}{relations}{\mathrel}
+  \mdsy@DeclareAlias{lesdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{geqslantdot}{relations}{\mathrel}
+  \mdsy@DeclareAlias{gesdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{eqslantless}{relations}{\mathrel}
+\mdsy@DeclareSymbol{eqslantgtr}{relations}{\mathrel}
+\mdsy@DeclareSymbol{curlyeqprec}{relations}{\mathrel}
+\mdsy@DeclareSymbol{curlyeqsucc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nequal}{relations}{\mathrel}
+  \mdsy@DeclareAlias{neq}{relations}{\mathrel}
+  \mdsy@DeclareAlias{ne}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nequiv}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nbacksim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{napprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ntriplesim}{relations}{\mathrel}
+  \mdsy@DeclareAlias{napproxident}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsimeq}{relations}{\mathrel}
+  \mdsy@DeclareAlias{nsime}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nbacksimeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{neqsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ncong}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nbackcong}{relations}{\mathrel}
+\mdsy@DeclareSymbol{napproxeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nbumpeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nbumpeqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nBumpeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ndoteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{neqdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nDoteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nfallingdotseq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nrisingdotseq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsmile}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nfrown}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsmilefrown}{relations}{\mathrel}
+  \mdsy@DeclareAlias{nasymp}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nfrownsmile}{relations}{\mathrel}
+  \mdsy@DeclareAlias{nclosure}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsmileeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nfrowneq}{relations}{\mathrel}
+  \mdsy@DeclareAlias{narceq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{neqcirc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ncirceq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nwedgeq}{relations}{\mathrel}
+  \mdsy@DeclareAlias{nhateq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nveeeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nstareq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ntriangleeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nin}{relations}{\mathrel}
+  \mdsy@DeclareAlias{notin}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nowns}{relations}{\mathrel}
+  \mdsy@DeclareAlias{nni}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nless}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngtr}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nleq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nleqslant}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngeqslant}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nleqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngeqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nlesssim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngtrsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nlessapprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngtrapprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nlessgtr}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngtrless}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nlesseqgtr}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngtreqless}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nlesseqqgtr}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngtreqqless}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nlesseqslantgtr}{relations}{\mathrel}
+  \mdsy@DeclareAlias{nlesg}{relations}{\mathrel}
+  \mdsy@DeclareAlias{nlesseqgtrslant}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngtreqslantless}{relations}{\mathrel}
+  \mdsy@DeclareAlias{ngesl}{relations}{\mathrel}
+  \mdsy@DeclareAlias{ngtreqlessslant}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nll}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngg}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nlll}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nggg}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nlessclosed}{relations}{\mathrel}
+  \mdsy@DeclareAlias{ntriangleleft}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngtrclosed}{relations}{\mathrel}
+  \mdsy@DeclareAlias{ntriangleright}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nleqclosed}{relations}{\mathrel}
+  \mdsy@DeclareAlias{ntrianglelefteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngeqclosed}{relations}{\mathrel}
+  \mdsy@DeclareAlias{ntrianglerighteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nlesscc}{relations}{\mathrel}
+  \mdsy@DeclareAlias{nltcc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngtrcc}{relations}{\mathrel}
+  \mdsy@DeclareAlias{ngtcc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nleqslcc}{relations}{\mathrel}
+  \mdsy@DeclareAlias{nlescc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngeqslcc}{relations}{\mathrel}
+  \mdsy@DeclareAlias{ngescc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsqsubset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsqsupset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsqsubseteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsqsupseteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsqsubseteqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsqsupseteqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nSqsubset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nSqsupset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsubset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsupset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsubseteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsupseteq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsubseteqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsupseteqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nSubset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nSupset}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nprec}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsucc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{npreceq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsucceq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{npreccurlyeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsucccurlyeq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{npreceqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsucceqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nprecsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsuccsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nprecapprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nsuccapprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nlessdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngtrdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nleqdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngeqdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{nleqslantdot}{relations}{\mathrel}
+  \mdsy@DeclareAlias{nlesdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ngeqslantdot}{relations}{\mathrel}
+  \mdsy@DeclareAlias{ngesdot}{relations}{\mathrel}
+\mdsy@DeclareSymbol{neqslantless}{relations}{\mathrel}
+\mdsy@DeclareSymbol{neqslantgtr}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ncurlyeqprec}{relations}{\mathrel}
+\mdsy@DeclareSymbol{ncurlyeqsucc}{relations}{\mathrel}
+\mdsy@DeclareSymbol{simneqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{backsimneqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lneq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gneq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lneqq}{relations}{\mathrel}
+  \mdsy@DeclareAlias{lvertneqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gneqq}{relations}{\mathrel}
+  \mdsy@DeclareAlias{gvertneqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lnsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gnsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{lnapprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{gnapprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{sqsubsetneq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{sqsupsetneq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{sqsubsetneqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{sqsupsetneqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{subsetneq}{relations}{\mathrel}
+  \mdsy@DeclareAlias{varsubsetneq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{supsetneq}{relations}{\mathrel}
+  \mdsy@DeclareAlias{varsupsetneq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{subsetneqq}{relations}{\mathrel}
+  \mdsy@DeclareAlias{varsubsetneqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{supsetneqq}{relations}{\mathrel}
+  \mdsy@DeclareAlias{varsupsetneqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{precneq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{succneq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{precneqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{succneqq}{relations}{\mathrel}
+\mdsy@DeclareSymbol{precnsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{succnsim}{relations}{\mathrel}
+\mdsy@DeclareSymbol{precnapprox}{relations}{\mathrel}
+\mdsy@DeclareSymbol{succnapprox}{relations}{\mathrel}
+%    \end{macrocode}
+% MdSymbolC: arrows and turnstile symbols
+%    \begin{macrocode}
+\mdsy@setslot{0}
+\mdsy@DeclareSymbol{rightarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{to}{arrows}{\mathrel}
+% \mdsy@DeclareSymbol{uparrow}{arrows}{\mathrel}
+\mdsy@nextslot                  %uparrow defined below
+\mdsy@DeclareSymbol{leftarrow}{arrows}{\mathrel}
+\mdsy@DeclareAlias{gets}{arrows}{\mathrel}
+% \mdsy@DeclareSymbol{downarrow}{arrows}{\mathrel}
+\mdsy@nextslot                  %downarrow defined below
+\mdsy@DeclareSymbol{nearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nwarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{swarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{searrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Rightarrow}{arrows}{\mathrel}
+% \mdsy@DeclareSymbol{Uparrow}{arrows}{\mathrel}
+\mdsy@nextslot                  %Uparrow defined below
+\mdsy@DeclareSymbol{Leftarrow}{arrows}{\mathrel}
+% \mdsy@DeclareSymbol{Downarrow}{arrows}{\mathrel}
+\mdsy@nextslot                  %Downarrow defined below
+\mdsy@DeclareSymbol{Nearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Nwarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Swarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Searrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftrightarrow}{arrows}{\mathrel}
+% \mdsy@DeclareSymbol{updownarrow}{arrows}{\mathrel}
+\mdsy@nextslot                  %updownarrow defined below
+\mdsy@DeclareSymbol{neswarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nwsearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Leftrightarrow}{arrows}{\mathrel}
+% \mdsy@DeclareSymbol{Updownarrow}{arrows}{\mathrel}
+\mdsy@nextslot                  %Updownarrow defined below
+\mdsy@DeclareSymbol{Neswarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Nwsearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{twoheadrightarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{twoheaduparrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{twoheadleftarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{twoheaddownarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{twoheadnearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{twoheadnwarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{twoheadswarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{twoheadsearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightarrowtail}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{uparrowtail}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftarrowtail}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downarrowtail}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nearrowtail}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nwarrowtail}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{swarrowtail}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{searrowtail}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightmapsto}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{mapsto}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upmapsto}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{mapsup}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftmapsto}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{mapsfrom}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downmapsto}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{mapsdown}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Rightmapsto}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{Mapsto}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Upmapsto}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{Mapsup}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Leftmapsto}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{Mapsfrom}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Downmapsto}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{Mapsdown}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{hookrightarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{lhookrightarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{hookuparrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{lhookuparrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varhookleftarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{lhookleftarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varhookdownarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{lhookdownarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varhooknearrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{lhooknearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{hooknwarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{hknwarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{lhooknwarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varhookswarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{lhookswarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{hooksearrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{hksearrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{lhooksearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varhookrightarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{rhookrightarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varhookuparrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{rhookuparrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{hookleftarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{rhookleftarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{hookdownarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{rhookdownarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{hooknearrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{hknearrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{rhooknearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varhooknwarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{rhooknwarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{hookswarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{hkswarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{rhookswarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varhooksearrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{rhooksearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightharpoonup}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upharpoonleft}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftharpoondown}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downharpoonright}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{neharpoonnw}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nwharpoonsw}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{swharpoonse}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{seharpoonne}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightharpoondown}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upharpoonright}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{restriction}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftharpoonup}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downharpoonleft}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{neharpoonse}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nwharpoonne}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{swharpoonnw}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{seharpoonsw}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftrightharpoonupdown}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{updownharpoonleftright}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{neswharpoonnwse}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nwseharpoonnesw}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftrightharpoondownup}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{updownharpoonrightleft}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{neswharpoonsenw}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nwseharpoonswne}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightleftharpoons}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{updownharpoons}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{updownharpoonsleftright}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{neswharpoons}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{senwharpoons}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftrightharpoons}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downupharpoons}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{downupharpoonsleftright}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{swneharpoons}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nwseharpoons}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightbkarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{dasharrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{dashrightarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upbkarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftbkarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{dashleftarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downbkarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nebkarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nwbkarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{swbkarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{sebkarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightspoon}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{multimap}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upspoon}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{cirmid}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftspoon}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{multimapinv}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downspoon}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{midcir}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightblackspoon}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upblackspoon}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftblackspoon}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downblackspoon}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftrightspoon}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{dualmap}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftrightblackspoon}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{blackwhitespoon}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{imageof}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{whiteblackspoon}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{origof}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightpitchfork}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{uppitchfork}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{pitchfork}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftpitchfork}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downpitchfork}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightrightarrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upuparrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftleftarrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downdownarrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nenearrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nwnwarrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{swswarrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{sesearrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightleftarrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{updownarrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{neswarrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{nwsearrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftrightarrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downuparrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{swnearrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{senwarrows}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightwavearrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{leadsto}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{rightsquigarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{rightcurvedarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{rightlsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varupwavearrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{uplsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varleftwavearrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{leftlsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downwavearrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{downlsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varrightwavearrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{rightrsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upwavearrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{uprsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftwavearrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{leftsquigarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{leftcurvedarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{leftrsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{vardownwavearrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{downrsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftrightwavearrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{leftrightsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{updownwavearrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{updownsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varleftrightwavearrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{rightleftsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{varupdownwavearrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{downupsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwoverarcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{curvearrowright}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{rightlcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwleftarcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{uplcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwunderarcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{leftlcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwrightarcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{downlcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwnwarcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{rightupcurvedarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{nelcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwswarcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{upleftcurvedarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{nwlcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwsearcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{leftdowncurvedarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{swlcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwnearcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{downrightcurvedarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{selcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwunderarcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{rightrcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwrightarcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{uprcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwoverarcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{curvearrowleft}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{leftrcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwleftarcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{downrcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwsearcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{uprightcurvearrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{nercurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwnearcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{leftupcurvedarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{nwrcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwnwarcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{downleftcurvedarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{swrcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwswarcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{rightdowncurvedarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{sercurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{bdoverarcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{leftrightcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{bdleftarcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{updowncurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{bdunderarcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{rightleftcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{bdrightarcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{downupcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{bdnwarcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{neswcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{bdswarcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{nwsecurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{bdsearcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{swnecurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{bdnearcarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{senwcurvearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftfootline}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightfootline}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwcirclearrowup}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwcirclearrowleft}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{circlearrowleft}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{acwopencirclearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwcirclearrowdown}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{acwgapcirclearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{acwcirclearrowright}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwcirclearrowdown}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{cwgapcirclearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwcirclearrowright}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{circlearrowright}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{cwopencirclearrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwcirclearrowup}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{cwcirclearrowleft}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Rrightarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Uuparrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Lleftarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Ddownarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{longrightarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{longleftarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Longrightarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Longleftarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{longleftrightarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Longleftrightarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{longmapsto}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{longmapsfrom}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Longmapsto}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Longmapsfrom}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{longrightwavearrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{longleadsto}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{longrightsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{longleftwavearrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{longleftsquigarrow}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{longleftfootline}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{vlongdash}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{longrightfootline}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{longdashv}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Lsh}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Rsh}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Ldsh}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Rdsh}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{looparrowright}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{looparrowleft}{arrows}{\mathrel}
+\mdsy@setslot{224}
+\mdsy@DeclareSymbol{rightvdash}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{vdash}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upvdash}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{perp}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{bot}{arrows}{\mathord}
+\mdsy@DeclareSymbol{leftvdash}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{dashv}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downvdash}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{top}{arrows}{\mathord}
+\mdsy@DeclareSymbol{rightassert}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{assert}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{shortrighttack}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upassert}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{shortuptack}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftassert}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{shortlefttack}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downassert}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{shortdowntack}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightvDash}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{vDash}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upvDash}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{Vbar}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftvDash}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{Dashv}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downvDash}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{barV}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightmodels}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{models}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upmodels}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftmodels}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downmodels}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightVdash}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{Vdash}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upVdash}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftVdash}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{dashV}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downVdash}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightAssert}{arrows}{\mathrel}
+ \mdsy@DeclareAlias{Assert}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upAssert}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{vBar}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftAssert}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downAssert}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{Barv}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{rightVDash}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{VDash}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{upVDash}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{leftVDash}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{DashV}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{downVDash}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Vvdash}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{dashVv}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{vDdash}{arrows}{\mathrel}
+\mdsy@DeclareSymbol{Ddashv}{arrows}{\mathrel}
+
+\mdsy@DeclareRobustCommand{relbar}{\mathrel{\smash-}}
+\mdsy@DeclareRobustCommand{Relbar}{\mathrel=}
+\mdsy@DeclareRobustCommand{joinrel}{\mathrel{\mkern-4mu}}
+%    \end{macrocode}
+% MdSymbolD: stroked arrows
+%    \begin{macrocode}
+\mdsy@setslot{0}
+\mdsy@DeclareSymbol{nrightarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nto}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nuparrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ngets}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnwarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nswarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nsearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nRightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nUparrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nLeftarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nDownarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nNearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nNwarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nSwarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nSearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftrightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupdownarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nneswarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnwsearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nLeftrightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nUpdownarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nNeswarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nNwsearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ntwoheadrightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ntwoheaduparrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ntwoheadleftarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ntwoheaddownarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ntwoheadnearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ntwoheadnwarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ntwoheadswarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ntwoheadsearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightarrowtail}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nuparrowtail}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftarrowtail}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownarrowtail}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnearrowtail}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnwarrowtail}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nswarrowtail}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nsearrowtail}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightmapsto}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nmapsto}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupmapsto}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nmapsup}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftmapsto}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nmapsfrom}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownmapsto}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nmapsdown}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nRightmapsto}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nMapsto}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nUpmapsto}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nMapsup}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nLeftmapsto}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nMapsfrom}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nDownmapsto}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nMapsdown}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nhookrightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nhookuparrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarhookleftarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarhookdownarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarhooknearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nhooknwarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nhknwarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarhookswarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nhooksearrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nhksearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarhookrightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarhookuparrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nhookleftarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nhookdownarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nhooknearrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nhknearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarhooknwarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nhookswarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nhkswarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarhooksearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightharpoonup}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupharpoonleft}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftharpoondown}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownharpoonright}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nneharpoonnw}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnwharpoonsw}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nswharpoonse}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nseharpoonne}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightharpoondown}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupharpoonright}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nrestriction}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftharpoonup}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownharpoonleft}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nneharpoonse}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnwharpoonne}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nswharpoonnw}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nseharpoonsw}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftrightharpoonupdown}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupdownharpoonleftright}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nneswharpoonnwse}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnwseharpoonnesw}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftrightharpoondownup}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupdownharpoonrightleft}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nneswharpoonsenw}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnwseharpoonswne}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightleftharpoons}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupdownharpoons}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nupdownharpoonsleftright}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nneswharpoons}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nsenwharpoons}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftrightharpoons}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownupharpoons}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ndownupharpoonsleftright}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nswneharpoons}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnwseharpoons}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightbkarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ndasharrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ndashrightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupbkarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftbkarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ndashleftarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownbkarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnebkarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnwbkarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nswbkarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nsebkarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightspoon}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nmultimap}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupspoon}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ncirmid}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftspoon}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nmultimapinv}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownspoon}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nmidcir}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightblackspoon}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupblackspoon}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftblackspoon}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownblackspoon}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftrightspoon}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ndualmap}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftrightblackspoon}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nblackwhitespoon}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nimageof}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nwhiteblackspoon}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{norigof}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightpitchfork}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nuppitchfork}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{npitchfork}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftpitchfork}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownpitchfork}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightrightarrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupuparrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftleftarrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndowndownarrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnenearrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnwnwarrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nswswarrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nsesearrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightleftarrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupdownarrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nneswarrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nnwsearrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftrightarrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownuparrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nswnearrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nsenwarrows}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightwavearrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nleadsto}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nrightsquigarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nrightcurvedarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{nrightlsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarupwavearrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nuplsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarleftwavearrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nleftlsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownwavearrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ndownlsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarrightwavearrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nrightrsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupwavearrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nuprsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftwavearrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nleftsquigarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nleftcurvedarrow}{arrows}{\mathrel}
+  \mdsy@DeclareAlias{nleftrsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvardownwavearrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ndownrsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftrightwavearrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nleftrightsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupdownwavearrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nupdownsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarleftrightwavearrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nrightleftsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvarupdownwavearrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ndownupsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwoverarcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ncurvearrowright}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nrightlcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwleftarcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nuplcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwunderarcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nleftlcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwrightarcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ndownlcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwnwarcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nrightupcurvedarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nnelcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwswarcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nupleftcurvedarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nnwlcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwsearcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nleftdowncurvedarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nswlcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwnearcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ndownrightcurvedarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nselcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwunderarcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nrightrcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwrightarcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nuprcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwoverarcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ncurvearrowleft}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nleftrcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwleftarcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ndownrcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwsearcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nuprightcurvearrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nnercurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwnearcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nleftupcurvedarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nnwrcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwnwarcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ndownleftcurvedarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nswrcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwswarcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nrightdowncurvedarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nsercurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nbdoverarcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nleftrightcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nbdleftarcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nupdowncurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nbdunderarcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nrightleftcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nbdrightarcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ndownupcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nbdnwarcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nneswcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nbdswarcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nnwsecurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nbdsearcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nswnecurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nbdnearcarrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nsenwcurvearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftfootline}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightfootline}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwcirclearrowup}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwcirclearrowleft}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ncirclearrowleft}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nacwopencirclearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwcirclearrowdown}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nacwgapcirclearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nacwcirclearrowright}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwcirclearrowdown}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ncwgapcirclearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwcirclearrowright}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ncirclearrowright}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ncwopencirclearrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwcirclearrowup}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ncwcirclearrowleft}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nRrightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nUuparrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nLleftarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nDdownarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nlongrightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nlongleftarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nLongrightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nLongleftarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nlongleftrightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nLongleftrightarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nlongmapsto}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nlongmapsfrom}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nLongmapsto}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nLongmapsfrom}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nlongrightwavearrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nlongleadsto}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nlongrightsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nlongleftwavearrow}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nlongleftsquigarrow}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nlongleftfootline}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nvlongdash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nlongrightfootline}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nlongdashv}{narrows}{\mathrel}
+\mdsy@setslot{224}
+\mdsy@DeclareSymbol{nrightvdash}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nvdash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupvdash}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nperp}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftvdash}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ndashv}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownvdash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightassert}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nassert}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nshortrighttack}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupassert}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nshortuptack}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftassert}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nshortlefttack}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownassert}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nshortdowntack}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightvDash}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nvDash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupvDash}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nVbar}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftvDash}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nDashv}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownvDash}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nbarV}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightmodels}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nmodels}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupmodels}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftmodels}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownmodels}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightVdash}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nVdash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupVdash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftVdash}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{ndashV}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownVdash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightAssert}{narrows}{\mathrel}
+ \mdsy@DeclareAlias{nAssert}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupAssert}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nvBar}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftAssert}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownAssert}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nBarv}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nrightVDash}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nVDash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nupVDash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nleftVDash}{narrows}{\mathrel}
+  \mdsy@DeclareAlias{nDashV}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndownVDash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nVvdash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{ndashVv}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nvDdash}{narrows}{\mathrel}
+\mdsy@DeclareSymbol{nDdashv}{narrows}{\mathrel}
+%    \end{macrocode}
+% MdSymbolE: large operators
+%    \begin{macrocode}
+\mdsy@setslot{0}
+\mdsy@DeclareSymbol{tbigplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigtimes}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigtimes}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigwedge}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigwedge}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigvee}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigvee}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigwedgedot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigwedgedot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigveedot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigveedot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigdoublewedge}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{tconjquant}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigdoublewedge}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{dconjquant}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigdoublevee}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{tdisjquant}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigdoublevee}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{ddisjquant}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigcurlywedge}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigcurlywedge}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigcurlyvee}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigcurlyvee}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigcap}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigcap}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigcup}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigcup}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigcapdot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigcapdot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigcupdot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigcupdot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigcapplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigcapplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigcupplus}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{tbiguplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigcupplus}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{dbiguplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigsqcap}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigsqcap}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigsqcup}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigsqcup}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigsqcapdot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigsqcapdot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigsqcupdot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigsqcupdot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigsqcapplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigsqcapplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigsqcupplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigsqcupplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigoplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigoplus}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigotimes}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigotimes}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigodot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigodot}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tbigoast}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dbigoast}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tprod}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dprod}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tcoprod}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dcoprod}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tsum}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dsum}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tosum}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{tmodtwosum}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dosum}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{dmodtwosum}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tiint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{diint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tiiint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{diiint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tiiiint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{diiiint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tidotsint}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{tdotsint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{didotsint}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{ddotsint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tlandupint}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{tintclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dlandupint}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{dintclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tlanddownint}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{tawint}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{tintctrclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dlanddownint}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{dawint}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{dintctrclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tintbar}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dintbar}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tintBar}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dintBar}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tfint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dfint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{toint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{doint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{toiint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{doiint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{toiiint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{doiiint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{trcirclerightint}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{tointctrclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{drcirclerightint}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{dointctrclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tlcirclerightint}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{tvarointclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dlcirclerightint}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{dvarointclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{trcircleleftint}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{tvarointctrclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{drcircleleftint}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{dvarointctrclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tlcircleleftint}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{tointclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dlcircleleftint}{largesymbols}{\mathop}
+  \mdsy@DeclareAlias{dointclockwise}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{tsumint}{largesymbols}{\mathop}
+\mdsy@DeclareSymbol{dsumint}{largesymbols}{\mathop}
+%\let\intop\tint
+%\let\ointop\toint
+
+\mdsy@DeclareOperator{bigplus}{\dbigplus}{\tbigplus}
+\mdsy@DeclareOperator{bigtimes}{\dbigtimes}{\tbigtimes}
+\mdsy@DeclareOperator{bigwedge}{\dbigwedge}{\tbigwedge}
+\mdsy@DeclareOperator{bigvee}{\dbigvee}{\tbigvee}
+\mdsy@DeclareOperator{bigwedgedot}{\dbigwedgedot}{\tbigwedgedot}
+\mdsy@DeclareOperator{bigveedot}{\dbigveedot}{\tbigveedot}
+\mdsy@DeclareOperator{bigdoublewedge}{\dbigdoublewedge}{\tbigdoublewedge}
+\mdsy@DeclareOperator{conjquant}{\dconjquant}{\tconjquant}
+\mdsy@DeclareOperator{bigdoublevee}{\dbigdoublevee}{\tbigdoublevee}
+\mdsy@DeclareOperator{disjquant}{\ddisjquant}{\tdisjquant}
+\mdsy@DeclareOperator{bigcurlywedge}{\dbigcurlywedge}{\tbigcurlywedge}
+\mdsy@DeclareOperator{bigcurlyvee}{\dbigcurlyvee}{\tbigcurlyvee}
+\mdsy@DeclareOperator{bigcurlywedgedot}{\dbigcurlywedgedot}{\tbigcurlywedgedot}
+\mdsy@DeclareOperator{bigcurlyveedot}{\dbigcurlyveedot}{\tbigcurlyveedot}
+\mdsy@DeclareOperator{bigdoublecurlywedge}{\dbigdoublecurlywedge}{\tbigdoublecurlywedge}
+\mdsy@DeclareOperator{bigdoublecurlyvee}{\dbigdoublecurlyvee}{\tbigdoublecurlyvee}
+\mdsy@DeclareOperator{bigcap}{\dbigcap}{\tbigcap}
+\mdsy@DeclareOperator{bigcup}{\dbigcup}{\tbigcup}
+\mdsy@DeclareOperator{bigcapdot}{\dbigcapdot}{\tbigcapdot}
+\mdsy@DeclareOperator{bigcupdot}{\dbigcupdot}{\tbigcupdot}
+\mdsy@DeclareOperator{bigcapplus}{\dbigcapplus}{\tbigcapplus}
+\mdsy@DeclareOperator{bigcupplus}{\dbigcupplus}{\tbigcupplus}
+\mdsy@DeclareOperator{biguplus}{\dbiguplus}{\tbiguplus}
+\mdsy@DeclareOperator{bigsqcap}{\dbigsqcap}{\tbigsqcap}
+\mdsy@DeclareOperator{bigsqcup}{\dbigsqcup}{\tbigsqcup}
+\mdsy@DeclareOperator{bigsqcapdot}{\dbigsqcapdot}{\tbigsqcapdot}
+\mdsy@DeclareOperator{bigsqcupdot}{\dbigsqcupdot}{\tbigsqcupdot}
+\mdsy@DeclareOperator{bigsqcapplus}{\dbigsqcapplus}{\tbigsqcapplus}
+\mdsy@DeclareOperator{bigsqcupplus}{\dbigsqcupplus}{\tbigsqcupplus}
+\mdsy@DeclareOperator{bigoplus}{\dbigoplus}{\tbigoplus}
+\mdsy@DeclareOperator{bigotimes}{\dbigotimes}{\tbigotimes}
+\mdsy@DeclareOperator{bigodot}{\dbigodot}{\tbigodot}
+\mdsy@DeclareOperator{bigoast}{\dbigoast}{\tbigoast}
+\mdsy@DeclareOperator{sum}{\dsum}{\tsum}
+\mdsy@DeclareOperator{osum}{\dosum}{\tosum}
+\mdsy@DeclareOperator{modtwosum}{\dmodtwosum}{\tmodtwosum}
+\mdsy@DeclareOperator{prod}{\dprod}{\tprod}
+\mdsy@DeclareOperator{coprod}{\dcoprod}{\tcoprod}
+\mdsy@DeclareIntegral{int}{\dint}{\tint}
+\mdsy@DeclareIntegral{iint}{\diint}{\tiint}
+\mdsy@DeclareIntegral{iiint}{\diiint}{\tiiint}
+\mdsy@DeclareIntegral{iiiint}{\diiiint}{\tiiiint}
+\mdsy@DeclareIntegral{idotsint}{\didotsint}{\tidotsint}
+\mdsy@DeclareIntegral{dotsint}{\ddotsint}{\tdotsint}
+\mdsy@DeclareIntegral{landupint}{\dlandupint}{\tlandupint}
+\mdsy@DeclareIntegral{intclockwise}{\dintclockwise}{\tintclockwise}
+\mdsy@DeclareIntegral{landdownint}{\dlanddownint}{\tlanddownint}
+\mdsy@DeclareIntegral{awint}{\dawint}{\tawint}
+\mdsy@DeclareIntegral{intctrclockwise}{\dintctrclockwise}{\tintctrclockwise}
+\mdsy@DeclareIntegral{landdownint}{\dlanddownint}{\tlanddownint}
+\mdsy@DeclareIntegral{intbar}{\dintbar}{\tintbar}
+\mdsy@DeclareIntegral{intBar}{\dintBar}{\tintBar}
+\mdsy@DeclareIntegral{fint}{\dfint}{\tfint}
+\mdsy@DeclareIntegral{oint}{\doint}{\toint}
+\mdsy@DeclareIntegral{oiint}{\doiint}{\toiint}
+\mdsy@DeclareIntegral{oiiint}{\doiiint}{\toiiint}
+\mdsy@DeclareIntegral{rcirclerightint}{\drcirclerightint}{\trcirclerightint}
+\mdsy@DeclareIntegral{ointctrclockwise}{\dointctrclockwise}{\tointctrclockwise}
+\mdsy@DeclareIntegral{lcirclerightint}{\dlcirclerightint}{\tlcirclerightint}
+\mdsy@DeclareIntegral{varointclockwise}{\dvarointclockwise}{\tvarointclockwise}
+\mdsy@DeclareIntegral{rcircleleftint}{\drcircleleftint}{\trcircleleftint}
+\mdsy@DeclareIntegral{varointctrclockwise}{\dvarointctrclockwise}{\tvarointctrclockwise}
+\mdsy@DeclareIntegral{lcircleleftint}{\dlcircleleftint}{\tlcircleleftint}
+\mdsy@DeclareIntegral{ointclockwise}{\dointclockwise}{\tointclockwise}
+\mdsy@DeclareIntegral{sumint}{\dsumint}{\tsumint}
+
+\mdsy@renewcommand{intkern@}{\mkern-8.5mu\mathchoice{\mkern-1mu}{}{}{}}
+\mdsy@renewcommand{intdots@}{\mkern-6mu%
+  \mathchoice{\@cdots}%
+  {{\cdotp}\mkern0.5mu{\cdotp}\mkern0.5mu{\cdotp}}%
+  {{\cdotp}{\cdotp}{\cdotp}}%
+  {{\cdotp}{\cdotp}{\cdotp}}%
+  \mkern-6mu}
+%    \end{macrocode}
+% Math accents.
+%    \begin{macrocode}
+\mdsy@DeclareMathAccent{widehat}{\mathord}{largesymbols}{"72}
+\mdsy@DeclareMathAccent{widetilde}{\mathord}{largesymbols}{"78}
+\mdsy@DeclareMathAccent{wideparen}{\mathord}{largesymbols}{"7E}
+\mdsy@DeclareMathAccent{vec}{\mathord}{largesymbols}{"84}
+\mdsy@DeclareMathAccent{middlebar}{\mathord}{largesymbols}{"85}
+\mdsy@DeclareMathAccent{middleslash}{\mathord}{largesymbols}{"86}
+\mdsy@DeclareMathAccent{strokethrough}{\mathord}{largesymbols}{"87}
+%    \end{macrocode}
+% MdSymbolF: delimiters
+%    \begin{macrocode}
+\ifmdsy@largedelims
+%  \mdsy@DeclareOpen{(}{delimiters}{"01}
+%  \mdsy@DeclareClose{)}{delimiters}{"07}
+  \mdsy@DeclareOpen{lparen}{delimiters}{"01}
+  \mdsy@DeclareClose{rparen}{delimiters}{"07}
+%  \mdsy@DeclareOpen{[}{delimiters}{"13}
+%  \mdsy@DeclareClose{]}{delimiters}{"19}
+  \mdsy@DeclareOpen{lbrack}{delimiters}{"13}
+  \mdsy@DeclareClose{rbrack}{delimiters}{"19}
+  \mdsy@DeclareOpen{lfloor}{delimiters}{"1F}
+  \mdsy@DeclareClose{rfloor}{delimiters}{"25}
+  \mdsy@DeclareOpen{lceil}{delimiters}{"2B}
+  \mdsy@DeclareClose{rceil}{delimiters}{"31}
+  \mdsy@DeclareOpen{ulcorner}{delimiters}{"37}
+  \mdsy@DeclareClose{urcorner}{delimiters}{"3D}
+  \mdsy@DeclareOpen{llcorner}{delimiters}{"43}
+  \mdsy@DeclareClose{lrcorner}{delimiters}{"49}
+  \mdsy@DeclareOpen{ullcorner}{delimiters}{"4F}
+  \mdsy@DeclareClose{ulrcorner}{delimiters}{"55}
+  \mdsy@DeclareOpen{lsem}{delimiters}{"61}
+  \mdsy@DeclareClose{rsem}{delimiters}{"67}
+  \mdsy@DeclareOpen{lBrack}{delimiters}{"61}
+  \mdsy@DeclareClose{rBrack}{delimiters}{"67}
+  \mdsy@DeclareOpen{lbrace}{delimiters}{"73}
+  \mdsy@DeclareClose{rbrace}{delimiters}{"79}
+%  \mdsy@DeclareOpen{<}{delimiters}{"86}
+%  \mdsy@DeclareClose{>}{delimiters}{"8C}
+  \mdsy@DeclareOpen{langle}{delimiters}{"86}
+  \mdsy@DeclareClose{rangle}{delimiters}{"8C}
+  \mdsy@DeclareOpen{lAngle}{delimiters}{"92}
+  \mdsy@DeclareClose{rAngle}{delimiters}{"98}
+  \mdsy@DeclareOpen{langledot}{delimiters}{"9E}
+  \mdsy@DeclareClose{rangledot}{delimiters}{"A4}
+%  \mdsy@DeclareDelimiter{/}{\mathord}{delimiters}{"AA}
+  \mdsy@DeclareDelimiter{mathslash}{\mathord}{delimiters}{"AA}
+  \mdsy@DeclareMathSymbol{divslash}{\mathbin}{delimiters}{"AA}
+  \mdsy@DeclareDelimiter{backslash}{\mathord}{delimiters}{"B0}
+%  \expandafter\DeclareMathDelimiter\@backslashchar%
+%    {\mathord}{delimiters}{"B0}{delimiters}{"B0}
+  \mdsy@DeclareMathSymbol{setminus}{\mathbin}{delimiters}{"B0}
+%  \mdsy@DeclareDelimiter{|}{\mathord}{delimiters}{"B7}
+  \mdsy@DeclareDelimiter{vert}{\mathord}{delimiters}{"B7}
+  \mdsy@DeclareOpen{lvert}{delimiters}{"B7}
+  \mdsy@DeclareClose{rvert}{delimiters}{"B7}
+  \mdsy@DeclareMathSymbol{mid}{\mathrel}{delimiters}{"B7}
+  \mdsy@DeclareMathSymbol{nmid}{\mathrel}{delimiters}{"BA}
+  \mdsy@DeclareDelimiter{Vert}{\mathord}{delimiters}{"BE}
+  \mdsy@DeclareOpen{lVert}{delimiters}{"BE}
+  \mdsy@DeclareClose{rVert}{delimiters}{"BE}
+  \mdsy@DeclareMathSymbol{parallel}{\mathrel}{delimiters}{"BE}
+  \mdsy@DeclareMathSymbol{nparallel}{\mathrel}{delimiters}{"C1}
+  \mdsy@DeclareDelimiter{Vvert}{\mathord}{delimiters}{"C4}
+  \mdsy@DeclareOpen{lVvert}{delimiters}{"C4}
+  \mdsy@DeclareClose{rVvert}{delimiters}{"C4}
+\else
+%  \mdsy@DeclareOpen{(}{delimiters}{"00}
+%  \mdsy@DeclareClose{)}{delimiters}{"06}
+  \mdsy@DeclareOpen{lparen}{delimiters}{"00}
+  \mdsy@DeclareClose{rparen}{delimiters}{"06}
+%  \mdsy@DeclareOpen{[}{delimiters}{"12}
+%  \mdsy@DeclareClose{]}{delimiters}{"18}
+  \mdsy@DeclareOpen{lbrack}{delimiters}{"12}
+  \mdsy@DeclareClose{rbrack}{delimiters}{"18}
+  \mdsy@DeclareOpen{lfloor}{delimiters}{"1E}
+  \mdsy@DeclareClose{rfloor}{delimiters}{"24}
+  \mdsy@DeclareOpen{lceil}{delimiters}{"2A}
+  \mdsy@DeclareClose{rceil}{delimiters}{"30}
+  \mdsy@DeclareOpen{ulcorner}{delimiters}{"36}
+  \mdsy@DeclareClose{urcorner}{delimiters}{"3C}
+  \mdsy@DeclareOpen{llcorner}{delimiters}{"42}
+  \mdsy@DeclareClose{lrcorner}{delimiters}{"48}
+  \mdsy@DeclareOpen{ullcorner}{delimiters}{"4E}
+  \mdsy@DeclareClose{ulrcorner}{delimiters}{"54}
+  \mdsy@DeclareOpen{lsem}{delimiters}{"60}
+  \mdsy@DeclareClose{rsem}{delimiters}{"66}
+  \mdsy@DeclareOpen{lBrack}{delimiters}{"60}
+  \mdsy@DeclareClose{rBrack}{delimiters}{"66}
+  \mdsy@DeclareOpen{lbrace}{delimiters}{"72}
+  \mdsy@DeclareClose{rbrace}{delimiters}{"78}
+%  \mdsy@DeclareOpen{<}{delimiters}{"85}
+%  \mdsy@DeclareClose{>}{delimiters}{"8B}
+  \mdsy@DeclareOpen{langle}{delimiters}{"85}
+  \mdsy@DeclareClose{rangle}{delimiters}{"8B}
+  \mdsy@DeclareOpen{lAngle}{delimiters}{"91}
+  \mdsy@DeclareClose{rAngle}{delimiters}{"97}
+  \mdsy@DeclareOpen{langledot}{delimiters}{"9D}
+  \mdsy@DeclareClose{rangledot}{delimiters}{"A3}
+%  \mdsy@DeclareDelimiter{/}{\mathord}{delimiters}{"A9}
+  \mdsy@DeclareDelimiter{mathslash}{\mathord}{delimiters}{"A9}
+  \mdsy@DeclareMathSymbol{divslash}{\mathbin}{delimiters}{"A9}
+  \mdsy@DeclareDelimiter{backslash}{\mathord}{delimiters}{"AF}
+%  \expandafter\DeclareMathDelimiter\@backslashchar%
+%    {\mathord}{delimiters}{"AF}{delimiters}{"AF}
+  \mdsy@DeclareMathSymbol{setminus}{\mathbin}{delimiters}{"AF}
+%  \mdsy@DeclareDelimiter{|}{\mathord}{delimiters}{"B6}
+  \mdsy@DeclareDelimiter{vert}{\mathord}{delimiters}{"B6}
+  \mdsy@DeclareOpen{lvert}{delimiters}{"B6}
+  \mdsy@DeclareClose{rvert}{delimiters}{"B6}
+  \mdsy@DeclareMathSymbol{mid}{\mathrel}{delimiters}{"B6}
+  \mdsy@DeclareMathSymbol{nmid}{\mathrel}{delimiters}{"B9}
+  \mdsy@DeclareDelimiter{Vert}{\mathord}{delimiters}{"BD}
+  \mdsy@DeclareOpen{lVert}{delimiters}{"BD}
+  \mdsy@DeclareClose{rVert}{delimiters}{"BD}
+  \mdsy@DeclareMathSymbol{parallel}{\mathrel}{delimiters}{"BD}
+  \mdsy@DeclareMathSymbol{nparallel}{\mathrel}{delimiters}{"C0}
+  \mdsy@DeclareDelimiter{Vvert}{\mathord}{delimiters}{"C3}
+  \mdsy@DeclareOpen{lVvert}{delimiters}{"C3}
+  \mdsy@DeclareClose{rVvert}{delimiters}{"C3}
+\fi
+\let\|\Vert
+\mdsy@renewcommand{divides}{\mid}
+\mdsy@renewcommand{ndivides}{\nmid}
+\mdsy@DeclareMathSymbol{shortmid}{\mathrel}{delimiters}{"B5}
+\mdsy@DeclareMathSymbol{nshortmid}{\mathrel}{delimiters}{"B8}
+\mdsy@DeclareMathSymbol{shortparallel}{\mathrel}{delimiters}{"BC}
+\mdsy@DeclareMathSymbol{nshortparallel}{\mathrel}{delimiters}{"BF}
+\mdsy@DeclareDelimiter{arrowvert}{\mathord}{delimiters}{"BB}
+\mdsy@DeclareDelimiter{Arrowvert}{\mathord}{delimiters}{"C2}
+\mdsy@DeclareClose{lgroup}{delimiters}{"7E}
+\mdsy@DeclareOpen{rgroup}{delimiters}{"7F}
+\mdsy@DeclareClose{rmoustache}{delimiters}{"80}
+\mdsy@DeclareOpen{lmoustache}{delimiters}{"81}
+\mdsy@DeclareDelimiter{bracevert}{\mathord}{delimiters}{"84}
+
+\mdsy@DeclareMathDelimiter{uparrow}{\mathrel}{arrows}{"01}{delimiters}{"C6}
+\mdsy@DeclareMathDelimiter{downarrow}{\mathrel}{arrows}{"03}{delimiters}{"C7}
+\mdsy@DeclareMathDelimiter{updownarrow}{\mathrel}{arrows}{"11}{delimiters}{"C8}
+\mdsy@DeclareMathDelimiter{Uparrow}{\mathrel}{arrows}{"09}{delimiters}{"C9}
+\mdsy@DeclareMathDelimiter{Downarrow}{\mathrel}{arrows}{"0B}{delimiters}{"CA}
+\mdsy@DeclareMathDelimiter{Updownarrow}{\mathrel}{arrows}{"15}{delimiters}{"CB}
+%    \end{macrocode}
+% Horizontal braces.
+%    \begin{macrocode}
+\mdsy@DeclareMathSymbol{braceld}{\mathord}{delimiters}{"CC}
+\mdsy@DeclareMathSymbol{bracelu}{\mathord}{delimiters}{"CD}
+\mdsy@DeclareMathSymbol{bracerd}{\mathord}{delimiters}{"CE}
+\mdsy@DeclareMathSymbol{braceru}{\mathord}{delimiters}{"CF}
+\mdsy@DeclareMathSymbol{bracemd}{\mathord}{delimiters}{"D0}
+\mdsy@DeclareMathSymbol{bracemu}{\mathord}{delimiters}{"D1}
+\mdsy@DeclareMathSymbol{bracemid}{\mathord}{delimiters}{"D2}
+
+\mdsy@DeclareRobustCommandArg{bracefill@}{5}{%
+  $\m@th#5#1\leaders\hbox{$#4$}\hfill#2\leaders\hbox{$#4$}\hfill#3$%
+}
+\mdsy@renewcommand{downbracefill@}{\bracefill@\braceld\bracemd\bracerd\bracemid}
+\mdsy@renewcommand{upbracefill@}{\bracefill@\bracelu\bracemu\braceru\bracemid}
+\mdsy@renewcommand{downgroupfill@}{\bracefill@\braceld{}\bracerd\bracemid}
+\mdsy@renewcommand{upgroupfill@}{\bracefill@\bracelu{}\braceru\bracemid}
+\mdsy@renewcommand{linesegmentfill@}{\arrowfill@\leftfootline\relbar\rightfootline}
+\mdsy@renewcommand{leftharpoonfill@}{\arrowfill@\leftharpoondown\relbar\relbar}
+\mdsy@renewcommand{rightharpoonfill@}{\arrowfill@\relbar\relbar\rightharpoonup}
+
+\mdsy@DeclareRobustCommandArg{overbrace}{1}{%
+  \mathop{\mathpalette{\overarrow@\downbracefill@}{#1}}\limits%
+}
+\mdsy@DeclareRobustCommandArg{underbrace}{1}{%
+  \mathop{\mathpalette{\underarrow@\upbracefill@}{#1}}\limits%
+}
+\mdsy@DeclareRobustCommand{overgroup}{\mathpalette{\overarrow@\downgroupfill@}}
+\mdsy@DeclareRobustCommand{undergroup}{\mathpalette{\underarrow@\upgroupfill@}}
+\mdsy@DeclareRobustCommand{overlinesegment}{\mathpalette{\overarrow@\linesegmentfill@}}
+\mdsy@DeclareRobustCommand{overleftharpoon}{\mathpalette{\overarrow@\leftharpoonfill@}}
+\mdsy@DeclareRobustCommand{overrightharpoon}{\mathpalette{\overarrow@\rightharpoonfill@}}
+\mdsy@DeclareRobustCommand{underlinesegment}{\mathpalette{\underarrow@\linesegmentfill@}}
+%    \end{macrocode}
+% Radical symbols.
+%    \begin{macrocode}
+\ifmdsy@largedelims
+  \mdsy@DeclareMathRadical{sqrtsign}{delimiters}{"D4}{delimiters}{"D4}
+  \mdsy@DeclareMathSymbol{surd}{\mathop}{delimiters}{"D4}
+\else
+  \mdsy@DeclareMathRadical{sqrtsign}{delimiters}{"D3}{delimiters}{"D3}
+  \mdsy@DeclareMathSymbol{surd}{\mathop}{delimiters}{"D3}
+\fi
+%    \end{macrocode}
+% In the \textit{n}-th root, we don't want the~\textit{n} to come too
+% close to the radical (adopted from package \textsf{lucimatx}).
+%    \begin{macrocode}
+\mdsy@DeclareRobustCommandArg{r@@t}{2}{\setbox\z@\hbox{$\m@th#1\sqrt{#2}$}%
+  \dimen@\ht\z@ \advance\dimen@-\dp\z@
+  \mkern5mu\raise.6\dimen@\copy\rootbox \mkern-8mu\box\z@}
+%    \end{macrocode}
+% Mathchars. If onlysansmath, we make certain single characters active
+% to react on the mathversion.
+%    \begin{macrocode}
+\AtBeginDocument{%
+  \mdsy@DeclareActiveMathSymbol{+}{\mathbin}{symbols}{"11}
+  \mdsy@DeclareActiveMathSymbol{-}{\mathbin}{symbols}{"0E}
+  \mdsy@DeclareActiveMathSymbol{*}{\mathbin}{symbols}{"98}
+  \mdsy@DeclareActiveMathSymbol{:}{\mathrel}{symbols}{"02}
+  \mdsy@DeclareActiveMathSymbol{=}{\mathrel}{relations}{"00}
+  \mdsy@DeclareActiveMathSymbol{<}{\mathrel}{relations}{"24}
+  \mdsy@DeclareActiveMathSymbol{>}{\mathrel}{relations}{"25}
+  \ifmdsy@largedelims
+    \mdsy@DeclareActiveMathDelimiter{|}{\mathord}{delimiters}{"B7}
+    \mdsy@DeclareActiveMathDelimiter{(}{\mathopen}{delimiters}{"01}
+    \mdsy@DeclareActiveMathDelimiter{)}{\mathclose}{delimiters}{"07}
+    \mdsy@DeclareActiveMathDelimiter{[}{\mathopen}{delimiters}{"13}
+    \mdsy@DeclareActiveMathDelimiter{]}{\mathclose}{delimiters}{"19}
+    \mdsy@DeclareActiveMathDelimiter{/}{\mathord}{delimiters}{"AA}
+  \else
+    \mdsy@DeclareActiveMathDelimiter{|}{\mathord}{delimiters}{"B6}
+    \mdsy@DeclareActiveMathDelimiter{(}{\mathopen}{delimiters}{"00}
+    \mdsy@DeclareActiveMathDelimiter{)}{\mathclose}{delimiters}{"06}
+    \mdsy@DeclareActiveMathDelimiter{[}{\mathopen}{delimiters}{"12}
+    \mdsy@DeclareActiveMathDelimiter{]}{\mathclose}{delimiters}{"18}
+    \mdsy@DeclareActiveMathDelimiter{/}{\mathord}{delimiters}{"A9}
+  \fi
+  \ifmdsy@onlysansmath
+%    \end{macrocode}
+% amsmath and amsopn define commands which use the mathcode of some of
+% the symbols above to define new math characters.  Since the mathcode
+% is out of the range (made active), this fails.  So change the
+% commands and make the definitions at the begin of the document.
+%    \begin{macrocode}
+    \def\resetMathstrut@{%
+      \setbox\z@\hbox{%
+        \ifmathversionsans{%
+          \mathchardef\@tempa\csname(@new\endcsname%
+        }{%
+          \mathchardef\@tempa\csname(@old\endcsname%
+        }
+        \def\@tempb##1"##2##3{\the\textfont"##3\char"}%
+        \expandafter\@tempb\meaning\@tempa \relax
+      }%
+      \ht\Mathstrutbox@\ht\z@ \dp\Mathstrutbox@\dp\z@
+    }
+    \renewcommand{\std@minus}{-}
+    \renewcommand{\std@equal}{=}
+    \gdef\newmcodes@{\mathcode`\'39\mathcode`\*42\mathcode`\."613A%
+      \ifnum\mathcode`\-=45 \else
+        \renewcommand{\std@minus}{-}\relax
+      \fi
+      \mathcode`\-45\mathcode`\/47\mathcode`\:"603A\relax}
+  \fi
+}
+%    \end{macrocode}
+% There is no |\not| symbol in MdSymbol since all relational symbols come
+% with a stroked companion. For compatibility we define a |\not| command that
+% places a virgule over the following symbol.
+%    \begin{macrocode}
+\mdsy@DeclareRobustCommandArg{c@ncel}{2}{\m@th\ooalign{$\hfil#1/\hfil$\crcr$#1#2$}}
+\mdsy@DeclareRobustCommandArg{not}{1}{\mathrel{\m@th\mathpalette\c@ncel{#1}}}
+%</style>
+%    \end{macrocode}
+%
+% \Finale
+\endinput
diff --git a/Master/texmf-dist/source/latex/mdsymbol/mdsymbol.ins b/Master/texmf-dist/source/latex/mdsymbol/mdsymbol.ins
new file mode 100644
index 00000000000..294efd61f8c
--- /dev/null
+++ b/Master/texmf-dist/source/latex/mdsymbol/mdsymbol.ins
@@ -0,0 +1,53 @@
+%
+% Copyright (c) 2011 by Sebastian Schubert <schubert.seb@googlemail.com>
+%
+% This work may be distributed and/or modified under the
+% conditions of the LaTeX Project Public License, either version 1.3c
+% of this license or (at your option) any later version.
+% The latest version of this license is in
+%   http://www.latex-project.org/lppl.txt
+% and version 1.3 or later is part of all distributions of LaTeX
+% version 2005/12/01 or later.
+%
+% This work has the LPPL maintenance status `maintained'.
+% 
+% The Current Maintainer of this work is Sebastian Schubert.
+%
+% This work consists of the files mdsymbol.dtx, mdsymbol.ins
+% and the derived files mdsymbol.pdf and mdsymbol.sty.
+%
+
+\input docstrip.tex
+
+\preamble
+
+Copyright (c) 2011 by Sebastian Schubert <schubert.seb@googlemail.com>
+
+This work may be distributed and/or modified under the
+conditions of the LaTeX Project Public License, either version 1.3c
+of this license or (at your option) any later version.
+The latest version of this license is in
+  http://www.latex-project.org/lppl.txt
+and version 1.3 or later is part of all distributions of LaTeX
+version 2005/12/01 or later.
+
+This work has the LPPL maintenance status `maintained'.
+
+The Current Maintainer of this work is Sebastian Schubert.
+
+This work consists of the files mdsymbol.dtx, mdsymbol.ins
+and the derived files mdsymbol.pdf and mdsymbol.sty.
+
+\endpreamble
+
+\postamble
+\endpostamble
+
+\keepsilent
+\askforoverwritefalse
+
+\generate{%
+  \file{mdsymbol.sty}{\from{mdsymbol.dtx}{style}}
+}
+
+\endbatchfile