Warning: this is an htmlized version!
The original is across this link,
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: