From 42e5f8462775ba16e02210c476ba8b144a08167b Mon Sep 17 00:00:00 2001
From: Karl Berry <karl@freefriends.org>
Date: Sun, 4 Sep 2011 15:45:11 +0000
Subject: fdsymbol (30aug11)

git-svn-id: svn://tug.org/texlive/trunk@23797 c570f23f-e606-0410-a88d-b1316a301751
---
 Master/texmf-dist/tex/latex/fdsymbol/fdsymbol.sty | 670 ++++++++++++++--------
 1 file changed, 431 insertions(+), 239 deletions(-)

(limited to 'Master/texmf-dist/tex/latex/fdsymbol/fdsymbol.sty')

diff --git a/Master/texmf-dist/tex/latex/fdsymbol/fdsymbol.sty b/Master/texmf-dist/tex/latex/fdsymbol/fdsymbol.sty
index 50d56536a1f..0c1d8e838b8 100644
--- a/Master/texmf-dist/tex/latex/fdsymbol/fdsymbol.sty
+++ b/Master/texmf-dist/tex/latex/fdsymbol/fdsymbol.sty
@@ -6,8 +6,6 @@
 %%
 %% fdsymbol.dtx  (with options: `style')
 %% 
-%% 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
@@ -23,49 +21,50 @@
 %% 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.
 %% 
 \NeedsTeXFormat{LaTeX2e}[1999/12/01]
-\ProvidesPackage{fdsymbol}[2011/05/30 v0.6a FdSymbol support package]
+\ProvidesPackage{fdsymbol}[2011/08/28 v0.7 FdSymbol support package]
 
 \RequirePackage{xkeyval}
+\newcommand*\fdsy@choicekey[3]{%
+  \define@choicekey*{fdsymbol.sty}{#1}[\@tempa\@tempb]{#2}{#3}%
+}
 \define@boolkey{fdsymbol.sty}[fdsy@]{largedelims}[true]{}
 \newcommand{\fdsy@scale}{1.0}
 \define@key{fdsymbol.sty}{scale}{\renewcommand\fdsy@scale{#1}}
-\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
 \@ifpackageloaded{amsmath}{}{\RequirePackage{amsmath}}
 \@ifpackageloaded{textcomp}{}{\RequirePackage{textcomp}}
-\@ifundefined{mathfrak}{\RequirePackage{eufrak}}{}
 \iffdsy@largedelims
   \renewcommand{\Big}{\bBigg@{1.25}}
   \renewcommand{\bigg}{\bBigg@{1.66}}
@@ -84,7 +83,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$}}}
@@ -92,12 +90,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$}}}
 \let\mapstochar\undefined
 \let\lhook\undefined
 \let\rhook\undefined
@@ -128,52 +121,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}
@@ -188,8 +181,16 @@
 \SetSymbolFont{narrows}{bold}{U}{FdSymbolD}{b}{n}
 \SetSymbolFont{largesymbols}{bold}{U}{FdSymbolE}{b}{n}
 \SetSymbolFont{delimiters}{bold}{U}{FdSymbolF}{b}{n}
+\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}
 \newcommand\fdsy@bold{bold}
 \newcommand\fdsy@text[1]{%
   \ifx\fdsy@bold\math@version
@@ -231,14 +232,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}
@@ -284,10 +290,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}
@@ -457,10 +463,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}
@@ -535,6 +538,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}
@@ -577,8 +584,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}
@@ -707,8 +718,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}
@@ -781,8 +796,6 @@
 \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{\sqsubsetneq}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\sqsupsetneq}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\sqsubsetneqq}{relations}{\mathrel}
@@ -803,9 +816,6 @@
 \fdsy@DeclareSymbol{\succnsim}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\precnapprox}{relations}{\mathrel}
 \fdsy@DeclareSymbol{\succnapprox}{relations}{\mathrel}
-
-\DeclareRobustCommand{\coloneq}{\mathrel{{\vdotdot}{\equal}}}
-\let\coloneqq\coloneq
 \fdsy@setslot{0}
 \fdsy@DeclareSymbol{\rightarrow}{arrows}{\mathrel}
   \fdsy@DeclareAlias{\to}{arrows}{\mathrel}
@@ -857,32 +867,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}
@@ -941,6 +969,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}
@@ -962,57 +997,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}
@@ -1031,6 +1104,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}
@@ -1040,27 +1132,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}
@@ -1068,25 +1181,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}
 \fdsy@setslot{0}
 \fdsy@DeclareSymbol{\nrightarrow}{narrows}{\mathrel}
   \fdsy@DeclareAlias{\nto}{narrows}{\mathrel}
@@ -1138,32 +1240,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}
@@ -1222,6 +1326,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}
@@ -1243,57 +1354,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}
@@ -1312,36 +1461,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}
 \fdsy@setslot{0}
 \fdsy@DeclareSymbol{\tbigplus}{largesymbols}{\mathop}
 \fdsy@DeclareSymbol{\dbigplus}{largesymbols}{\mathop}
@@ -1367,14 +1558,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}
@@ -1416,7 +1599,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}
@@ -1507,6 +1692,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}
@@ -1698,7 +1884,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}
@@ -1707,8 +1895,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@}}
@@ -1727,11 +1919,11 @@
   \mkern5mu\raise.6\dimen@\copy\rootbox \mkern-8mu\box\z@}
 \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}
-- 
cgit v1.2.3

