fdsymbol (30aug11)

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

2 files changed, 753 insertions, 626 deletions

diff --git a/Master/texmf-dist/source/latex/fdsymbol/fdsymbol.dtx b/Master/texmf-dist/source/latex/fdsymbol/fdsymbol.dtx
index 553854ff9bd..1a5ea5ebe65 100644
--- a/Master/texmf-dist/source/latex/fdsymbol/fdsymbol.dtx
+++ b/Master/texmf-dist/source/latex/fdsymbol/fdsymbol.dtx
@@ -15,16 +15,16 @@
 % The Current Maintainer of this work is Michael Ummels.
 %
 % This work consists of the files fdsymbol.dtx, fdsymbol.ins
-% and the derived file fdsymbol.sty.
+% and the derived files fdsymbol.pdf and fdsymbol.sty.
 %
 % \fi
 %
 %\iffalse
 %<*driver>
-\ProvidesFile{fdsymbol.dtx}[2011/05/30 v0.6a FdSymbol support package]
+\ProvidesFile{fdsymbol.dtx}[2011/08/28 v0.7 FdSymbol support package]
 %</driver>
 %<style>\NeedsTeXFormat{LaTeX2e}[1999/12/01]
-%<style>\ProvidesPackage{fdsymbol}[2011/05/30 v0.6a FdSymbol support package]
+%<style>\ProvidesPackage{fdsymbol}[2011/08/28 v0.7 FdSymbol support package]
 %<*driver>
 \documentclass[10pt]{ltxdoc}
 
@@ -32,9 +32,8 @@
 \usepackage[T1]{fontenc}
 \usepackage{lmodern}
 \IfFileExists{fedraserif.sty}{%
-  \usepackage[variantb]{fedraserif}
+  \usepackage[variant=B,footnotemarks]{fedraserif}
   \usepackage[scaled=1.05]{inconsolata}
-  %\IfFileExists{luximono.sty}{\usepackage[scaled=0.9]{luximono}}{}
 }{%
   \usepackage{fdsymbol}
 }
@@ -47,12 +46,13 @@
   pdftitle={FdSymbol: A Math Symbol Font},
   pdfauthor={Michael Ummels}
 }
+\usepackage{microtype}
 
-% Restore FdSymbol's Hebrew letters (overwritten by fedraserif)
-\DeclareMathSymbol{\aleph}{0}{symbols}{"C2}
-\DeclareMathSymbol{\beth}{0}{symbols}{"C3}
-\DeclareMathSymbol{\gimel}{0}{symbols}{"C4}
-\DeclareMathSymbol{\daleth}{0}{symbols}{"C5}
+% Restore FdSymbol's Hebrew letters (overwritten by fedraserif.sty)
+\DeclareMathSymbol{\aleph}{0}{symbols}{"C5}
+\DeclareMathSymbol{\beth}{0}{symbols}{"C6}
+\DeclareMathSymbol{\gimel}{0}{symbols}{"C7}
+\DeclareMathSymbol{\daleth}{0}{symbols}{"C8}
 
 \linespread{1.1}
 
@@ -61,12 +61,32 @@
 \newcommand{\file}[1]{\texttt{#1}}
 \providecommand{\figureversion}[1]{}
 
+\renewcommand{\theCodelineNo}%
+  {\normalfont\figureversion{tab}\scriptsize\arabic{CodelineNo}}
+
 \begin{document}
 \DocInput{fdsymbol.dtx}
 \end{document}
 %</driver>
 %\fi
 %
+% \CheckSum{5532}
+% \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{fdsymbol.dtx}
 %
 % \title{FdSymbol: A Math Symbol Font}
@@ -92,7 +112,7 @@
 % \subsubsection*{Acknowledgements}
 %
 % The FdSymbol font is derived from
-% MnSymbol\footnote{\url{http://www.ctan.org/tex-archive/fonts/mnsymbol/}},
+% MnSymbol\footnote{\url{http://www.ctan.org/pkg/mnsymbol/}},
 % another math symbol font, designed by Achim Blumensath.
 %
 % \section{Interferences with other packages}
@@ -203,8 +223,6 @@
 % \showsymbol{\largewhitestar}
 % \showsymbol{\largeblackstar}, \cmd{\bigstar}
 % \showsymbol{\infty}
-% \showsymbol{\top}
-% \showsymbol{\bot}
 % \showsymbol{\angle}
 % \showsymbol{\revangle}
 % \showsymbol{\measuredangle}
@@ -244,6 +262,8 @@
 % \showsymbol{\gimel}
 % \showsymbol{\daleth}
 % \showsymbol{\wp}
+% \showsymbol{\top}
+% \showsymbol{\bot}
 % \showsymbol{/}, \cmd{\mathslash}
 % \showsymbol{\backslash}
 % {\catcode`\|=11 \showsymbol{|}, \cmd{\vert}}
@@ -266,20 +286,20 @@
 % \showsymbol{\medbackslash}, \cmd{\smallsetminus}
 % \showsymbol{+}, \cmd{\plus}
 % \showsymbol{\times}
-% \showsymbol{\pm}
-% \showsymbol{\mp}
 % \showsymbol{\dotminus}
 % \showsymbol{\minusdot}
+% \showsymbol{\div}
 % \showsymbol{\minusfdots}
 % \showsymbol{\minusrdots}
-% \showsymbol{\dotsminusdots}
+% \showsymbol{\pm}
+% \showsymbol{\mp}
 % \showsymbol{\dotplus}
-% \showsymbol{\div}
+% \showsymbol{\plusdot}
+% \showsymbol{\dottimes}
+% \showsymbol{\timesbar}
 % \showsymbol{\divideontimes}
-% \showsymbol{\minushookdown}
-% \showsymbol{\hookdownminus}
-% \showsymbol{\intprod}, \cmd{\minushookup}
-% \showsymbol{\intprodr}, \cmd{\hookupminus}
+% \showsymbol{\intprod}
+% \showsymbol{\intprodr}
 % \showsymbol{\leftthreetimes}
 % \showsymbol{\rightthreetimes}
 % \showsymbol{\dtimes}, \cmd{\btimes}
@@ -296,18 +316,14 @@
 % \showsymbol{\vee}, \cmd{\lor}
 % \showsymbol{\wedgedot}
 % \showsymbol{\veedot}
-% \showsymbol{\veebar}
-% \showsymbol{\barwedge}
-% \showsymbol{\veedoublebar}
-% \showsymbol{\doublebarwedge}
 % \showsymbol{\doublewedge}, \cmd{\wedgeonwedge}
 % \showsymbol{\doublevee}, \cmd{\veeonwee}
 % \showsymbol{\curlywedge}
 % \showsymbol{\curlyvee}
-% \showsymbol{\curlywedgedot}
-% \showsymbol{\curlyveedot}
-% \showsymbol{\doublecurlywedge}
-% \showsymbol{\doublecurlyvee}
+% \showsymbol{\barwedge}
+% \showsymbol{\veebar}
+% \showsymbol{\doublebarwedge}
+% \showsymbol{\veedoublebar}
 % \showsymbol{\cup}
 % \showsymbol{\cap}
 % \showsymbol{\doublecup}, \cmd{\Cup}
@@ -407,7 +423,6 @@
 % \begin{multicols}{2}
 % \raggedright
 % \showsymbol{=}, \cmd{\equal}, \cmd{\Relbar}
-% \showsymbol{\coloneq}, \cmd{\coloneqq}
 % \showsymbol{\equiv}
 % \showsymbol{\sim}
 % \showsymbol{\backsim}
@@ -428,6 +443,8 @@
 % \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}
@@ -460,8 +477,8 @@
 % \showsymbol{\gtreqless}
 % \showsymbol{\lesseqqgtr}
 % \showsymbol{\gtreqqless}
-% \showsymbol{\lesseqgtrslant}
-% \showsymbol{\gtreqlessslant}
+% \showsymbol{\lesseqslantgtr}, \cmd{\lesq}
+% \showsymbol{\gtreqslantless}, \cmd{\gesl}
 % \showsymbol{\ll}
 % \showsymbol{\gg}
 % \showsymbol{\lll}, \cmd{\llless}
@@ -514,11 +531,9 @@
 % \showsymbol{\curlyeqsucc}
 % \showsymbol{\thicksim}
 % \showsymbol{\thickapprox}
-% \showsymbol{\rightarrow},
-%   \cmd{\to}
+% \showsymbol{\rightarrow}, \cmd{\to}
 % \showsymbol{\uparrow}
-% \showsymbol{\leftarrow},
-%   \cmd{\gets}
+% \showsymbol{\leftarrow}, \cmd{\gets}
 % \showsymbol{\downarrow}
 % \showsymbol{\nearrow}
 % \showsymbol{\nwarrow}
@@ -556,40 +571,30 @@
 % \showsymbol{\nwarrowtail}
 % \showsymbol{\swarrowtail}
 % \showsymbol{\searrowtail}
-% \showsymbol{\rightmapsto},
-%   \cmd{\mapsto}
-% \showsymbol{\upmapsto},
-%   \cmd{\mapsup}
-% \showsymbol{\leftmapsto},
-%   \cmd{\mapsfrom}
-% \showsymbol{\downmapsto},
-%   \cmd{\mapsdown}
-% \showsymbol{\nemapsto}
-% \showsymbol{\nwmapsto}
-% \showsymbol{\swmapsto}
-% \showsymbol{\semapsto}
-% \showsymbol{\lhookrightarrow},
-%   \cmd{\hookrightarrow}
-% \showsymbol{\lhookuparrow}
-% \showsymbol{\lhookleftarrow}
-% \showsymbol{\lhookdownarrow}
-% \showsymbol{\lhooknearrow}
-% \showsymbol{\lhooknwarrow},
-%   \cmd{\hknwarrow}
-% \showsymbol{\lhookswarrow}
-% \showsymbol{\lhooksearrow},
-%   \cmd{\hksearrow}
-% \showsymbol{\rhookrightarrow}
-% \showsymbol{\rhookuparrow}
-% \showsymbol{\rhookleftarrow},
-%   \cmd{\hookleftarrow}
-% \showsymbol{\rhookdownarrow}
-% \showsymbol{\rhooknearrow},
-%   \cmd{\hknearrow}
-% \showsymbol{\rhooknwarrow}
-% \showsymbol{\rhookswarrow},
-%   \cmd{\hkswarrow}
-% \showsymbol{\rhooksearrow}
+% \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}
@@ -599,8 +604,7 @@
 % \showsymbol{\swharpoonse}
 % \showsymbol{\seharpoonne}
 % \showsymbol{\rightharpoondown}
-% \showsymbol{\upharpoonright},
-%   \cmd{\restriction}
+% \showsymbol{\upharpoonright}, \cmd{\restriction}
 % \showsymbol{\leftharpoonup}
 % \showsymbol{\downharpoonleft}
 % \showsymbol{\neharpoonse}
@@ -616,41 +620,35 @@
 % \showsymbol{\neswharpoonsenw}
 % \showsymbol{\nwseharpoonswne}
 % \showsymbol{\rightleftharpoons}
-% \showsymbol{\updownharpoons},
-%   \cmd{\updownharpoonsleftright}
+% \showsymbol{\updownharpoons}, \cmd{\updownharpoonsleftright}
 % \showsymbol{\neswharpoons}
 % \showsymbol{\senwharpoons}
 % \showsymbol{\leftrightharpoons}
-% \showsymbol{\downupharpoons},
-%   \cmd{\downupharpoonsleftright}
+% \showsymbol{\downupharpoons}, \cmd{\downupharpoonsleftright}
 % \showsymbol{\swneharpoons}
 % \showsymbol{\nwseharpoons}
-% \showsymbol{\rightbkarrow},
-%   \cmd{\dashrightarrow},
-%   \cmd{\dasharrow}
+% \showsymbol{\rightbkarrow}, \cmd{\dashrightarrow}, \cmd{\dasharrow}
 % \showsymbol{\upbkarrow}
-% \showsymbol{\leftbkarrow},
-%   \cmd{\dashleftarrow}
+% \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{\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{\uppitchfork}, \cmd{\pitchfork}
 % \showsymbol{\leftpitchfork}
 % \showsymbol{\downpitchfork}
 % \showsymbol{\rightrightarrows}
@@ -669,68 +667,52 @@
 % \showsymbol{\downuparrows}
 % \showsymbol{\swnearrows}
 % \showsymbol{\senwarrows}
-% \showsymbol{\rightlsquigarrow},
-%   \cmd{\leadsto},
-%   \cmd{\rightsquigarrow}
-% \showsymbol{\uplsquigarrow}
-% \showsymbol{\leftlsquigarrow}
-% \showsymbol{\downlsquigarrow}
-% \showsymbol{\rightrsquigarrow},
-% \showsymbol{\uprsquigarrow}
-% \showsymbol{\leftrsquigarrow},
-%    \cmd{\leftsquigarrow}
-% \showsymbol{\downrsquigarrow}
-% \showsymbol{\leftrightsquigarrow}
-% \showsymbol{\updownsquigarrow}
-% \showsymbol{\rightleftsquigarrow}
-% \showsymbol{\downupsquigarrow}
-% \showsymbol{\rightlcurvearrow},
-%   \cmd{\curvearrowright}
-% \showsymbol{\uplcurvearrow}
-% \showsymbol{\leftlcurvearrow}
-% \showsymbol{\downlcurvearrow},
-%   \cmd{\cwrightarcarrow}
-% \showsymbol{\nelcurvearrow}
-% \showsymbol{\nwlcurvearrow}
-% \showsymbol{\swlcurvearrow},
-%   \cmd{\cwundercurvearrow}
-% \showsymbol{\selcurvearrow}
-% \showsymbol{\rightrcurvearrow},
-%   \cmd{\acwunderarcarrow}
-% \showsymbol{\uprcurvearrow}
-% \showsymbol{\leftrcurvearrow},
-%   \cmd{\curvearrowleft},
-%   \cmd{\acwoverarcarrow}
-% \showsymbol{\downrcurvearrow},
-%   \cmd{\acwleftarcarrow}
-% \showsymbol{\nercurvearrow}
-% \showsymbol{\nwrcurvearrow}
-% \showsymbol{\swrcurvearrow}
-% \showsymbol{\sercurvearrow},
-%   \cmd{\ccwundercurvearrow}
-% \showsymbol{\leftrightcurvearrow}
-% \showsymbol{\updowncurvearrow}
-% \showsymbol{\rightleftcurvearrow}
-% \showsymbol{\downupcurvearrow}
-% \showsymbol{\neswcurvearrow}
-% \showsymbol{\nwsecurvearrow}
-% \showsymbol{\swnecurvearrow}
-% \showsymbol{\senwcurvearrow}
-% \showsymbol{\leftfootline},
-%   \cmd{\vlongdash}
-% \showsymbol{\rightfootline},
-%   \cmd{\longdashv}
+% \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},
+% \showsymbol{\acwcirclearrowleft}, \cmd{\circlearrowleft},
 %   \cmd{\acwopencirclearrow}
-% \showsymbol{\acwcirclearrowdown},
-%   \cmd{\acwgapcirclearrow}
+% \showsymbol{\acwcirclearrowdown}, \cmd{\acwgapcirclearrow}
 % \showsymbol{\acwcirclearrowright}
-% \showsymbol{\cwcirclearrowdown},
-%   \cmd{\cwgapcirclearrow}
-% \showsymbol{\cwcirclearrowright},
-%   \cmd{\circlearrowright},
+% \showsymbol{\cwcirclearrowdown}, \cmd{\cwgapcirclearrow}
+% \showsymbol{\cwcirclearrowright}, \cmd{\circlearrowright},
 %   \cmd{\cwopencirclearrow}
 % \showsymbol{\cwcirclearrowup}
 % \showsymbol{\cwcirclearrowleft}
@@ -738,56 +720,59 @@
 % \showsymbol{\Uuparrow}
 % \showsymbol{\Lleftarrow}
 % \showsymbol{\Ddownarrow}
-% \showsymbol{\Lsh}
-% \showsymbol{\Rsh}
-% \showsymbol{\Ldsh}
-% \showsymbol{\Rdsh}
-% \showsymbol{\looparrowright}
-% \showsymbol{\looparrowleft}
 % \showsymbol{\longrightarrow}
 % \showsymbol{\longleftarrow}
-% \showsymbol{\longleftrightarrow}
 % \showsymbol{\Longrightarrow}
 % \showsymbol{\Longleftarrow}
+% \showsymbol{\longleftrightarrow}
 % \showsymbol{\Longleftrightarrow}
 % \showsymbol{\longmapsto}
-% \showsymbol{\emptyblackspoon},
-%   \cmd{\origof}
-% \showsymbol{\filledemptyspoon},
-%   \cmd{\imageof}
-% \showsymbol{\leftrightspoon},
-%   \cmd{\dualmap}
-% \showsymbol{\leftrightblackspoon}
-% \showsymbol{\rightvdash},
-%   \cmd{\vdash},
-%   \cmd{\assert}
-% \showsymbol{\upvdash},
-%   \cmd{\perp}
-% \showsymbol{\leftvdash},
-%   \cmd{\dashv}
+% \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{\rightvDash},
-%   \cmd{\vDash},
-%   \cmd{\models}
-% \showsymbol{\upvDash},
-%   \cmd{\Vbar}
-% \showsymbol{\leftvDash},
-%   \cmd{\Dashv}
-% \showsymbol{\downvDash},
-%   \cmd{\barV}
-% \showsymbol{\rightVdash},
-%   \cmd{\Vdash}
+% \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{\leftVdash}, \cmd{\dashV}
 % \showsymbol{\downVdash}
-% \showsymbol{\rightVDash},
-%   \cmd{\VDash}
+% \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{\leftVDash}, \cmd{\DashV}
 % \showsymbol{\downVDash}
 % \showsymbol{\Vvdash}
+% \showsymbol{\dashVv}
+% \showsymbol{\vDdash}
+% \showsymbol{\Ddashv}
 % \showsymbol{\nequal}, \cmd{\neq}, \cmd{\ne}
 % \showsymbol{\nequiv}
 % \showsymbol{\nsim}
@@ -840,8 +825,8 @@
 % \showsymbol{\ngtreqless}
 % \showsymbol{\nlesseqqgtr}
 % \showsymbol{\ngtreqqless}
-% \showsymbol{\nlesseqgtrslant}
-% \showsymbol{\ngtreqlessslant}
+% \showsymbol{\nlesseqslantgtr}, \cmd{\nlesg}
+% \showsymbol{\ngtreqslantless}, \cmd{\ngesl}
 % \showsymbol{\nll}
 % \showsymbol{\ngg}
 % \showsymbol{\nlll}
@@ -902,8 +887,6 @@
 % \showsymbol{\gnsim}
 % \showsymbol{\lnapprox}
 % \showsymbol{\gnapprox}
-% \showsymbol{\lessneqqgtr}
-% \showsymbol{\gtrneqqless}
 % \showsymbol{\sqsubsetneq}
 % \showsymbol{\sqsupsetneq}
 % \showsymbol{\sqsubsetneqq}
@@ -920,11 +903,9 @@
 % \showsymbol{\succnsim}
 % \showsymbol{\precnapprox}
 % \showsymbol{\succnapprox}
-% \showsymbol{\nrightarrow},
-%   \cmd{\nto}
+% \showsymbol{\nrightarrow}, \cmd{\nto}
 % \showsymbol{\nuparrow}
-% \showsymbol{\nleftarrow},
-%   \cmd{\ngets}
+% \showsymbol{\nleftarrow}, \cmd{\ngets}
 % \showsymbol{\ndownarrow}
 % \showsymbol{\nnearrow}
 % \showsymbol{\nnwarrow}
@@ -962,40 +943,30 @@
 % \showsymbol{\nnwarrowtail}
 % \showsymbol{\nswarrowtail}
 % \showsymbol{\nsearrowtail}
-% \showsymbol{\nrightmapsto},
-%   \cmd{\nmapsto}
-% \showsymbol{\nupmapsto},
-%   \cmd{\nmapsup}
-% \showsymbol{\nleftmapsto},
-%   \cmd{\nmapsfrom}
-% \showsymbol{\ndownmapsto},
-%   \cmd{\nmapsdown}
-% \showsymbol{\nnemapsto}
-% \showsymbol{\nnwmapsto}
-% \showsymbol{\nswmapsto}
-% \showsymbol{\nsemapsto}
-% \showsymbol{\nlhookrightarrow},
-%   \cmd{\nhookrightarrow}
-% \showsymbol{\nlhookuparrow}
-% \showsymbol{\nlhookleftarrow}
-% \showsymbol{\nlhookdownarrow}
-% \showsymbol{\nlhooknearrow}
-% \showsymbol{\nlhooknwarrow},
-%   \cmd{\nhknwarrow}
-% \showsymbol{\nlhookswarrow}
-% \showsymbol{\nlhooksearrow},
-%   \cmd{\nhksearrow}
-% \showsymbol{\nrhookrightarrow}
-% \showsymbol{\nrhookuparrow}
-% \showsymbol{\nrhookleftarrow},
-%   \cmd{\nhookleftarrow}
-% \showsymbol{\nrhookdownarrow}
-% \showsymbol{\nrhooknearrow},
-%   \cmd{\nhknearrow}
-% \showsymbol{\nrhooknwarrow}
-% \showsymbol{\nrhookswarrow},
-%   \cmd{\nhkswarrow}
-% \showsymbol{\nrhooksearrow}
+% \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}
@@ -1005,8 +976,7 @@
 % \showsymbol{\nswharpoonse}
 % \showsymbol{\nseharpoonne}
 % \showsymbol{\nrightharpoondown}
-% \showsymbol{\nupharpoonright},
-%   \cmd{\nrestriction}
+% \showsymbol{\nupharpoonright}, \cmd{\nrestriction}
 % \showsymbol{\nleftharpoonup}
 % \showsymbol{\ndownharpoonleft}
 % \showsymbol{\nneharpoonse}
@@ -1022,41 +992,35 @@
 % \showsymbol{\nneswharpoonsenw}
 % \showsymbol{\nnwseharpoonswne}
 % \showsymbol{\nrightleftharpoons}
-% \showsymbol{\nupdownharpoons},
-%   \cmd{\nupdownharpoonsleftright}
+% \showsymbol{\nupdownharpoons}, \cmd{\nupdownharpoonsleftright}
 % \showsymbol{\nneswharpoons}
 % \showsymbol{\nsenwharpoons}
 % \showsymbol{\nleftrightharpoons}
-% \showsymbol{\ndownupharpoons},
-%   \cmd{\ndownupharpoonsleftright}
+% \showsymbol{\ndownupharpoons}, \cmd{\ndownupharpoonsleftright}
 % \showsymbol{\nswneharpoons}
 % \showsymbol{\nnwseharpoons}
-% \showsymbol{\nrightbkarrow},
-%   \cmd{\ndasharrow},
-%   \cmd{\ndashrightarrow}
+% \showsymbol{\nrightbkarrow}, \cmd{\ndasharrow}, \cmd{\ndashrightarrow}
 % \showsymbol{\nupbkarrow}
-% \showsymbol{\nleftbkarrow},
-%   \cmd{\ndashleftarrow}
+% \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{\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{\nuppitchfork}, \cmd{\npitchfork}
 % \showsymbol{\nleftpitchfork}
 % \showsymbol{\ndownpitchfork}
 % \showsymbol{\nrightrightarrows}
@@ -1075,68 +1039,52 @@
 % \showsymbol{\ndownuparrows}
 % \showsymbol{\nswnearrows}
 % \showsymbol{\nsenwarrows}
-% \showsymbol{\nrightlsquigarrow},
-%   \cmd{\nleadsto},
-%   \cmd{\nrightsquigarrow}
-% \showsymbol{\nuplsquigarrow}
-% \showsymbol{\nleftlsquigarrow}
-% \showsymbol{\ndownlsquigarrow}
-% \showsymbol{\nrightrsquigarrow}
-% \showsymbol{\nuprsquigarrow}
-% \showsymbol{\nleftrsquigarrow},
-%   \cmd{\nleftsquigarrow}
-% \showsymbol{\ndownrsquigarrow}
-% \showsymbol{\nleftrightsquigarrow}
-% \showsymbol{\nupdownsquigarrow}
-% \showsymbol{\nrightleftsquigarrow}
-% \showsymbol{\ndownupsquigarrow}
-% \showsymbol{\nrightlcurvearrow},
-%   \cmd{\ncurvearrowright}
-% \showsymbol{\nuplcurvearrow}
-% \showsymbol{\nleftlcurvearrow}
-% \showsymbol{\ndownlcurvearrow},
-%   \cmd{\ncwrightarcarrow}
-% \showsymbol{\nnelcurvearrow}
-% \showsymbol{\nnwlcurvearrow}
-% \showsymbol{\nswlcurvearrow},
-%   \cmd{\ncwundercurvearrow}
-% \showsymbol{\nselcurvearrow}
-% \showsymbol{\nrightrcurvearrow},
-%   \cmd{\nacwunderarcarrow}
-% \showsymbol{\nuprcurvearrow}
-% \showsymbol{\nleftrcurvearrow},
-%   \cmd{\ncurvearrowleft},
-%   \cmd{\nacwoverarcarrow}
-% \showsymbol{\ndownrcurvearrow},
-%   \cmd{\nacwleftarcarrow}
-% \showsymbol{\nnercurvearrow}
-% \showsymbol{\nnwrcurvearrow}
-% \showsymbol{\nswrcurvearrow}
-% \showsymbol{\nsercurvearrow},
-%   \cmd{\nccwundercurvearrow}
-% \showsymbol{\nleftrightcurvearrow}
-% \showsymbol{\nupdowncurvearrow}
-% \showsymbol{\nrightleftcurvearrow}
-% \showsymbol{\ndownupcurvearrow}
-% \showsymbol{\nneswcurvearrow}
-% \showsymbol{\nnwsecurvearrow}
-% \showsymbol{\nswnecurvearrow}
-% \showsymbol{\nsenwcurvearrow}
-% \showsymbol{\nleftfootline},
-%   \cmd{\nvlongdash}
-% \showsymbol{\nrightfootline},
-%   \cmd{\nlongdashv}
+% \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},
+% \showsymbol{\nacwcirclearrowleft}, \cmd{\ncirclearrowleft},
 %   \cmd{\nacwopencirclearrow}
-% \showsymbol{\nacwcirclearrowdown},
-%   \cmd{\nacwgapcirclearrow}
+% \showsymbol{\nacwcirclearrowdown}, \cmd{\nacwgapcirclearrow}
 % \showsymbol{\nacwcirclearrowright}
-% \showsymbol{\ncwcirclearrowdown},
-%   \cmd{\ncwgapcirclearrow}
-% \showsymbol{\ncwcirclearrowright},
-%   \cmd{\ncirclearrowright},
+% \showsymbol{\ncwcirclearrowdown}, \cmd{\ncwgapcirclearrow}
+% \showsymbol{\ncwcirclearrowright}, \cmd{\ncirclearrowright},
 %   \cmd{\ncwopencirclearrow}
 % \showsymbol{\ncwcirclearrowup}
 % \showsymbol{\ncwcirclearrowleft}
@@ -1144,38 +1092,57 @@
 % \showsymbol{\nUuparrow}
 % \showsymbol{\nLleftarrow}
 % \showsymbol{\nDdownarrow}
-% \showsymbol{\nrightvdash},
-%   \cmd{\nvdash},
-%   \cmd{\nassert}
-% \showsymbol{\nupvdash},
-%   \cmd{\nperp}
-% \showsymbol{\nleftvdash},
-%   \cmd{\ndashv}
+% \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{\nrightvDash},
-%   \cmd{\nvDash},
-%   \cmd{\nmodels}
-% \showsymbol{\nupvDash},
-%   \cmd{\nVbar}
-% \showsymbol{\nleftvDash},
-%   \cmd{\nDashv}
-% \showsymbol{\ndownvDash},
-%   \cmd{\nbarV}
-% \showsymbol{\nrightVdash},
-%   \cmd{\nVdash}
+% \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{\nleftVdash}, \cmd{\ndashV}
 % \showsymbol{\ndownVdash}
-% \showsymbol{\nrightVDash},
-%   \cmd{\nVDash}
+% \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{\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}
@@ -1183,7 +1150,6 @@
 % \showsymbol{\backpropto}, \cmd{\propfrom}
 % \showsymbol{\crossing}
 % \showsymbol{\between}
-% \showsymbol{\separated}
 % \showsymbol{\shortmid}
 % \showsymbol{\mid}, \cmd{\divides}
 % \showsymbol{\nshortmid}
@@ -1212,23 +1178,16 @@
 % \showop{\bigvee}
 % \showop{\bigwedgedot}
 % \showop{\bigveedot}
-% \showop{\bigdoublewedge},
-%   \cmd{\conjquant}
-% \showop{\bigdoublevee},
-%   \cmd{\disjquant}
+% \showop{\bigdoublewedge}, \cmd{\conjquant}
+% \showop{\bigdoublevee}, \cmd{\disjquant}
 % \showop{\bigcurlywedge}
 % \showop{\bigcurlyvee}
-% \showop{\bigcurlywedgedot}
-% \showop{\bigcurlyveedot}
-% \showop{\bigdoublecurlywedge}
-% \showop{\bigdoublecurlyvee}
 % \showop{\bigcap}
 % \showop{\bigcup}
 % \showop{\bigcapdot}
 % \showop{\bigcupdot}
 % \showop{\bigcapplus}
-% \showop{\bigcupplus},
-%   \cmd{\biguplus}
+% \showop{\bigcupplus}, \cmd{\biguplus}
 % \showop{\bigsqcap}
 % \showop{\bigsqcup}
 % \showop{\bigsqcapdot}
@@ -1242,32 +1201,24 @@
 % \showop{\prod}
 % \showop{\coprod}
 % \showop{\sum}
-% \showop{\osum}
+% \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{\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{\rcirclerightint}, \cmd{\ointctrclockwise}
+% \showop{\lcirclerightint}, \cmd{\varointclockwise}
+% \showop{\rcircleleftint}, \cmd{\varointctrclockwise}
+% \showop{\lcircleleftint}, \cmd{\ointclockwise}
 % \showop{\sumint}
 % \showop{\smallprod}
 % \showop{\smallcoprod}
@@ -1355,7 +1306,7 @@
 % \subsection{Faked symbols}
 %
 % The following symbols are taken from the text font or
-% another math font (in case of \cmd{\Re} and \cmd{\Im}).
+% another math font (in case of \cmd{\Bbbk}, \cmd{\Re} and \cmd{\Im}).
 %
 % \begin{multicols}{2}
 % \raggedright
@@ -1367,6 +1318,7 @@
 % \showsymbol{\mathdollar}
 % \showsymbol{\mathsterling}
 % \showsymbol{\yen}
+% \showsymbol{\Bbbk}
 % \showsymbol{\Re}
 % \showsymbol{\Im}
 % \showsymbol{\hbar}
@@ -1389,24 +1341,25 @@
 % |\eth|\par
 % |\digamma|\par
 % |\varkappa|\par
-% |\Bbbk|\par
 % |\backepsilon|\par
 % |\mapstochar|\par
 % |\lhook|\par
 % |\rhook|\par
 % |\diagup|\par
-% |\diagdown|
+% |\diagdown|\par
+% \quad
 % \end{multicols}
 %
 % \StopEventually{}
 %
 % \section{Implementation}
 %
-% \figureversion{tabular}
-%
 %    \begin{macrocode}
 %<*style>
 \RequirePackage{xkeyval}
+\newcommand*\fdsy@choicekey[3]{%
+  \define@choicekey*{fdsymbol.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.
@@ -1421,35 +1374,34 @@
 % The following two options control which weights are used
 % for which math version and font size.
 %    \begin{macrocode}
-\newcommand\fdsy@mweight{Book}
-\newcommand\fdsy@msweight{Book}
-\newcommand\fdsy@bweight{Medium}
-\newcommand\fdsy@bsweight{Medium}
-\define@choicekey*{fdsymbol.sty}{normalweight}[\@tempa\@tempb]{book,regular,auto}{%
+\newcommand\fdsy@mweight@normal{Book}
+\newcommand\fdsy@mweight@small{Book}
+\newcommand\fdsy@bweight@normal{Medium}
+\newcommand\fdsy@bweight@small{Medium}
+\fdsy@choicekey{normalweight}{book,regular,auto}{%
   \ifcase\@tempb\relax
-    \renewcommand\fdsy@mweight{Book}
-    \renewcommand\fdsy@msweight{Book}
+    \renewcommand\fdsy@mweight@normal{Book}%
+    \renewcommand\fdsy@mweight@small{Book}%
   \or
-    \renewcommand\fdsy@mweight{Regular}
-    \renewcommand\fdsy@msweight{Regular}
+    \renewcommand\fdsy@mweight@normal{Regular}%
+    \renewcommand\fdsy@mweight@small{Regular}%
   \or
-    \renewcommand\fdsy@mweight{Book}
-    \renewcommand\fdsy@msweight{Regular}
+    \renewcommand\fdsy@mweight@normal{Book}%
+    \renewcommand\fdsy@mweight@small{Regular}%
   \fi
 }
-\define@choicekey*{fdsymbol.sty}{boldweight}[\@tempa\@tempb]{medium,bold,auto}{%
+\fdsy@choicekey{boldweight}{medium,bold,auto}{%
   \ifcase\@tempb\relax
-    \renewcommand\fdsy@bweight{Medium}
-    \renewcommand\fdsy@bsweight{Medium}
+    \renewcommand\fdsy@bweight@normal{Medium}%
+    \renewcommand\fdsy@bweight@small{Medium}%
   \or
-    \renewcommand\fdsy@bweight{Bold}
-    \renewcommand\fdsy@bsweight{Bold}
+    \renewcommand\fdsy@bweight@normal{Bold}%
+    \renewcommand\fdsy@bweight@small{Bold}%
   \or
-    \renewcommand\fdsy@bweight{Medium}
-    \renewcommand\fdsy@bsweight{Bold}
+    \renewcommand\fdsy@bweight@normal{Medium}%
+    \renewcommand\fdsy@bweight@small{Bold}%
   \fi
 }
-
 \ExecuteOptionsX{largedelims=false}
 \ProcessOptionsX
 %    \end{macrocode}
@@ -1459,7 +1411,6 @@
 %    \begin{macrocode}
 \@ifpackageloaded{amsmath}{}{\RequirePackage{amsmath}}
 \@ifpackageloaded{textcomp}{}{\RequirePackage{textcomp}}
-\@ifundefined{mathfrak}{\RequirePackage{eufrak}}{}
 %    \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
@@ -1487,7 +1438,6 @@
   \check@mathfonts\fontsize\sf@size\z@\math@fontsfalse\selectfont S}}}
 \DeclareRobustCommand{\Re}{\mathfrak{R}}
 \DeclareRobustCommand{\Im}{\mathfrak{I}}
-\DeclareRobustCommand{\dotplus}{\mathbin{\dot{+}}}
 \DeclareRobustCommand{\dotcong}{\mathrel{\dot{\cong}}}
 \DeclareRobustCommand{\thicksim}{\mathrel{\text{\boldmath$\m@th\sim$}}}
 \DeclareRobustCommand{\thickapprox}{\mathrel{\text{\boldmath$\m@th\approx$}}}
@@ -1495,12 +1445,7 @@
 \let\hslash\undefined
 \DeclareRobustCommand{\hbar}{\middlebar h}
 \DeclareRobustCommand{\hslash}{\middleslash h}
-\DeclareRobustCommand{\veebar}{\mathbin{\underline{\vee}}}
-\DeclareRobustCommand{\barwedge}{\mathbin{\overline{\wedge}}}
-\DeclareRobustCommand{\veedoublebar}{\mathbin{\underline{\underline{\vee}}}}
-\DeclareRobustCommand{\doublebarwedge}{\mathbin{\overline{\overline{\wedge}}}}
 \DeclareRobustCommand{\centerdot}{\mathbin{\rule{0.15em}{0.15em}}}
-\DeclareRobustCommand{\divideontimes}{\mathbin{\ooalign{$\div$\crcr$\times$}}}
 %    \end{macrocode}
 % Unneeded partial symbols.
 %    \begin{macrocode}
@@ -1540,52 +1485,52 @@
 \DeclareFontFamily{U}{FdSymbolF}{}
 
 \DeclareFontShape{U}{FdSymbolA}{m}{n}{
-    <-7.1> s * [\fdsy@scale] FdSymbolA-\fdsy@msweight
-    <7.1-> s * [\fdsy@scale] FdSymbolA-\fdsy@mweight
+    <-7.1> s * [\fdsy@scale] FdSymbolA-\fdsy@mweight@small
+    <7.1-> s * [\fdsy@scale] FdSymbolA-\fdsy@mweight@normal
 }{}
 \DeclareFontShape{U}{FdSymbolA}{b}{n}{
-    <-7.1> s * [\fdsy@scale] FdSymbolA-\fdsy@bsweight
-    <7.1-> s * [\fdsy@scale] FdSymbolA-\fdsy@bweight
+    <-7.1> s * [\fdsy@scale] FdSymbolA-\fdsy@bweight@small
+    <7.1-> s * [\fdsy@scale] FdSymbolA-\fdsy@bweight@normal
 }{}
 \DeclareFontShape{U}{FdSymbolB}{m}{n}{
-    <-7.1> s * [\fdsy@scale] FdSymbolB-\fdsy@msweight
-    <7.1-> s * [\fdsy@scale] FdSymbolB-\fdsy@mweight
+    <-7.1> s * [\fdsy@scale] FdSymbolB-\fdsy@mweight@small
+    <7.1-> s * [\fdsy@scale] FdSymbolB-\fdsy@mweight@normal
 }{}
 \DeclareFontShape{U}{FdSymbolB}{b}{n}{
-    <-7.1> s * [\fdsy@scale] FdSymbolB-\fdsy@bsweight
-    <7.1-> s * [\fdsy@scale] FdSymbolB-\fdsy@bweight
+    <-7.1> s * [\fdsy@scale] FdSymbolB-\fdsy@bweight@small
+    <7.1-> s * [\fdsy@scale] FdSymbolB-\fdsy@bweight@normal
 }{}
 \DeclareFontShape{U}{FdSymbolC}{m}{n}{
-    <-7.1> s * [\fdsy@scale] FdSymbolC-\fdsy@msweight
-    <7.1-> s * [\fdsy@scale] FdSymbolC-\fdsy@mweight
+    <-7.1> s * [\fdsy@scale] FdSymbolC-\fdsy@mweight@small
+    <7.1-> s * [\fdsy@scale] FdSymbolC-\fdsy@mweight@normal
 }{}
 \DeclareFontShape{U}{FdSymbolC}{b}{n}{
-    <-7.1> s * [\fdsy@scale] FdSymbolC-\fdsy@bsweight
-    <7.1-> s * [\fdsy@scale] FdSymbolC-\fdsy@bweight
+    <-7.1> s * [\fdsy@scale] FdSymbolC-\fdsy@bweight@small
+    <7.1-> s * [\fdsy@scale] FdSymbolC-\fdsy@bweight@normal
 }{}
 \DeclareFontShape{U}{FdSymbolD}{m}{n}{
-    <-7.1> s * [\fdsy@scale] FdSymbolD-\fdsy@msweight
-    <7.1-> s * [\fdsy@scale] FdSymbolD-\fdsy@mweight
+    <-7.1> s * [\fdsy@scale] FdSymbolD-\fdsy@mweight@small
+    <7.1-> s * [\fdsy@scale] FdSymbolD-\fdsy@mweight@normal
 }{}
 \DeclareFontShape{U}{FdSymbolD}{b}{n}{
-    <-7.1> s * [\fdsy@scale] FdSymbolD-\fdsy@bsweight
-    <7.1-> s * [\fdsy@scale] FdSymbolD-\fdsy@bweight
+    <-7.1> s * [\fdsy@scale] FdSymbolD-\fdsy@bweight@small
+    <7.1-> s * [\fdsy@scale] FdSymbolD-\fdsy@bweight@normal
 }{}
 \DeclareFontShape{U}{FdSymbolE}{m}{n}{
-    <-7.1> s * [\fdsy@scale] FdSymbolE-\fdsy@msweight
-    <7.1-> s * [\fdsy@scale] FdSymbolE-\fdsy@mweight
+    <-7.1> s * [\fdsy@scale] FdSymbolE-\fdsy@mweight@small
+    <7.1-> s * [\fdsy@scale] FdSymbolE-\fdsy@mweight@normal
 }{}
 \DeclareFontShape{U}{FdSymbolE}{b}{n}{
-    <-7.1> s * [\fdsy@scale] FdSymbolE-\fdsy@bsweight
-    <7.1-> s * [\fdsy@scale] FdSymbolE-\fdsy@bweight
+    <-7.1> s * [\fdsy@scale] FdSymbolE-\fdsy@bweight@small
+    <7.1-> s * [\fdsy@scale] FdSymbolE-\fdsy@bweight@normal
 }{}
 \DeclareFontShape{U}{FdSymbolF}{m}{n}{
-    <-7.1> s * [\fdsy@scale] FdSymbolF-\fdsy@msweight
-    <7.1-> s * [\fdsy@scale] FdSymbolF-\fdsy@mweight
+    <-7.1> s * [\fdsy@scale] FdSymbolF-\fdsy@mweight@small
+    <7.1-> s * [\fdsy@scale] FdSymbolF-\fdsy@mweight@normal
 }{}
 \DeclareFontShape{U}{FdSymbolF}{b}{n}{
-    <-7.1> s * [\fdsy@scale] FdSymbolF-\fdsy@bsweight
-    <7.1-> s * [\fdsy@scale] FdSymbolF-\fdsy@bweight
+    <-7.1> s * [\fdsy@scale] FdSymbolF-\fdsy@bweight@small
+    <7.1-> s * [\fdsy@scale] FdSymbolF-\fdsy@bweight@normal
 }{}
 
 \DeclareSymbolFont{symbols}{U}{FdSymbolA}{m}{n}
@@ -1601,10 +1546,20 @@
 \SetSymbolFont{largesymbols}{bold}{U}{FdSymbolE}{b}{n}
 \SetSymbolFont{delimiters}{bold}{U}{FdSymbolF}{b}{n}
 %    \end{macrocode}
-% At the moment, we still use cmsy for the calligraphic alphabet.
+% At the moment, we still use cmsy for the calligraphic alphabet,
+% msb for the blackboard bold alphabet, and euf for the Fraktur
+% alphabet.
 %    \begin{macrocode}
+\let\mathcal\undefined
 \DeclareMathAlphabet{\mathcal}{OMS}{cmsy}{m}{n}
 \SetMathAlphabet{\mathcal}{bold}{OMS}{cmsy}{b}{n}
+\let\mathbb\undefined
+\DeclareMathAlphabet{\mathbb}{U}{msb}{m}{n}
+\let\Bbbk\undefined
+\newcommand{\Bbbk}{\mathbb{\mathchar"717C}}
+\let\mathfrak\undefined
+\DeclareMathAlphabet{\mathfrak}{U}{euf}{m}{n}
+\SetMathAlphabet{\mathfrak}{bold}{U}{euf}{b}{n}
 %    \end{macrocode}
 % A command to take math symbols from text fonts.
 %    \begin{macrocode}
@@ -1652,14 +1607,19 @@
   \fdsy@DeclareAlias{\smallsetminus}{symbols}{\mathbin}
 \fdsy@DeclareSymbol{\plus}{symbols}{\mathbin}
 \fdsy@DeclareSymbol{\times}{symbols}{\mathbin}
-\fdsy@DeclareSymbol{\pm}{symbols}{\mathbin}
-\fdsy@DeclareSymbol{\mp}{symbols}{\mathbin}
 \fdsy@DeclareSymbol{\dotminus}{symbols}{\mathbin}
 \fdsy@DeclareSymbol{\minusdot}{symbols}{\mathbin}
+\fdsy@DeclareSymbol{\div}{symbols}{\mathbin}
 \fdsy@DeclareSymbol{\minusfdots}{symbols}{\mathbin}
 \fdsy@DeclareSymbol{\minusrdots}{symbols}{\mathbin}
-\fdsy@DeclareSymbol{\dotsminusdots}{symbols}{\mathbin}
-\fdsy@DeclareSymbol{\div}{symbols}{\mathbin}
+\fdsy@DeclareSymbol{\dotsminusdots}{symbols}{\mathrel}
+\fdsy@DeclareSymbol{\pm}{symbols}{\mathbin}
+\fdsy@DeclareSymbol{\mp}{symbols}{\mathbin}
+\fdsy@DeclareSymbol{\dotplus}{symbols}{\mathbin}
+\fdsy@DeclareSymbol{\plusdot}{symbols}{\mathbin}
+\fdsy@DeclareSymbol{\dottimes}{symbols}{\mathbin}
+\fdsy@DeclareSymbol{\timesbar}{symbols}{\mathbin}
+\fdsy@DeclareSymbol{\divideontimes}{symbols}{\mathbin}
 \fdsy@DeclareSymbol{\neg}{symbols}{\mathord}
   \fdsy@DeclareAlias{\lnot}{symbols}{\mathord}
   \fdsy@DeclareAlias{\minushookdown}{symbols}{\mathbin}
@@ -1705,10 +1665,10 @@
   \fdsy@DeclareAlias{\veeonvee}{symbols}{\mathbin}
 \fdsy@DeclareSymbol{\curlywedge}{symbols}{\mathbin}
 \fdsy@DeclareSymbol{\curlyvee}{symbols}{\mathbin}
-\fdsy@DeclareSymbol{\curlywedgedot}{symbols}{\mathbin}
-\fdsy@DeclareSymbol{\curlyveedot}{symbols}{\mathbin}
-\fdsy@DeclareSymbol{\doublecurlywedge}{symbols}{\mathbin}
-\fdsy@DeclareSymbol{\doublecurlyvee}{symbols}{\mathbin}
+\fdsy@DeclareSymbol{\barwedge}{symbols}{\mathbin}
+\fdsy@DeclareSymbol{\veebar}{symbols}{\mathbin}
+\fdsy@DeclareSymbol{\doublebarwedge}{symbols}{\mathbin}
+\fdsy@DeclareSymbol{\veedoublebar}{symbols}{\mathbin}
 \fdsy@DeclareSymbol{\cup}{symbols}{\mathbin}
 \fdsy@DeclareSymbol{\cap}{symbols}{\mathbin}
 \fdsy@DeclareSymbol{\doublecup}{symbols}{\mathbin}
@@ -1878,10 +1838,7 @@
   \fdsy@DeclareAlias{\propfrom}{symbols}{\mathrel}
 \fdsy@DeclareSymbol{\crossing}{symbols}{\mathrel}
 \fdsy@DeclareSymbol{\between}{symbols}{\mathrel}
-\fdsy@DeclareSymbol{\separated}{symbols}{\mathrel}
-\fdsy@DeclareSymbol{\top}{symbols}{\mathord}
-  \fdsy@DeclareAlias{\intercal}{symbols}{\mathbin}
-\fdsy@DeclareSymbol{\bot}{symbols}{\mathord}
+\fdsy@DeclareSymbol{\intercal}{symbols}{\mathbin}
 \fdsy@DeclareSymbol{\wreath}{symbols}{\mathbin}
   \fdsy@DeclareAlias{\wr}{symbols}{\mathbin}
 \fdsy@DeclareSymbol{\angle}{symbols}{\mathord}
@@ -1959,6 +1916,10 @@
   \fdsy@DeclareAlias{\doteqdot}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\fallingdotseq}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\risingdotseq}{relations}{\mathrel}
+\fdsy@DeclareSymbol{\coloneq}{relations}{\mathrel}
+  \fdsy@DeclareAlias{\coloneqq}{relations}{\mathrel}
+\fdsy@DeclareSymbol{\eqcolon}{relations}{\mathrel}
+  \fdsy@DeclareAlias{\eqqcolon}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\smile}{relations}{\mathrel}
   \fdsy@DeclareAlias{\smallsmile}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\frown}{relations}{\mathrel}
@@ -2001,8 +1962,12 @@
 \fdsy@DeclareSymbol{\gtreqless}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\lesseqqgtr}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\gtreqqless}{relations}{\mathrel}
-\fdsy@DeclareSymbol{\lesseqgtrslant}{relations}{\mathrel}
-\fdsy@DeclareSymbol{\gtreqlessslant}{relations}{\mathrel}
+\fdsy@DeclareSymbol{\lesseqslantgtr}{relations}{\mathrel}
+  \fdsy@DeclareAlias{\lesg}{relations}{\mathrel}
+  \fdsy@DeclareAlias{\lesseqgtrslant}{relations}{\mathrel}
+\fdsy@DeclareSymbol{\gtreqslantless}{relations}{\mathrel}
+  \fdsy@DeclareAlias{\gesl}{relations}{\mathrel}
+  \fdsy@DeclareAlias{\gtreqlessslant}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\ll}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\gg}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\lll}{relations}{\mathrel}
@@ -2131,8 +2096,12 @@
 \fdsy@DeclareSymbol{\ngtreqless}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\nlesseqqgtr}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\ngtreqqless}{relations}{\mathrel}
-\fdsy@DeclareSymbol{\nlesseqgtrslant}{relations}{\mathrel}
-\fdsy@DeclareSymbol{\ngtreqlessslant}{relations}{\mathrel}
+\fdsy@DeclareSymbol{\nlesseqslantgtr}{relations}{\mathrel}
+  \fdsy@DeclareAlias{\nlesg}{relations}{\mathrel}
+  \fdsy@DeclareAlias{\nlesseqgtrslant}{relations}{\mathrel}
+\fdsy@DeclareSymbol{\ngtreqslantless}{relations}{\mathrel}
+  \fdsy@DeclareAlias{\ngesl}{relations}{\mathrel}
+  \fdsy@DeclareAlias{\ngtreqlessslant}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\nll}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\ngg}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\nlll}{relations}{\mathrel}
@@ -2204,9 +2173,7 @@
 \fdsy@DeclareSymbol{\lnsim}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\gnsim}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\lnapprox}{relations}{\mathrel}
-\fdsy@DeclareSymbol{\gnapprox}{relations}{\mathrel}
-\fdsy@DeclareSymbol{\lessneqqgtr}{relations}{\mathrel}
-\fdsy@DeclareSymbol{\gtrneqqless}{relations}{\mathrel}            
+\fdsy@DeclareSymbol{\gnapprox}{relations}{\mathrel}          
 \fdsy@DeclareSymbol{\sqsubsetneq}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\sqsupsetneq}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\sqsubsetneqq}{relations}{\mathrel}
@@ -2227,11 +2194,8 @@
 \fdsy@DeclareSymbol{\succnsim}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\precnapprox}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\succnapprox}{relations}{\mathrel}
-
-\DeclareRobustCommand{\coloneq}{\mathrel{{\vdotdot}{\equal}}}
-\let\coloneqq\coloneq
 %    \end{macrocode}
-% FdSymbolC: arrows
+% FdSymbolC: arrows and turnstile symbols
 %    \begin{macrocode}
 \fdsy@setslot{0}
 \fdsy@DeclareSymbol{\rightarrow}{arrows}{\mathrel}
@@ -2284,32 +2248,50 @@
   \fdsy@DeclareAlias{\mapsfrom}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\downmapsto}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\mapsdown}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\nemapsto}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\nwmapsto}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\swmapsto}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\semapsto}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\lhookrightarrow}{arrows}{\mathrel}
-  \fdsy@DeclareAlias{\hookrightarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\lhookuparrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\lhookleftarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\lhookdownarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\lhooknearrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\lhooknwarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\Rightmapsto}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\Mapsto}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\Upmapsto}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\Mapsup}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\Leftmapsto}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\Mapsfrom}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\Downmapsto}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\Mapsdown}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\hookrightarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\lhookrightarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\hookuparrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\lhookuparrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\varhookleftarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\lhookleftarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\varhookdownarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\lhookdownarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\varhooknearrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\lhooknearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\hooknwarrow}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\hknwarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\lhookswarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\lhooksearrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\lhooknwarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\varhookswarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\lhookswarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\hooksearrow}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\hksearrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\rhookrightarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\rhookuparrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\rhookleftarrow}{arrows}{\mathrel}
-  \fdsy@DeclareAlias{\hookleftarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\rhookdownarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\rhooknearrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\lhooksearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\varhookrightarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\rhookrightarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\varhookuparrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\rhookuparrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\hookleftarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\rhookleftarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\hookdownarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\rhookdownarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\hooknearrow}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\hknearrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\rhooknwarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\rhookswarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\rhooknearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\varhooknwarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\rhooknwarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\hookswarrow}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\hkswarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\rhooksearrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\rhookswarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\varhooksearrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\rhooksearrow}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\rightharpoonup}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\upharpoonleft}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\leftharpoondown}{arrows}{\mathrel}
@@ -2368,6 +2350,13 @@
 \fdsy@DeclareSymbol{\upblackspoon}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\leftblackspoon}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\downblackspoon}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\leftrightspoon}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\dualmap}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\leftrightblackspoon}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\blackwhitespoon}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\imageof}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\whiteblackspoon}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\origof}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\rightpitchfork}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\uppitchfork}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\pitchfork}{arrows}{\mathrel}
@@ -2389,57 +2378,95 @@
 \fdsy@DeclareSymbol{\downuparrows}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\swnearrows}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\senwarrows}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\rightlsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\rightwavearrow}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\leadsto}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\rightsquigarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\uplsquigarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\leftlsquigarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\downlsquigarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\rightrsquigarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\uprsquigarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\leftrsquigarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\rightcurvedarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\rightlsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\varupwavearrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\uplsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\varleftwavearrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\leftlsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\downwavearrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\downlsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\varrightwavearrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\rightrsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\upwavearrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\uprsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\leftwavearrow}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\leftsquigarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\downrsquigarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\leftrightsquigarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\updownsquigarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\rightleftsquigarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\downupsquigarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\rightlcurvearrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\leftcurvedarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\leftrsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\vardownwavearrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\downrsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\leftrightwavearrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\leftrightsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\updownwavearrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\updownsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\varleftrightwavearrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\rightleftsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\varupdownwavearrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\downupsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\cwoverarcarrow}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\curvearrowright}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\uplcurvearrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\leftlcurvearrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\downlcurvearrow}{arrows}{\mathrel}
-  \fdsy@DeclareAlias{\cwrightarcarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\nelcurvearrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\nwlcurvearrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\swlcurvearrow}{arrows}{\mathrel}
-  \fdsy@DeclareAlias{\cwundercurvearrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\selcurvearrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\rightrcurvearrow}{arrows}{\mathrel}
-  \fdsy@DeclareAlias{\acwunderarcarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\uprcurvearrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\leftrcurvearrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\rightlcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\cwleftarcarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\uplcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\cwunderarcarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\leftlcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\cwrightarcarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\downlcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\cwnwarcarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\rightupcurvedarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\nelcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\cwswarcarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\upleftcurvedarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\nwlcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\cwsearcarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\leftdowncurvedarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\swlcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\cwnearcarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\downrightcurvedarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\selcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\acwunderarcarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\rightrcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\acwrightarcarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\uprcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\acwoverarcarrow}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\curvearrowleft}{arrows}{\mathrel}
-  \fdsy@DeclareAlias{\acwoverarcarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\downrcurvearrow}{arrows}{\mathrel}
-  \fdsy@DeclareAlias{\acwleftarcarrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\nercurvearrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\nwrcurvearrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\swrcurvearrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\sercurvearrow}{arrows}{\mathrel}
-  \fdsy@DeclareAlias{\ccwundercurvearrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\leftrightcurvearrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\updowncurvearrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\rightleftcurvearrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\downupcurvearrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\neswcurvearrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\nwsecurvearrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\swnecurvearrow}{arrows}{\mathrel}
-\fdsy@DeclareSymbol{\senwcurvearrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\leftrcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\acwleftarcarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\downrcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\acwsearcarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\uprightcurvearrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\nercurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\acwnearcarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\leftupcurvedarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\nwrcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\acwnwarcarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\downleftcurvedarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\swrcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\acwswarcarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\rightdowncurvedarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\sercurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\bdoverarcarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\leftrightcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\bdleftarcarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\updowncurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\bdunderarcarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\rightleftcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\bdrightarcarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\downupcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\bdnwarcarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\neswcurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\bdswarcarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\nwsecurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\bdsearcarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\swnecurvearrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\bdnearcarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\senwcurvearrow}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\leftfootline}{arrows}{\mathrel}
-  \fdsy@DeclareAlias{\vlongdash}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\rightfootline}{arrows}{\mathrel}
-  \fdsy@DeclareAlias{\longdashv}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\acwcirclearrowup}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\acwcirclearrowleft}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\circlearrowleft}{arrows}{\mathrel}
@@ -2458,6 +2485,25 @@
 \fdsy@DeclareSymbol{\Uuparrow}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\Lleftarrow}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\Ddownarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\longrightarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\longleftarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\Longrightarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\Longleftarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\longleftrightarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\Longleftrightarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\longmapsto}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\longmapsfrom}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\Longmapsto}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\Longmapsfrom}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\longrightwavearrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\longleadsto}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\longrightsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\longleftwavearrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\longleftsquigarrow}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\longleftfootline}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\vlongdash}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\longrightfootline}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\longdashv}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\Lsh}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\Rsh}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\Ldsh}{arrows}{\mathrel}
@@ -2467,27 +2513,48 @@
 \fdsy@setslot{224}
 \fdsy@DeclareSymbol{\rightvdash}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\vdash}{arrows}{\mathrel}
-  \fdsy@DeclareAlias{\assert}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\upvdash}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\perp}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\bot}{arrows}{\mathord}
 \fdsy@DeclareSymbol{\leftvdash}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\dashv}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\downvdash}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\top}{arrows}{\mathord}
+\fdsy@DeclareSymbol{\rightassert}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\assert}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\shortrighttack}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\upassert}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\shortuptack}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\leftassert}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\shortlefttack}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\downassert}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\shortdowntack}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\rightvDash}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\vDash}{arrows}{\mathrel}
-  \fdsy@DeclareAlias{\models}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\upvDash}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\Vbar}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\leftvDash}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\Dashv}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\downvDash}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\barV}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\rightmodels}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\models}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\upmodels}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\leftmodels}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\downmodels}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\rightVdash}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\Vdash}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\upVdash}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\leftVdash}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\dashV}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\downVdash}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\rightAssert}{arrows}{\mathrel}
+ \fdsy@DeclareAlias{\Assert}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\upAssert}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\vBar}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\leftAssert}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\downAssert}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\Barv}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\rightVDash}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\VDash}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\upVDash}{arrows}{\mathrel}
@@ -2495,25 +2562,14 @@
   \fdsy@DeclareAlias{\DashV}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\downVDash}{arrows}{\mathrel}
 \fdsy@DeclareSymbol{\Vvdash}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\dashVv}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\vDdash}{arrows}{\mathrel}
+\fdsy@DeclareSymbol{\Ddashv}{arrows}{\mathrel}
 
 \DeclareRobustCommand{\relbar}{\mathrel{\smash-}}
 \DeclareRobustCommand{\Relbar}{\mathrel=}
 \let\joinrel\undefined
 \DeclareRobustCommand\joinrel{\mathrel{\mkern-4mu}}
-\DeclareRobustCommand\longrightarrow{\DOTSB\relbar\joinrel\rightarrow}
-\DeclareRobustCommand\longleftarrow{\DOTSB\leftarrow\joinrel\relbar}
-\DeclareRobustCommand\longleftrightarrow{\DOTSB\leftarrow\joinrel\rightarrow}
-\DeclareRobustCommand\Longrightarrow{\DOTSB\Relbar\joinrel\Rightarrow}
-\DeclareRobustCommand\Longleftarrow{\DOTSB\Leftarrow\joinrel\Relbar}
-\DeclareRobustCommand\Longleftrightarrow{\DOTSB\Leftarrow\joinrel\Rightarrow}
-\DeclareRobustCommand\longmapsto{\DOTSB\leftfootline\mkern-7mu\rightarrow}
-\DeclareRobustCommand\emptyblackspoon{\DOTSB\leftspoon\mkern-13mu\rightblackspoon}
-\let\origof\emptyblackspoon
-\DeclareRobustCommand\filledemptyspoon{\DOTSB\leftblackspoon\mkern-13mu\rightspoon}
-\let\imageof\filledemptyspoon
-\DeclareRobustCommand\leftrightspoon{\DOTSB\leftspoon\mkern-13mu\rightspoon}
-\let\dualmap\leftrightspoon
-\DeclareRobustCommand\leftrightblackspoon{\DOTSB\leftblackspoon\mkern-13mu\rightblackspoon}
 %    \end{macrocode}
 % FdSymbolD: stroked arrows
 %    \begin{macrocode}
@@ -2568,32 +2624,34 @@
   \fdsy@DeclareAlias{\nmapsfrom}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\ndownmapsto}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\nmapsdown}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nnemapsto}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nnwmapsto}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nswmapsto}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nsemapsto}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nlhookrightarrow}{narrows}{\mathrel}
-  \fdsy@DeclareAlias{\nhookrightarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nlhookuparrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nlhookleftarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nlhookdownarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nlhooknearrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nlhooknwarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nRightmapsto}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nMapsto}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nUpmapsto}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nMapsup}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nLeftmapsto}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nMapsfrom}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nDownmapsto}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nMapsdown}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nhookrightarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nhookuparrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nvarhookleftarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nvarhookdownarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nvarhooknearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nhooknwarrow}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\nhknwarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nlhookswarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nlhooksearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nvarhookswarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nhooksearrow}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\nhksearrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nrhookrightarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nrhookuparrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nrhookleftarrow}{narrows}{\mathrel}
-  \fdsy@DeclareAlias{\nhookleftarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nrhookdownarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nrhooknearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nvarhookrightarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nvarhookuparrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nhookleftarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nhookdownarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nhooknearrow}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\nhknearrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nrhooknwarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nrhookswarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nvarhooknwarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nhookswarrow}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\nhkswarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nrhooksearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nvarhooksearrow}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nrightharpoonup}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nupharpoonleft}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nleftharpoondown}{narrows}{\mathrel}
@@ -2652,6 +2710,13 @@
 \fdsy@DeclareSymbol{\nupblackspoon}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nleftblackspoon}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\ndownblackspoon}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nleftrightspoon}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\ndualmap}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nleftrightblackspoon}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nblackwhitespoon}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nimageof}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nwhiteblackspoon}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\norigof}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nrightpitchfork}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nuppitchfork}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\npitchfork}{narrows}{\mathrel}
@@ -2673,57 +2738,95 @@
 \fdsy@DeclareSymbol{\ndownuparrows}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nswnearrows}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nsenwarrows}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nrightlsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nrightwavearrow}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\nleadsto}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\nrightsquigarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nuplsquigarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nleftlsquigarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\ndownlsquigarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nrightrsquigarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nuprsquigarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nleftrsquigarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nrightcurvedarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\nrightlsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nvarupwavearrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nuplsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nvarleftwavearrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nleftlsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\ndownwavearrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\ndownlsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nvarrightwavearrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nrightrsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nupwavearrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nuprsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nleftwavearrow}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\nleftsquigarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\ndownrsquigarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nleftrightsquigarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nupdownsquigarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nrightleftsquigarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\ndownupsquigarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nrightlcurvearrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nleftcurvedarrow}{arrows}{\mathrel}
+  \fdsy@DeclareAlias{\nleftrsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nvardownwavearrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\ndownrsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nleftrightwavearrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nleftrightsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nupdownwavearrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nupdownsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nvarleftrightwavearrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nrightleftsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nvarupdownwavearrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\ndownupsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\ncwoverarcarrow}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\ncurvearrowright}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nuplcurvearrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nleftlcurvearrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\ndownlcurvearrow}{narrows}{\mathrel}
-  \fdsy@DeclareAlias{\ncwrightarcarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nnelcurvearrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nnwlcurvearrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nswlcurvearrow}{narrows}{\mathrel}
-  \fdsy@DeclareAlias{\ncwundercurvearrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nselcurvearrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nrightrcurvearrow}{narrows}{\mathrel}
-  \fdsy@DeclareAlias{\nacwunderarcarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nuprcurvearrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nleftrcurvearrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nrightlcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\ncwleftarcarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nuplcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\ncwunderarcarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nleftlcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\ncwrightarcarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\ndownlcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\ncwnwarcarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nrightupcurvedarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nnelcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\ncwswarcarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nupleftcurvedarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nnwlcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\ncwsearcarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nleftdowncurvedarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nswlcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\ncwnearcarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\ndownrightcurvedarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nselcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nacwunderarcarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nrightrcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nacwrightarcarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nuprcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nacwoverarcarrow}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\ncurvearrowleft}{narrows}{\mathrel}
-  \fdsy@DeclareAlias{\nacwoverarcarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\ndownrcurvearrow}{narrows}{\mathrel}
-  \fdsy@DeclareAlias{\nacwleftarcarrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nnercurvearrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nnwrcurvearrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nswrcurvearrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nsercurvearrow}{narrows}{\mathrel}
-  \fdsy@DeclareAlias{\nccwundercurvearrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nleftrightcurvearrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nupdowncurvearrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nrightleftcurvearrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\ndownupcurvearrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nneswcurvearrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nnwsecurvearrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nswnecurvearrow}{narrows}{\mathrel}
-\fdsy@DeclareSymbol{\nsenwcurvearrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nleftrcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nacwleftarcarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\ndownrcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nacwsearcarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nuprightcurvearrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nnercurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nacwnearcarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nleftupcurvedarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nnwrcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nacwnwarcarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\ndownleftcurvedarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nswrcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nacwswarcarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nrightdowncurvedarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nsercurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nbdoverarcarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nleftrightcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nbdleftarcarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nupdowncurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nbdunderarcarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nrightleftcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nbdrightarcarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\ndownupcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nbdnwarcarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nneswcurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nbdswarcarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nnwsecurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nbdsearcarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nswnecurvearrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nbdnearcarrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nsenwcurvearrow}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nleftfootline}{narrows}{\mathrel}
-  \fdsy@DeclareAlias{\nvlongdash}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nrightfootline}{narrows}{\mathrel}
-  \fdsy@DeclareAlias{\nlongdashv}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nacwcirclearrowup}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nacwcirclearrowleft}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\ncirclearrowleft}{narrows}{\mathrel}
@@ -2742,36 +2845,78 @@
 \fdsy@DeclareSymbol{\nUuparrow}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nLleftarrow}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nDdownarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nlongrightarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nlongleftarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nLongrightarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nLongleftarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nlongleftrightarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nLongleftrightarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nlongmapsto}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nlongmapsfrom}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nLongmapsto}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nLongmapsfrom}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nlongrightwavearrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nlongleadsto}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nlongrightsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nlongleftwavearrow}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nlongleftsquigarrow}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nlongleftfootline}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nvlongdash}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nlongrightfootline}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nlongdashv}{narrows}{\mathrel}
 \fdsy@setslot{224}
 \fdsy@DeclareSymbol{\nrightvdash}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\nvdash}{narrows}{\mathrel}
-  \fdsy@DeclareAlias{\nassert}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nupvdash}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\nperp}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nleftvdash}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\ndashv}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\ndownvdash}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nrightassert}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nassert}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nshortrighttack}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nupassert}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nshortuptack}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nleftassert}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nshortlefttack}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\ndownassert}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nshortdowntack}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nrightvDash}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\nvDash}{narrows}{\mathrel}
-  \fdsy@DeclareAlias{\nmodels}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nupvDash}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\nVbar}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nleftvDash}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\nDashv}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\ndownvDash}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\nbarV}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nrightmodels}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nmodels}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nupmodels}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nleftmodels}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\ndownmodels}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nrightVdash}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\nVdash}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nupVdash}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nleftVdash}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\ndashV}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\ndownVdash}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nrightAssert}{narrows}{\mathrel}
+ \fdsy@DeclareAlias{\nAssert}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nupAssert}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nvBar}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nleftAssert}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\ndownAssert}{narrows}{\mathrel}
+  \fdsy@DeclareAlias{\nBarv}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nrightVDash}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\nVDash}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nupVDash}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\nleftVDash}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\nDashV}{narrows}{\mathrel}
 \fdsy@DeclareSymbol{\ndownVDash}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nVvdash}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\ndashVv}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nvDdash}{narrows}{\mathrel}
+\fdsy@DeclareSymbol{\nDdashv}{narrows}{\mathrel}
 %    \end{macrocode}
 % FdSymbolE: large operators
 %    \begin{macrocode}
@@ -2800,14 +2945,6 @@
 \fdsy@DeclareSymbol{\dbigcurlywedge}{largesymbols}{\mathop}
 \fdsy@DeclareSymbol{\tbigcurlyvee}{largesymbols}{\mathop}
 \fdsy@DeclareSymbol{\dbigcurlyvee}{largesymbols}{\mathop}
-\fdsy@DeclareSymbol{\tbigcurlywedgedot}{largesymbols}{\mathop}
-\fdsy@DeclareSymbol{\dbigcurlywedgedot}{largesymbols}{\mathop}
-\fdsy@DeclareSymbol{\tbigcurlyveedot}{largesymbols}{\mathop}
-\fdsy@DeclareSymbol{\dbigcurlyveedot}{largesymbols}{\mathop}
-\fdsy@DeclareSymbol{\tbigdoublecurlywedge}{largesymbols}{\mathop}
-\fdsy@DeclareSymbol{\dbigdoublecurlywedge}{largesymbols}{\mathop}
-\fdsy@DeclareSymbol{\tbigdoublecurlyvee}{largesymbols}{\mathop}
-\fdsy@DeclareSymbol{\dbigdoublecurlyvee}{largesymbols}{\mathop}
 \fdsy@DeclareSymbol{\tbigcap}{largesymbols}{\mathop}
 \fdsy@DeclareSymbol{\dbigcap}{largesymbols}{\mathop}
 \fdsy@DeclareSymbol{\tbigcup}{largesymbols}{\mathop}
@@ -2849,7 +2986,9 @@
 \fdsy@DeclareSymbol{\tsum}{largesymbols}{\mathop}
 \fdsy@DeclareSymbol{\dsum}{largesymbols}{\mathop}
 \fdsy@DeclareSymbol{\tosum}{largesymbols}{\mathop}
+  \fdsy@DeclareAlias{\tmodtwosum}{largesymbols}{\mathop}
 \fdsy@DeclareSymbol{\dosum}{largesymbols}{\mathop}
+  \fdsy@DeclareAlias{\dmodtwosum}{largesymbols}{\mathop}
 \fdsy@DeclareSymbol{\tint}{largesymbols}{\mathop}
 \fdsy@DeclareSymbol{\dint}{largesymbols}{\mathop}
 \fdsy@DeclareSymbol{\tiint}{largesymbols}{\mathop}
@@ -2940,6 +3079,7 @@
 \fdsy@DeclareOperator{\bigoast}{\dbigoast}{\tbigoast}
 \fdsy@DeclareOperator{\sum}{\dsum}{\tsum}
 \fdsy@DeclareOperator{\osum}{\dosum}{\tosum}
+\fdsy@DeclareOperator{\modtwosum}{\dmodtwosum}{\tmodtwosum}
 \fdsy@DeclareOperator{\prod}{\dprod}{\tprod}
 \fdsy@DeclareOperator{\coprod}{\dcoprod}{\tcoprod}
 \fdsy@DeclareIntegral{\iint}{\diint}{\tiint}
@@ -3140,7 +3280,9 @@
 \DeclareMathSymbol{\bracemu}{\mathord}{delimiters}{"D1}
 \DeclareMathSymbol{\bracemid}{\mathord}{delimiters}{"D2}
 
-\def\bracefill@#1#2#3#4#5{$\m@th#5#1\leaders\hbox{$#4$}\hfill#2\leaders\hbox{$#4$}\hfill#3$}
+\def\bracefill@#1#2#3#4#5{%
+  $\m@th#5#1\leaders\hbox{$#4$}\hfill#2\leaders\hbox{$#4$}\hfill#3$%
+}
 \def\downbracefill@{\bracefill@\braceld\bracemd\bracerd\bracemid}
 \def\upbracefill@{\bracefill@\bracelu\bracemu\braceru\bracemid}
 \def\downgroupfill@{\bracefill@\braceld{}\bracerd\bracemid}
@@ -3149,8 +3291,12 @@
 \def\leftharpoonfill@{\arrowfill@\leftharpoondown\relbar\relbar}
 \def\rightharpoonfill@{\arrowfill@\relbar\relbar\rightharpoonup}
 
-\DeclareRobustCommand{\overbrace}[1]{\mathop{\mathpalette{\overarrow@\downbracefill@}{#1}}\limits}
-\DeclareRobustCommand{\underbrace}[1]{\mathop{\mathpalette{\underarrow@\upbracefill@}{#1}}\limits}
+\DeclareRobustCommand{\overbrace}[1]{%
+  \mathop{\mathpalette{\overarrow@\downbracefill@}{#1}}\limits%
+}
+\DeclareRobustCommand{\underbrace}[1]{%
+  \mathop{\mathpalette{\underarrow@\upbracefill@}{#1}}\limits%
+}
 \DeclareRobustCommand{\overgroup}{\mathpalette{\overarrow@\downgroupfill@}}
 \DeclareRobustCommand{\undergroup}{\mathpalette{\underarrow@\upgroupfill@}}
 \DeclareRobustCommand{\overlinesegment}{\mathpalette{\overarrow@\linesegmentfill@}}
@@ -3179,11 +3325,11 @@
 %    \begin{macrocode}
 \DeclareMathSymbol{+}{\mathbin}{symbols}{"11}
 \DeclareMathSymbol{-}{\mathbin}{symbols}{"0E}
-\DeclareMathSymbol{*}{\mathbin}{symbols}{"93}
+\DeclareMathSymbol{*}{\mathbin}{symbols}{"98}
 \DeclareMathSymbol{:}{\mathrel}{symbols}{"02}
 \DeclareMathSymbol{=}{\mathrel}{relations}{"00}
-\DeclareMathSymbol{<}{\mathrel}{relations}{"22}
-\DeclareMathSymbol{>}{\mathrel}{relations}{"23}
+\DeclareMathSymbol{<}{\mathrel}{relations}{"24}
+\DeclareMathSymbol{>}{\mathrel}{relations}{"25}
 \iffdsy@largedelims
   \DeclareMathSymbol{|}{\mathord}{delimiters}{"B6}
   \DeclareMathSymbol{(}{\mathopen}{delimiters}{"01}
@@ -3209,22 +3355,5 @@
 %</style>
 %    \end{macrocode}
 %
-% \CheckSum{0}
-% \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         \~}
-%
 % \Finale
 \endinput
diff --git a/Master/texmf-dist/source/latex/fdsymbol/fdsymbol.ins b/Master/texmf-dist/source/latex/fdsymbol/fdsymbol.ins
index a936394897c..dcfb74b68bf 100644
--- a/Master/texmf-dist/source/latex/fdsymbol/fdsymbol.ins
+++ b/Master/texmf-dist/source/latex/fdsymbol/fdsymbol.ins
@@ -14,15 +14,13 @@
 % The Current Maintainer of this work is Michael Ummels.
 %
 % This work consists of the files fdsymbol.dtx, fdsymbol.ins
-% and the derived file fdsymbol.sty.
+% and the derived files fdsymbol.pdf and fdsymbol.sty.
 %
 
 \input docstrip.tex
 
 \preamble
 
-This is a generated file.
-
 Copyright (c) 2011 by Michael Ummels <michael.ummels@rwth-aachen.de>
 
 This work may be distributed and/or modified under the
@@ -38,7 +36,7 @@ This work has the LPPL maintenance status `maintained'.
 The Current Maintainer of this work is Michael Ummels.
 
 This work consists of the files fdsymbol.dtx, fdsymbol.ins
-and the derived file fdsymbol.sty.
+and the derived files fdsymbol.pdf and fdsymbol.sty.
 
 \endpreamble
 
@@ -46,7 +44,7 @@ and the derived file fdsymbol.sty.
 \endpostamble
 
 \keepsilent
-\askforoverwritetrue
+\askforoverwritefalse
 
 \generate{%
   \file{fdsymbol.sty}{\from{fdsymbol.dtx}{style}}