% My names for arrows
% Edrx, 2005jun25

% (find-doutfile "")

% «.arrows»	(to "arrows")
% «.limp»	(to "limp")



% (find-doutfile "defs-dnt.tex")
% (find-doutfile "defs-headfoot.tex")
% (find-doutfile "defs-sect.tex")
% (find-doutfile "defs-symbols.tex")
% (find-dout "defs-symbols.tex" "arrows")
% (find-dout "defs-symbols.tex" "extraarrows")
% (find-doutfile "defs.tex")


% «arrows»  (to ".arrows")
%
\newcommand\ito{\hookrightarrow}
\newcommand\isoto{\underset{iso}{\to}}
\newcommand\epito{{\twoheadrightarrow}}
\newcommand\bij{\leftrightarrow}
\newcommand\toto{\rightrightarrows}
\newcommand\functo{\Rightarrow}
\newcommand\ton[1]{\overset{#1}{\to}}
\newcommand\xton[1]{\xrightarrow{#1}}
\newcommand\iton[1]{\overset{#1}{\ito}}
\newcommand\otn[1]{\overset{#1}{\ot}}
\newcommand\TNto{\overset{.}{\to}}
\newcommand\idto{\overset{id}{\to}}
\newcommand\vaipra{\quad\Longrightarrow\quad}
\newcommand\funto{\Rightarrow}
\newcommand\funton[1]{\overset{#1}\Rightarrow}
\newcommand\tnto{\ton{\bullet}}
%\newcommand\iff{\Leftrightarrow}
\newcommand\Bij{\Leftrightarrow}
\newcommand\funot{\Leftarrow}
\newcommand\dnto{\downarrow}
\newcommand\upto{\uparrow}
\newcommand\dnfunto{\Downarrow}
\newcommand\upfunto{\Uparrow}
\newcommand\monicto{\rightarrowtail}
\newcommand\ot{\leftarrow}
\newcommand\squigto{\rightsquigarrow}
\newcommand\squigbij{\leftrightsquigarrow}
\newcommand\sqto{\rightsquigarrow}
\newcommand\sqbij{\leftrightsquigarrow}

\def\mto{{\mapsto}}
\def\mton#1{\overset{#1}{\mto}}
\def\widemtos{\def\mto{\mapsto}}
\def\thinmtos{\def\mto{{\mapsto}}}

\def\lmto{\mapsto}

\newcommand\tnton[1]{\underset{#1}{\overset{\bullet}{\to}}}
%\newcommand\tnton[1]{\underset{#1}{\to}}


% Logical implication (a thin, long, vaguely arrow-like, \supset char)
% «limp»  (to ".limp")
% (find-es "tex" "thin_supset")
% (find-lsrcfile "amslatex/math/amsopn.dtx" "DeclareMathOperator")
% (find-lsrcfile "amslatex/math/amsopn.dtx" "DeclareRobustCommand{\\qopname}")
\def\limpchar{{%
  \setlength{\unitlength}{1pt}%
  \begin{picture}(6,4)
    \put(0,2){\oval(12,4)[r]}
  \end{picture}%
}}
% \def\limp{\qopname\relax o{\limpchar}}
\def\limp{\mathrel{\limpchar}}






% Local Variables:
% coding:               raw-text-unix
% ee-delimiter-percent: "\n%*\n"
% ee-anchor-format:     "«%s»"
% End: