% \iffalse meta-comment
%
% Copyright (c) 2012 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/11/18 v0.5 MdSymbol support package]
%</driver>
%<style>\NeedsTeXFormat{LaTeX2e}[1999/12/01]
%<style>\ProvidesPackage{mdsymbol}[2012/11/18 v0.5 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}
\frenchspacing

\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{4445}
% \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\\
% Version 0.4:
% \begin{compactitem}
% \item Added overlining command
% \item Tuning of parameters and correction of some symbols
% \end{compactitem}
% Version 0.5: Added symbols |\prodi| and |\coprodi|
%
% \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{\prodi}
% \showop{\coprodi}
% \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{\smallprodi}
% \showop{\smallcoprodi}
% \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}
%
% In addition to the |\overline| command, which produces a line with a
% height of three times the line width over its argument (and which
% might be to high due to that), \pkg{mdsymbol} also defines an
% command with a fixed height:
% \begin{multicols}{2}
% \showover{\overlining}
% \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}
\mdsy@DeclareSymbol{smallprodi}{symbols}{\mathop}
\mdsy@DeclareSymbol{smallcoprodi}{symbols}{\mathop}
%    \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}
\mdsy@DeclareSymbol{tprodi}{largesymbols}{\mathop}
\mdsy@DeclareSymbol{dprodi}{largesymbols}{\mathop}
\mdsy@DeclareSymbol{tcoprodi}{largesymbols}{\mathop}
\mdsy@DeclareSymbol{dcoprodi}{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@DeclareOperator{prodi}{\dprodi}{\tprodi}
\mdsy@DeclareOperator{coprodi}{\dcoprodi}{\tcoprodi}
\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}}}
%    \end{macrocode}
% The height of the |\overline| command is three times the
% |default_line_thickness| which can be too much for heavier weights.
% An alternative implementation follows with a fixed height. It is
% based on \url{http://tex.stackexchange.com/a/24134/11605} and \url{http://tex.stackexchange.com/a/43906/11605}.
%    \begin{macrocode}
\RequirePackage{calc}
\newsavebox\overliningbox

\def\ovlg@eat#1#2#3#4#5{\futurelet\ovlg@let@token\ovlg@eat@}
\def\ovlg@eat@#1\ovlg@eat{%
\ifx\ovlg@let@token\bgroup
\else\ifx\ovlg@let@token\mathop
  \mathop
\else\ifx\ovlg@let@token\mathbin
  \mathbin
\else\ifx\ovlg@let@token\mathrel
  \mathrel
\else\ifx\ovlg@let@token\mathopen
  \mathopen
\else\ifx\ovlg@let@token\mathop
  \mathop
\else\ifx\ovlg@let@token\mathpunct
  \mathpunct
\else\ifcat.\ifcat a\noexpand\ovlg@let@token.\else\noexpand\ovlg@let@token\fi
  \afterassignment\ovlg@mathchar\count@\mathcode`#1\relax\ovlg@eat
\else\ifx\ovlg@let@token\mathchar
  \afterassignment\ovlg@mathchar\expandafter\count@\@gobble#1\relax\ovlg@eat
\else
    \xdef\meaning@{\meaning\ovlg@let@token}%
    \expandafter\ovlg@mchar@test\meaning@""\@nil
\fi\fi\fi\fi\fi\fi\fi\fi\fi
}

\edef\ovlg@mchar@{\meaning\mathchar}

\def\ovlg@mchar@test#1"#2"#3\@nil{%
  \xdef\meaning@{#1}%
  \ifx\meaning@\ovlg@mchar@
    \count@"#2\relax
    \ovlg@mathchar\ovlg@eat
   \fi
}

\def\ovlg@mathchar#1\ovlg@eat{%
  \divide\count@"1000 }

\mdsy@DeclareRobustCommandArg{overlining}{1}{%
\begingroup
\let\protect\empty
\expandafter\ovlg@eat\romannumeral`\Q#1\relax\ovlg@eat
  \ifcase\count@
    \or
    \mathop\or
    \mathbin\or
    \mathrel\or
    \mathopen\or
    \mathclose\or
    \mathpunct\or
  \fi
  {\text{\savebox\overliningbox{$\m@th#1$}\fboxsep\z@%
      \makebox[0pt][l]{$\m@th#1$}%
      \rule[\ht\overliningbox+1.2pt]{\wd\overliningbox}{.8\fontdimen8\textfont3}}}%
\endgroup}
%</style>
%    \end{macrocode}
%
% \Finale
\endinput
