|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
% 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: