% (find-angg "LATEX/2019elephant-poster.tex")
% (defun c () (interactive) (find-LATEXsh "lualatex -record 2019elephant-poster.tex"))
% (defun d () (interactive) (find-pdf-page "~/LATEX/2019elephant-poster.pdf"))
% (defun d () (interactive) (find-pdftools-page "~/LATEX/2019elephant-poster.pdf"))
% (defun b () (interactive) (find-zsh "bibtex 2019elephant-poster; makeindex 2019elephant-poster"))
% (defun e () (interactive) (find-LATEX "2019elephant-poster.tex"))
% (defun u () (interactive) (find-latex-upload-links "2019elephant-poster"))
% (find-xpdfpage "~/LATEX/2019elephant-poster.pdf")
% (find-sh0 "cp -v  ~/LATEX/2019elephant-poster.pdf /tmp/")
% (find-sh0 "cp -v  ~/LATEX/2019elephant-poster.pdf /tmp/pen/")
%   file:///home/edrx/LATEX/2019elephant-poster.pdf
%               file:///tmp/2019elephant-poster.pdf
%           file:///tmp/pen/2019elephant-poster.pdf
% http://angg.twu.net/LATEX/2019elephant-poster.pdf

% «.columnsep»		(to "columnsep")
% «.input-poster-body»	(to "input-poster-body")

\documentclass[oneside,12pt]{extarticle}
\usepackage[colorlinks]{hyperref} % (find-es "tex" "hyperref")
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{pict2e}
\usepackage[x11names,svgnames]{xcolor} % (find-es "tex" "xcolor")
%
%\usepackage{cmbright}   % (find-es "tex" "cmbright")
%\usepackage{kmath,kerkis}
\usepackage{lipsum}     % (find-es "tex" "lipsum")
\usepackage{multicol}   % (find-es "tex" "multicol")
%\usepackage{tikz}
%
% (find-dn6 "preamble6.lua" "preamble0")
\usepackage{proof}   % For derivation trees ("%:" lines)
\input diagxy        % For 2D diagrams ("%D" lines)
\xyoption{curve}     % For the ".curve=" feature in 2D diagrams
%
\usepackage{edrx15}               % (find-LATEX "edrx15.sty")
\input edrxaccents.tex            % (find-LATEX "edrxaccents.tex")
\input edrxchars.tex              % (find-LATEX "edrxchars.tex")
\input edrxheadfoot.tex           % (find-LATEX "edrxheadfoot.tex")
\input edrxgac2.tex               % (find-LATEX "edrxgac2.tex")
\input 2017planar-has-defs.tex    % (find-LATEX "2017planar-has-defs.tex")
%%
% (find-angg ".emacs.papers" "latexgeom")
% (find-LATEXfile "2016-2-GA-VR.tex" "{geometry}")
% (find-latexgeomtext "total={6.5in,8.75in},")
\usepackage[paperwidth=90cm, paperheight=120cm,
            %total={6.5in,4in},
            %textwidth=4in,  paperwidth=4.5in,
            %textheight=5in, paperheight=4.5in,
            %a4paper,
            top=5cm, bottom=5cm, left=5cm, right=5cm %, includefoot
           ]{geometry}
%
\usepackage[backend=biber,
   style=alphabetic]{biblatex} % (find-es "tex" "biber")
\addbibresource{catsem-u.bib}  % (find-LATEX "catsem-u.bib")
%
\begin{document}

\catcode`\^^J=10
\directlua{dofile "dednat6load.lua"}  % (find-LATEX "dednat6load.lua")

% %L dofile "edrxtikz.lua"  -- (find-LATEX "edrxtikz.lua")
% %L dofile "edrxpict.lua"  -- (find-LATEX "edrxpict.lua")
% \pu

% «columnsep»  (to ".columnsep")
% (find-es "tex" "multicol")
\setlength{\columnsep}{1.5pc}
\setlength{\columnsep}{4pc}
\setlength\columnseprule{.4pt}

\begin{multicols}{5}

\newlength{\colwidth}
\setlength{\colwidth}{\columnwidth}


% %D diagram monad-h
% %D 2Dx     100  +20  +20
% %D 2D  100 1 -> T <- T^2
% %D 2D
% %D (( 1 T -> .plabel= a η
% %D    T T^2 <- .plabel= a μ
% %D ))
% %D enddiagram
% %D
% \pu
% $$\diag{monad-h}
% $$
% 
% \input 2019elephant-poster-y.tex
% 
% %D diagram monad-obeys
% %D 2Dx     100   +30   +30
% %D 2D  100 A --> B <-- C
% %D 2D      | \   |     |
% %D 2D      |  \  |     |
% %D 2D      v   v v     v
% %D 2D  +30 D --> E <-- F
% %D 2D
% %D ren A B C ==> T T^2 T^3
% %D ren D E F ==> T^2 T T^2
% %D
% %D (( A B -> .plabel= a Tη
% %D    B C <- .plabel= a Tμ
% %D    A D -> .plabel= l ηT
% %D    A E -> .plabel= m \id
% %D    B E -> .plabel= r μ
% %D    C F -> .plabel= r μT
% %D    D E -> .plabel= b μ
% %D    E F <- .plabel= b μ
% %D ))
% %D enddiagram
% %D
% \pu
% $$\diag{monad-obeys}$$

% «input-poster-body»  (to ".input-poster-body")
% (find-LATEX "2019elephant-poster-z.tex" "write-poster-body")
\input 2019elephant-poster-body.tex

\printbibliography


\end{multicols}






\end{document}

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