Warning: this is an htmlized version!
The original is across this link,
and the conversion rules are here.
% This file: (find-LATEX "2017planar-has-defs.tex")
% «.picturedots»	(to "picturedots")
% «.defs»		(to "defs")




%        _      _                      _       _       
%  _ __ (_) ___| |_ _   _ _ __ ___  __| | ___ | |_ ___ 
% | '_ \| |/ __| __| | | | '__/ _ \/ _` |/ _ \| __/ __|
% | |_) | | (__| |_| |_| | | |  __/ (_| | (_) | |_\__ \
% | .__/|_|\___|\__|\__,_|_|  \___|\__,_|\___/ \__|___/
% |_|                                                  
%
% «picturedots» (to ".picturedots")
% (find-LATEX "2016-2-GA-algebra.tex" "picturedots")
% (find-LATEX "2016-2-GA-algebra.tex" "comprehension-gab")
% (gaap 5)
%
\def\beginpicture(#1,#2)(#3,#4){\expr{beginpicture(v(#1,#2),v(#3,#4))}}
\def\pictaxes{\expr{pictaxes()}}
\def\pictdots#1{\expr{pictdots("#1")}}
\def\picturedotsa(#1,#2)(#3,#4)#5{%
  \vcenter{\hbox{%
  \beginpicture(#1,#2)(#3,#4)%
  \pictaxes%
  \pictdots{#5}%
  \end{picture}%
  }}%
}
\def\picturedots(#1,#2)(#3,#4)#5{%
  \vcenter{\hbox{%
  \beginpicture(#1,#2)(#3,#4)%
  %\pictaxes%
  \pictdots{#5}%
  \end{picture}%
  }}%
}

%      _       __     
%   __| | ___ / _|___ 
%  / _` |/ _ \ |_/ __|
% | (_| |  __/  _\__ \
%  \__,_|\___|_| |___/
%                     
% «defs» (to ".defs")

\def\sa{\rightsquigarrow}
\def\BPM{\mathsf{BPM}}
\def\WPM{\mathsf{WPM}}
\def\ZHAG{\mathsf{ZHAG}}

\def\LR{\mathbb{LR}}

\def\catTwo{\mathbf{2}}
%\def\Pts{\mathcal{P}}
\def\calS{\mathcal{S}}
\def\calI{\mathcal{I}}
\def\calK{\mathcal{K}}
\def\calV{\mathcal{V}}

\def\und#1#2{\underbrace{#1}_{#2}}

\def\subst#1{\left[\begin{array}{rcl}#1\end{array}\right]}
\def\subst{\bsm}

% (find-LATEXfile "2015planar-has.tex" "\\def\\Mop")

\def\MP  {\mathsf{MP}}
\def\J   {\mathsf{J}}
\def\Mo  {\mathsf{Mo}}
\def\Mop {\mathsf{Mop}}
\def\Sand{\mathsf{Sand}}
\def\ECa {\mathsf{EC}{\&}}
\def\ECv {\mathsf{EC}{â}}
\def\ECS {\mathsf{ECS}}
\def\pdiag#1{\left(\diag{#1}\right)}
\def\ltor#1#2{#1\_{\to}\_#2}
\def\lotr#1#2{#1\_{\ot}\_#2}
\def\Int{{\operatorname{int}}}
\def\Int{{\operatorname{\mathsf{int}}}}
\def\coInt{{\operatorname{\mathsf{coint}}}}
%\def\Opens{{\mathcal{O}}}
%
\def\LC {\mathsf{LC}}
\def\RC {\mathsf{RC}}
\def\TCG{\mathsf{2CG}}
\def\pile{\mathsf{pile}}
\def\ltor#1#2{#1\_{\to}\_#2}
\def\lotr#1#2{#1\_{\ot}\_#2}
\def\ltol#1#2{#1\_{\to}#2\_}
\def\rtor#1#2{\_#1{\to}\_#2}
%
\def\NoLcuts{\mathsf{No}»\mathsf{cuts}}
\def\NoYcuts{\mathsf{NoYcuts}}
\def\astarcube{{\&}^*\mathsf{Cube}}
\def\ostarcube{{â}^*\mathsf{Cube}}
\def\istarcube{{â}^*\mathsf{Cube}}
\def\acz{{\&}^*\mathsf{C}_0}
\def\ocz{{â}^*\mathsf{C}_0}
\def\icz{{â}^*\mathsf{C}_0}
%
\def\astarcuben{{\&}^*\mathsf{Cube}_\mathsf{n}}
\def\ostarcuben{{â}^*\mathsf{Cube}_\mathsf{n}}
\def\istarcuben{{â}^*\mathsf{Cube}_\mathsf{n}}
\def\astarcubev{{\&}^*\mathsf{Cube}_\mathsf{v}}
\def\ostarcubev{{â}^*\mathsf{Cube}_\mathsf{v}}
\def\istarcubev{{â}^*\mathsf{Cube}_\mathsf{v}}
%
%\catcode`â=13 \defâ{\mathop{\&}}

\def\biggest {\mathsf{biggest}}
\def\smallest{\mathsf{smallest}}
\def\Cuts    {\mathsf{Cuts}}

\def\myresizebox#1{%
  \noindent\hbox to \textwidth{\hss
    \resizebox{1.0\textwidth}{!}{#1}%
    \hss}
  }





\def\LR{\mathbb{LR}}
\def\Taut{\mathsf{Taut}}
\def\IPL{\mathrm{IPL}}
\def\CPL{\mathrm{CPL}}
\def\ZHAL{\mathrm{ZHAL}}



% Local Variables:
% coding: utf-8-unix
% ee-anchor-format: "«%s»"
% End: