% $Id: abbrevmap.tex,v 1.1 2009-06-08 10:14:37 dimitriv Exp $

\def\dquote{\text{\char'175}}                           % "
\def\lquote{\text{`}}                                   % `
\def\periodi{\PERIOD}                                   % .
\def\periodii{\PERIOD\PERIOD}                           % ..
\def\periodiii{\ldots}                                  % ...
\def\slashEquals{\neq}                                  % /=
\def\twiddleEquals{\cong}                               % ~=
\def\lessthan{\mathopen{\langle}}                       % <
\def\greaterthan{\mathclose{\rangle}}                   % >
\def\equalsGreater{\Rightarrow}                         % =>
\def\equalsEqualsGreater{\Longrightarrow}               % ==>
\def\equalsEqualsEqualsGreater{\Longrightarrow}         % ===>
\def\lessEquals{\Leftarrow}                             % <=
\def\lessEqualsEquals{\Longleftarrow}                   % <==
\def\lessEqualsEqualsEquals{\Longleftarrow}             % <===
\def\lessEqualsGreater{\Leftrightarrow}                 % <=>
\def\lessEqualsEqualsGreater{\Longleftrightarrow}       % <==>
\def\lessEqualsEqualsEqualsGreater{\Longleftrightarrow} % <===>
\def\equalsEquals{\equiv}                               % ==
\def\equalsEqualsEquals{&{}={}&}                        % ===
\def\minusGreater{\to}                          % ->
\def\minusMinusGreater{\longrightarrow}                 % -->
\def\minusPeriodMinusGreater{\dot{\to}}         % -.->
\def\lquoteMinusMinusGreater{\hookrightarrow}           % `-->
\def\minusLittleO{\multimap}                            % -o
\def\minusSlashMinusGreater{\not \to}           % -/->
\def\lessMinus{\gets}                              % <-
\def\lessMinusMinus{\longleftarrow}                     % <--
\def\lessBar{\triangleleft}                             % <|
\def\lessBarGreater{\mathrel{\triangleleft\mspace{-3mu}\triangleright}} % <|>
\def\minusLquote{\rightharpoonup}                       % -`
\def\greaterLess{\times}                                % ><
\def\lessPlusGreater{\oplus}                            % <+>
\def\lessTimesGreater{\otimes}                          % <*>
\def\colon{\COLON}                                      % :
\def\colonColon{\mathbin{\COLON\COLON}}                 % ::
\def\colonColonEquals{\mathbin{\mathord{\COLON}\mathord{\COLON}\mathord{=}}}
                                                        % ::=
\def\semicolon{\mathbin{\SEMICOLON}}                    % ;
\def\justABar{\mathrel{\BAR}}                           % |
\def\barBarMinus{\Vdash}                                % ||-
\def\barEquals{\mathrel{\BAR\mspace{-8mu}\EQUALS}}      % |=
\def\barMinus{\vdash}                                   % |-
\def\minusBar{\dashv}                                   % -|
\def\barMinusMinus#1{\vdash_{#1}}                       % |--
\def\barMinusGreater{\mapsto}                           % |->
\def\barMinusMinusGreater{\longmapsto}                  % |-->
\def\barMinusMinusGreaterGreater{\mapsto\hspace*{-8pt}\to}
                                                        % |-->>
\def\barVeeBar{\Downarrow}                              % |v|
\def\barCircBar{\Uparrow}                               % |^|
\def\barGreater{\triangleright}                         % |>
\def\lessLess{[\![}                                     % <<
\def\lessLessLess{\left[\!\!\left[}                     % <<<
\def\greaterGreater{]\!]}                               % >>
\def\greaterGreaterGreater{\right]\!\!\right]}          % >>>
\def\minusv#1{\using\text{\rulename{#1}}\justifies}     % -----...
\def\twiddlei{\TWIDDLE}                                 % ~
\def\twiddleii{\;}                                      % ~~
\def\twiddleiii{\quad}                                  % ~~~
\def\twiddleiv{\endprooftree\qquad\prooftree}           % ~~~~
\def\twiddlev{\endprooftree\\ \\ \prooftree}            % ~~~~~...
\def\twiddleTwiddleGreater{\rightsquigarrow}            % ~~>
\def\asterisk{\ASTERISK}                                % *
\def\asteriskii{\overline{\ASTERISK}}                   % **
\def\asteriskiii{\dagger}                               % ***
\def\asteriskiv{\star}                                  % ****
\def\asteriskv{\ddagger}                                % *****
\def\plusPlus{\mathbin{\PLUS\hspace*{-4pt}\PLUS}}       % ++
\def\bang{\mathalpha{\BANG}}                            % !
\def\question{\mathalpha{\QUESTION}}                    % ?
\def\slashBackslash{\land}                             % /\

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "modules"
%%% End: