Warning: this is an htmlized version!
The original is here, and
the conversion rules are here.
% This file:
%   http://angg.twu.net/LATEX/edrx20limp.tex
%   http://angg.twu.net/LATEX/edrx20limp.tex.html
%                (find-LATEX "edrx20limp.tex")
%
% Use the \supset char of mathabx as a logical implication symbol.
% See: (find-es "tex" "limp-abx")
% Usage:
%   \input edrx20limp.tex            % (find-LATEX "edrx20limp.tex")
%   \catcode`?=13 \def?{\limp}
% Where "?" is the desired unicode char.

\DeclareFontFamily{U}{matha}{\hyphenchar\font45}
\DeclareFontShape{U}{matha}{m}{n}{
      <5> <6> <7> <8> <9> <10> gen * matha
      <10.95> matha10 <12> <14.4> <17.28> <20.74> <24.88> matha12
      }{}
\DeclareSymbolFont{matha}{U}{matha}{m}{n}
\DeclareMathSymbol{\varsubset}{3}{matha}{"80}
\DeclareMathSymbol{\varsupset}{3}{matha}{"81}
\def\limp{\varsupset}

% Local Variables:
% coding: utf-8-unix
% ee-tla: "NONE"
% End: