% Definitions corresponding to active characters (most of them are
% displayed by glyphs)
% Edrx, 2005jun25

% (find-eev "eev-math-glyphs.el")
% (require 'eev-math-glyphs)
% (eev-math-glyphs-edrx)
% (eev-math-glyphs-reset)

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


\catcode`�=13 \def�{\mathstrut}
\catcode`�=13 \def�{\neg}
\catcode`�=13 \def�{\times}
\catcode`�=13 \def�{\cdot}

% (find-fline "~/LATEX/dout/doutfont.lua")
%
% ����̢
% �����
% ��ſ
% ��
% �������
% ����
% �
% ��

\catcode`�=13 \def�{\Fa}
\catcode`�=13 \def�{\Ex}
\catcode`�=13 \def�{\in}
\catcode`�=13 \def�{\cap}
\catcode`�=13 \def�{\cup}
\catcode`�=13 \def�{\circ}

\catcode`�=13 \def�{\top}
\catcode`�=13 \def�{\bot}
\catcode`�=13 \def�{\land}
\catcode`�=13 \def�{\limp}
\catcode`�=13 \def�{{:}}

\catcode`�=13 \def�{\ge}
\catcode`�=13 \def�{^{-1}}
\catcode`�=13 \def�{\int}
\catcode`�=13 \def�{^\perp}

\catcode`�=13 \def�{\Box}
\catcode`�=13 \def�{\otimes}
\catcode`�=13 \def�{\oplus}
\catcode`�=13 \def�{\natural}

\catcode`�=13 \def�{\mathrm}
\catcode`�=13 \def�{\mathbf}
\catcode`�=13 \def�{\mathsf}
\catcode`�=13 \def�{\text}
\catcode`�=13 \def�{\underline}
\catcode`�=13 \def�{\vec}

\catcode`�=13 \def�{\Theta}
\catcode`�=13 \def�{\Pi}
\catcode`�=13 \def�{\Sigma}
\catcode`�=13 \def�{\Omega}

\catcode`�=13 \def�{\lambda}
\catcode`�=13 \def�{\pi}
\catcode`�=13 \def�{\nu}
\catcode`�=13 \def�{\omega}



% \catcode`�=13 \def�{${}^\underline{\mathrm{o}}$}

% (find-fline "~/MTA/vtutil" "setglyphs")
% (setglyphs ?\^R nil 18 ?\^E nil 5 ?\^T nil 20 ?\^D nil 4)
\catcode`=13 \def{\delta}
\catcode`=13 \def{\epsilon}
\catcode`=13 \def{\rho}
\catcode`=13 \def{\theta}
\catcode`=13 \def{\to}
\catcode`=13 \def{\ot}
\catcode`=13 \def{\lor}

\def\sto{\Rrightarrow}          % syntactic "to"

\catcode`=13 \def{\sigma}
\catcode`=13 \def{\tau}




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