% 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: