% (find-LATEX "2020mathabx.tex")
% (find-es "tex"  "mathabx")
% (defun c () (interactive) (find-LATEXsh "lualatex -record 2020mathabx.tex" :end))
% (defun d () (interactive) (find-pdf-page "~/LATEX/2020mathabx.pdf"))
% (defun d () (interactive) (find-pdftools-page "~/LATEX/2020mathabx.pdf"))
% (defun e () (interactive) (find-LATEX "2020mathabx.tex"))
% (defun u () (interactive) (find-latex-upload-links "2020mathabx"))
% (find-pdf-page   "~/LATEX/2020mathabx.pdf")
% (find-sh0 "cp -v  ~/LATEX/2020mathabx.pdf /tmp/")
% (find-sh0 "cp -v  ~/LATEX/2020mathabx.pdf /tmp/pen/")
%   file:///home/edrx/LATEX/2020mathabx.pdf
%               file:///tmp/2020mathabx.pdf
%           file:///tmp/pen/2020mathabx.pdf
% http://angg.twu.net/LATEX/2020mathabx.pdf
% (find-LATEX "2019.mk")

\documentclass[oneside]{article}
\usepackage{pict2e}
\usepackage{edrx15}
\edrxcolors
% \usepackage{2020mathabx}
% (find-sh0 "cp -v ~/usrc/mathabx/texinputs/mathabx.sty ~/LATEX/2020mathabx.sty")
% (find-sh0 "cp -v ~/usrc/mathabx/texinputs/mathabx.dcl ~/LATEX/2020mathabx.dcl")
% (find-LATEXfile "2020mathabx.dcl")
% (find-LATEXfile "2020mathabx.sty")

\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}

\begin{document}

$P \supset Q$

% (find-LATEX "2017planar-has-defs.tex" "squigbij")

$A \varsubset B {\varsubset} C$

$A \varsubset B {\varsubset} C_
 {{A \varsubset B {\varsubset} C}_
  {A \varsubset B {\varsubset} C}}
$

$A \varsupset B {\varsupset} C_
 {{A \varsupset B {\varsupset} C}_
  {A \varsupset B {\varsupset} C}}
$


\end{document}

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