path: root/Master/texmf-dist/source/latex/amsfonts/amssymb.dtx

% \def\filename{amssymb.dtx}
% \def\fileversion{3.01}
% \def\filedate{2013/01/14}
%
% \iffalse meta-comment
%
% American Mathematical Society
% Technical Support
% Publications Technical Group
% 201 Charles Street
% Providence, RI 02904
% USA
% tel: (401) 455-4080
%      (800) 321-4267 (USA and Canada only)
% fax: (401) 331-3842
% email: tech-support@ams.org
%
% Copyright 2001, 2009, 2013 American Mathematical Society.
%
% Unlimited copying and redistribution of this file are permitted as
% long as this file is not modified.  Modifications, and distribution
% of modified versions, are permitted, but only if the resulting file
% is renamed.
%
% \fi
%
% \iffalse
%<*driver>
\documentclass{amsdtx}
\begin{document}
\title{The \pkg{amssymb} package}
\author{American Mathematical Society}
\date{Version \fileversion, \filedate}
\raggedbottom % not much available stretch for filling pages
\DocInput{amssymb.dtx}
\end{document}
%</driver>
% \fi
%
% \maketitle
%
% \MakeShortVerb\|
%
% \section{Introduction}
%    This file defines all the symbols found in the AMS symbol fonts
%    \fn{msam} and \fn{msbm}.
%
% \StopEventually{}
%
% \section{The Implementation}
%    First provide package identification.
%    \begin{macrocode}
\NeedsTeXFormat{LaTeX2e}% LaTeX 2.09 can't be used (nor non-LaTeX)
[1994/12/01]% LaTeX date must be December 1994 or later
\ProvidesPackage{amssymb}[2013/01/14 v3.01 AMS font symbols]
%    \end{macrocode}
%
%    See the \pkg{amsfonts} package documentation for a discussion of
%    the obsolescence of the \opt{psamfonts} option.
%    \begin{macrocode}
\DeclareOption{psamsfonts}{\PassOptionsToPackage{psamsfonts}{amsfonts}}
%    \end{macrocode}
%
%    Process options.
%    \begin{macrocode}
\ProcessOptions\relax
%    \end{macrocode}
%
%    We call the \pkg{amsfonts} package to do the font setup that we need.
%    \begin{macrocode}
\RequirePackage{amsfonts}[1995/01/01]
%    \end{macrocode}
%
%    \begin{macrocode}
\@ifpackageloaded{stix}{%
    \PackageWarningNoLine{amssymb}{The 'amssymb' package is redundant when
      you are using the 'stix' package, so I'm not going to load amssymb}
    \endinput
}{}
%    \end{macrocode}
%
%    We undefine a few symbols that were perhaps defined by the
%    \pkg{amsfonts} package (q.v.); otherwise \cn{DeclareMathSymbol} would
%    issue some error messages.  (All these symbol names are \cn{let} to
%    the first defined; that way, if the underlying code changes, only
%    one change needs to be made here.)
%    \begin{macrocode}
\let\square\relax \let\rightsquigarrow\square \let\lozenge\square
\let\vartriangleright\square \let\vartriangleleft\square
\let\trianglerighteq\square \let\trianglelefteq\square
%    \end{macrocode}
%
%    Change the \cs{catcode} of the double-quote character to ensure
%    that it is not active (which at one time was a problem when
%    something like \fn{german.sty} was used).  This means that
%    \cs{let} statements must be made global.
%    \begin{macrocode}
\begingroup \catcode`\"=12
%    \end{macrocode}
%    Now we define the complete set of standard symbol names for the
%    \fn{msam} and \fn{msbm} fonts. Redefinitions of symbols or commands
%    which can't be defined via \cn{DeclareMathSymbol} are already done
%    in the \pkg{amsfonts} package (for example, \cn{yen}, \cn{widehat}).
%    \begin{macrocode}
\DeclareMathSymbol{\boxdot}       {\mathbin}{AMSa}{"00}
\DeclareMathSymbol{\boxplus}      {\mathbin}{AMSa}{"01}
\DeclareMathSymbol{\boxtimes}     {\mathbin}{AMSa}{"02}
\DeclareMathSymbol{\square}       {\mathord}{AMSa}{"03}
\DeclareMathSymbol{\blacksquare}  {\mathord}{AMSa}{"04}
\DeclareMathSymbol{\centerdot}    {\mathbin}{AMSa}{"05}
\DeclareMathSymbol{\lozenge}      {\mathord}{AMSa}{"06}
\DeclareMathSymbol{\blacklozenge} {\mathord}{AMSa}{"07}
\DeclareMathSymbol{\circlearrowright}   {\mathrel}{AMSa}{"08}
\DeclareMathSymbol{\circlearrowleft}    {\mathrel}{AMSa}{"09}
%% In amsfonts.sty:
%%\DeclareMathSymbol{\rightleftharpoons}{\mathrel}{AMSa}{"0A}
\DeclareMathSymbol{\leftrightharpoons}  {\mathrel}{AMSa}{"0B}
\DeclareMathSymbol{\boxminus}     {\mathbin}{AMSa}{"0C}
\DeclareMathSymbol{\Vdash}        {\mathrel}{AMSa}{"0D}
\DeclareMathSymbol{\Vvdash}       {\mathrel}{AMSa}{"0E}
\DeclareMathSymbol{\vDash}        {\mathrel}{AMSa}{"0F}
\DeclareMathSymbol{\twoheadrightarrow}  {\mathrel}{AMSa}{"10}
\DeclareMathSymbol{\twoheadleftarrow}   {\mathrel}{AMSa}{"11}
\DeclareMathSymbol{\leftleftarrows}     {\mathrel}{AMSa}{"12}
\DeclareMathSymbol{\rightrightarrows}   {\mathrel}{AMSa}{"13}
\DeclareMathSymbol{\upuparrows}         {\mathrel}{AMSa}{"14}
\DeclareMathSymbol{\downdownarrows} {\mathrel}{AMSa}{"15}
\DeclareMathSymbol{\upharpoonright} {\mathrel}{AMSa}{"16}
 \global\let\restriction\upharpoonright
\DeclareMathSymbol{\downharpoonright}   {\mathrel}{AMSa}{"17}
\DeclareMathSymbol{\upharpoonleft}  {\mathrel}{AMSa}{"18}
\DeclareMathSymbol{\downharpoonleft}{\mathrel}{AMSa}{"19}
\DeclareMathSymbol{\rightarrowtail} {\mathrel}{AMSa}{"1A}
\DeclareMathSymbol{\leftarrowtail}  {\mathrel}{AMSa}{"1B}
\DeclareMathSymbol{\leftrightarrows}{\mathrel}{AMSa}{"1C}
\DeclareMathSymbol{\rightleftarrows}{\mathrel}{AMSa}{"1D}
\DeclareMathSymbol{\Lsh}            {\mathrel}{AMSa}{"1E}
\DeclareMathSymbol{\Rsh}            {\mathrel}{AMSa}{"1F}
\DeclareMathSymbol{\rightsquigarrow}  {\mathrel}{AMSa}{"20}
\DeclareMathSymbol{\leftrightsquigarrow}{\mathrel}{AMSa}{"21}
\DeclareMathSymbol{\looparrowleft}  {\mathrel}{AMSa}{"22}
\DeclareMathSymbol{\looparrowright} {\mathrel}{AMSa}{"23}
\DeclareMathSymbol{\circeq}       {\mathrel}{AMSa}{"24}
\DeclareMathSymbol{\succsim}      {\mathrel}{AMSa}{"25}
\DeclareMathSymbol{\gtrsim}       {\mathrel}{AMSa}{"26}
\DeclareMathSymbol{\gtrapprox}    {\mathrel}{AMSa}{"27}
\DeclareMathSymbol{\multimap}     {\mathrel}{AMSa}{"28}
\DeclareMathSymbol{\therefore}    {\mathrel}{AMSa}{"29}
\DeclareMathSymbol{\because}      {\mathrel}{AMSa}{"2A}
\DeclareMathSymbol{\doteqdot}     {\mathrel}{AMSa}{"2B}
 \global\let\Doteq\doteqdot
\DeclareMathSymbol{\triangleq}    {\mathrel}{AMSa}{"2C}
\DeclareMathSymbol{\precsim}      {\mathrel}{AMSa}{"2D}
\DeclareMathSymbol{\lesssim}      {\mathrel}{AMSa}{"2E}
\DeclareMathSymbol{\lessapprox}   {\mathrel}{AMSa}{"2F}
\DeclareMathSymbol{\eqslantless}  {\mathrel}{AMSa}{"30}
\DeclareMathSymbol{\eqslantgtr}   {\mathrel}{AMSa}{"31}
\DeclareMathSymbol{\curlyeqprec}  {\mathrel}{AMSa}{"32}
\DeclareMathSymbol{\curlyeqsucc}  {\mathrel}{AMSa}{"33}
\DeclareMathSymbol{\preccurlyeq}  {\mathrel}{AMSa}{"34}
\DeclareMathSymbol{\leqq}         {\mathrel}{AMSa}{"35}
\DeclareMathSymbol{\leqslant}     {\mathrel}{AMSa}{"36}
\DeclareMathSymbol{\lessgtr}      {\mathrel}{AMSa}{"37}
\DeclareMathSymbol{\backprime}    {\mathord}{AMSa}{"38}
\DeclareMathSymbol{\risingdotseq} {\mathrel}{AMSa}{"3A}
\DeclareMathSymbol{\fallingdotseq}{\mathrel}{AMSa}{"3B}
\DeclareMathSymbol{\succcurlyeq}  {\mathrel}{AMSa}{"3C}
\DeclareMathSymbol{\geqq}         {\mathrel}{AMSa}{"3D}
\DeclareMathSymbol{\geqslant}     {\mathrel}{AMSa}{"3E}
\DeclareMathSymbol{\gtrless}      {\mathrel}{AMSa}{"3F}
%% in amsfonts.sty
%% \DeclareMathSymbol{\sqsubset}    {\mathrel}{AMSa}{"40}
%% \DeclareMathSymbol{\sqsupset}    {\mathrel}{AMSa}{"41}
\DeclareMathSymbol{\vartriangleright}{\mathrel}{AMSa}{"42}
\DeclareMathSymbol{\vartriangleleft} {\mathrel}{AMSa}{"43}
\DeclareMathSymbol{\trianglerighteq} {\mathrel}{AMSa}{"44}
\DeclareMathSymbol{\trianglelefteq}  {\mathrel}{AMSa}{"45}
\DeclareMathSymbol{\bigstar}    {\mathord}{AMSa}{"46}
\DeclareMathSymbol{\between}    {\mathrel}{AMSa}{"47}
\DeclareMathSymbol{\blacktriangledown}  {\mathord}{AMSa}{"48}
\DeclareMathSymbol{\blacktriangleright} {\mathrel}{AMSa}{"49}
\DeclareMathSymbol{\blacktriangleleft}  {\mathrel}{AMSa}{"4A}
\DeclareMathSymbol{\vartriangle}        {\mathrel}{AMSa}{"4D}
\DeclareMathSymbol{\blacktriangle}      {\mathord}{AMSa}{"4E}
\DeclareMathSymbol{\triangledown}       {\mathord}{AMSa}{"4F}
\DeclareMathSymbol{\eqcirc}       {\mathrel}{AMSa}{"50}
\DeclareMathSymbol{\lesseqgtr}    {\mathrel}{AMSa}{"51}
\DeclareMathSymbol{\gtreqless}    {\mathrel}{AMSa}{"52}
\DeclareMathSymbol{\lesseqqgtr}   {\mathrel}{AMSa}{"53}
\DeclareMathSymbol{\gtreqqless}   {\mathrel}{AMSa}{"54}
\DeclareMathSymbol{\Rrightarrow}  {\mathrel}{AMSa}{"56}
\DeclareMathSymbol{\Lleftarrow}   {\mathrel}{AMSa}{"57}
\DeclareMathSymbol{\veebar}       {\mathbin}{AMSa}{"59}
\DeclareMathSymbol{\barwedge}     {\mathbin}{AMSa}{"5A}
\DeclareMathSymbol{\doublebarwedge} {\mathbin}{AMSa}{"5B}
%% In amsfonts.sty
%%\DeclareMathSymbol{\angle}        {\mathord}{AMSa}{"5C}
\DeclareMathSymbol{\measuredangle}  {\mathord}{AMSa}{"5D}
\DeclareMathSymbol{\sphericalangle} {\mathord}{AMSa}{"5E}
\DeclareMathSymbol{\varpropto}    {\mathrel}{AMSa}{"5F}
\DeclareMathSymbol{\smallsmile}   {\mathrel}{AMSa}{"60}
\DeclareMathSymbol{\smallfrown}   {\mathrel}{AMSa}{"61}
\DeclareMathSymbol{\Subset}       {\mathrel}{AMSa}{"62}
\DeclareMathSymbol{\Supset}       {\mathrel}{AMSa}{"63}
\DeclareMathSymbol{\Cup}          {\mathbin}{AMSa}{"64}
 \global\let\doublecup\Cup
\DeclareMathSymbol{\Cap}          {\mathbin}{AMSa}{"65}
 \global\let\doublecap\Cap
\DeclareMathSymbol{\curlywedge}   {\mathbin}{AMSa}{"66}
\DeclareMathSymbol{\curlyvee}     {\mathbin}{AMSa}{"67}
\DeclareMathSymbol{\leftthreetimes} {\mathbin}{AMSa}{"68}
\DeclareMathSymbol{\rightthreetimes}{\mathbin}{AMSa}{"69}
\DeclareMathSymbol{\subseteqq}    {\mathrel}{AMSa}{"6A}
\DeclareMathSymbol{\supseteqq}    {\mathrel}{AMSa}{"6B}
\DeclareMathSymbol{\bumpeq}       {\mathrel}{AMSa}{"6C}
\DeclareMathSymbol{\Bumpeq}       {\mathrel}{AMSa}{"6D}
\DeclareMathSymbol{\lll}          {\mathrel}{AMSa}{"6E}
 \global\let\llless\lll
\DeclareMathSymbol{\ggg}          {\mathrel}{AMSa}{"6F}
 \global\let\gggtr\ggg
\DeclareMathSymbol{\circledS}     {\mathord}{AMSa}{"73}
\DeclareMathSymbol{\pitchfork}    {\mathrel}{AMSa}{"74}
\DeclareMathSymbol{\dotplus}      {\mathbin}{AMSa}{"75}
\DeclareMathSymbol{\backsim}      {\mathrel}{AMSa}{"76}
\DeclareMathSymbol{\backsimeq}    {\mathrel}{AMSa}{"77}
\DeclareMathSymbol{\complement}   {\mathord}{AMSa}{"7B}
\DeclareMathSymbol{\intercal}     {\mathbin}{AMSa}{"7C}
\DeclareMathSymbol{\circledcirc}  {\mathbin}{AMSa}{"7D}
\DeclareMathSymbol{\circledast}   {\mathbin}{AMSa}{"7E}
\DeclareMathSymbol{\circleddash}  {\mathbin}{AMSa}{"7F}
%%   Begin AMSb declarations
\DeclareMathSymbol{\lvertneqq}    {\mathrel}{AMSb}{"00}
\DeclareMathSymbol{\gvertneqq}    {\mathrel}{AMSb}{"01}
\DeclareMathSymbol{\nleq}         {\mathrel}{AMSb}{"02}
\DeclareMathSymbol{\ngeq}         {\mathrel}{AMSb}{"03}
\DeclareMathSymbol{\nless}        {\mathrel}{AMSb}{"04}
\DeclareMathSymbol{\ngtr}         {\mathrel}{AMSb}{"05}
\DeclareMathSymbol{\nprec}        {\mathrel}{AMSb}{"06}
\DeclareMathSymbol{\nsucc}        {\mathrel}{AMSb}{"07}
\DeclareMathSymbol{\lneqq}        {\mathrel}{AMSb}{"08}
\DeclareMathSymbol{\gneqq}        {\mathrel}{AMSb}{"09}
\DeclareMathSymbol{\nleqslant}    {\mathrel}{AMSb}{"0A}
\DeclareMathSymbol{\ngeqslant}    {\mathrel}{AMSb}{"0B}
\DeclareMathSymbol{\lneq}         {\mathrel}{AMSb}{"0C}
\DeclareMathSymbol{\gneq}         {\mathrel}{AMSb}{"0D}
\DeclareMathSymbol{\npreceq}      {\mathrel}{AMSb}{"0E}
\DeclareMathSymbol{\nsucceq}      {\mathrel}{AMSb}{"0F}
\DeclareMathSymbol{\precnsim}     {\mathrel}{AMSb}{"10}
\DeclareMathSymbol{\succnsim}     {\mathrel}{AMSb}{"11}
\DeclareMathSymbol{\lnsim}        {\mathrel}{AMSb}{"12}
\DeclareMathSymbol{\gnsim}        {\mathrel}{AMSb}{"13}
\DeclareMathSymbol{\nleqq}        {\mathrel}{AMSb}{"14}
\DeclareMathSymbol{\ngeqq}        {\mathrel}{AMSb}{"15}
\DeclareMathSymbol{\precneqq}     {\mathrel}{AMSb}{"16}
\DeclareMathSymbol{\succneqq}     {\mathrel}{AMSb}{"17}
\DeclareMathSymbol{\precnapprox}  {\mathrel}{AMSb}{"18}
\DeclareMathSymbol{\succnapprox}  {\mathrel}{AMSb}{"19}
\DeclareMathSymbol{\lnapprox}     {\mathrel}{AMSb}{"1A}
\DeclareMathSymbol{\gnapprox}     {\mathrel}{AMSb}{"1B}
\DeclareMathSymbol{\nsim}         {\mathrel}{AMSb}{"1C}
\DeclareMathSymbol{\ncong}        {\mathrel}{AMSb}{"1D}
\DeclareMathSymbol{\diagup}       {\mathord}{AMSb}{"1E}
\DeclareMathSymbol{\diagdown}     {\mathord}{AMSb}{"1F}
\DeclareMathSymbol{\varsubsetneq}   {\mathrel}{AMSb}{"20}
\DeclareMathSymbol{\varsupsetneq}   {\mathrel}{AMSb}{"21}
\DeclareMathSymbol{\nsubseteqq}     {\mathrel}{AMSb}{"22}
\DeclareMathSymbol{\nsupseteqq}     {\mathrel}{AMSb}{"23}
\DeclareMathSymbol{\subsetneqq}     {\mathrel}{AMSb}{"24}
\DeclareMathSymbol{\supsetneqq}     {\mathrel}{AMSb}{"25}
\DeclareMathSymbol{\varsubsetneqq}  {\mathrel}{AMSb}{"26}
\DeclareMathSymbol{\varsupsetneqq}  {\mathrel}{AMSb}{"27}
\DeclareMathSymbol{\subsetneq}      {\mathrel}{AMSb}{"28}
\DeclareMathSymbol{\supsetneq}      {\mathrel}{AMSb}{"29}
\DeclareMathSymbol{\nsubseteq}      {\mathrel}{AMSb}{"2A}
\DeclareMathSymbol{\nsupseteq}      {\mathrel}{AMSb}{"2B}
\DeclareMathSymbol{\nparallel}      {\mathrel}{AMSb}{"2C}
\DeclareMathSymbol{\nmid}           {\mathrel}{AMSb}{"2D}
\DeclareMathSymbol{\nshortmid}      {\mathrel}{AMSb}{"2E}
\DeclareMathSymbol{\nshortparallel} {\mathrel}{AMSb}{"2F}
\DeclareMathSymbol{\nvdash}         {\mathrel}{AMSb}{"30}
\DeclareMathSymbol{\nVdash}         {\mathrel}{AMSb}{"31}
\DeclareMathSymbol{\nvDash}         {\mathrel}{AMSb}{"32}
\DeclareMathSymbol{\nVDash}         {\mathrel}{AMSb}{"33}
\DeclareMathSymbol{\ntrianglerighteq}{\mathrel}{AMSb}{"34}
\DeclareMathSymbol{\ntrianglelefteq}{\mathrel}{AMSb}{"35}
\DeclareMathSymbol{\ntriangleleft}  {\mathrel}{AMSb}{"36}
\DeclareMathSymbol{\ntriangleright} {\mathrel}{AMSb}{"37}
\DeclareMathSymbol{\nleftarrow}     {\mathrel}{AMSb}{"38}
\DeclareMathSymbol{\nrightarrow}    {\mathrel}{AMSb}{"39}
\DeclareMathSymbol{\nLeftarrow}     {\mathrel}{AMSb}{"3A}
\DeclareMathSymbol{\nRightarrow}    {\mathrel}{AMSb}{"3B}
\DeclareMathSymbol{\nLeftrightarrow}{\mathrel}{AMSb}{"3C}
\DeclareMathSymbol{\nleftrightarrow}{\mathrel}{AMSb}{"3D}
\DeclareMathSymbol{\divideontimes}  {\mathbin}{AMSb}{"3E}
\DeclareMathSymbol{\varnothing}     {\mathord}{AMSb}{"3F}
\DeclareMathSymbol{\nexists}        {\mathord}{AMSb}{"40}
\DeclareMathSymbol{\Finv}           {\mathord}{AMSb}{"60}
\DeclareMathSymbol{\Game}           {\mathord}{AMSb}{"61}
%% In amsfonts.sty:
%%\DeclareMathSymbol{\mho}          {\mathord}{AMSb}{"66}
\DeclareMathSymbol{\eth}            {\mathord}{AMSb}{"67}
\DeclareMathSymbol{\eqsim}          {\mathrel}{AMSb}{"68}
\DeclareMathSymbol{\beth}           {\mathord}{AMSb}{"69}
\DeclareMathSymbol{\gimel}          {\mathord}{AMSb}{"6A}
\DeclareMathSymbol{\daleth}         {\mathord}{AMSb}{"6B}
\DeclareMathSymbol{\lessdot}        {\mathbin}{AMSb}{"6C}
\DeclareMathSymbol{\gtrdot}         {\mathbin}{AMSb}{"6D}
\DeclareMathSymbol{\ltimes}         {\mathbin}{AMSb}{"6E}
\DeclareMathSymbol{\rtimes}         {\mathbin}{AMSb}{"6F}
\DeclareMathSymbol{\shortmid}       {\mathrel}{AMSb}{"70}
\DeclareMathSymbol{\shortparallel}  {\mathrel}{AMSb}{"71}
\DeclareMathSymbol{\smallsetminus}  {\mathbin}{AMSb}{"72}
\DeclareMathSymbol{\thicksim}       {\mathrel}{AMSb}{"73}
\DeclareMathSymbol{\thickapprox}    {\mathrel}{AMSb}{"74}
\DeclareMathSymbol{\approxeq}       {\mathrel}{AMSb}{"75}
\DeclareMathSymbol{\succapprox}     {\mathrel}{AMSb}{"76}
\DeclareMathSymbol{\precapprox}     {\mathrel}{AMSb}{"77}
\DeclareMathSymbol{\curvearrowleft} {\mathrel}{AMSb}{"78}
\DeclareMathSymbol{\curvearrowright}{\mathrel}{AMSb}{"79}
\DeclareMathSymbol{\digamma}        {\mathord}{AMSb}{"7A}
\DeclareMathSymbol{\varkappa}       {\mathord}{AMSb}{"7B}
\DeclareMathSymbol{\Bbbk}           {\mathord}{AMSb}{"7C}
\DeclareMathSymbol{\hslash}         {\mathord}{AMSb}{"7D}
%% In amsfonts.sty:
%%\DeclareMathSymbol{\hbar}         {\mathord}{AMSb}{"7E}
\DeclareMathSymbol{\backepsilon}    {\mathrel}{AMSb}{"7F}
%    \end{macrocode}
%    Now we close the group so that |"| will get its old |\catcode|
%    back.
%    \begin{macrocode}
\endgroup
%    \end{macrocode}
%
%    The usual \cs{endinput} to ensure that random garbage at the end of
%    the file doesn't get copied by \fn{docstrip}.
%    \begin{macrocode}
\endinput
%    \end{macrocode}
%
% \Finale