%   http://angg.twu.net/LATEX/edrx15chars.tex
%   http://angg.twu.net/LATEX/edrx15chars.tex.html
% Author: Eduardo Ochs <eduardoochs@gmail.com>
% Version: 2015mar24


\catcode`∀=13 \def∀{\forall}
\catcode`∃=13 \def∃{\exists}

$∀∃$

% (eev-set-glyph 8704 8704 'eev-glyph-face-green)
% (eev-set-glyph 8704 8704 nil)






% Local Variables:
% coding:               utf-8-unix
% ee-delimiter-percent: "\n%\n"
% End:
