% A version of my "Planar Heyting Algebras for Children" paper
% that can be compiled with pdflatex (without lualatex).
%
% THIS IS THE MAIN FILE.
%
% To compile it run "pdflatex" on it twice.
%
% Author: Eduardo Ochs
% Version: 2019dec26



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

% «.chars»			(to "chars")
% «.dnt»			(to "dnt")
% «.shell-scripts»		(to "shell-scripts")
% «.2019planar-has-1-main.zip»	(to "2019planar-has-1-main.zip")


\documentclass[pdftex]{sajl}
%\documentclass[lualatex]{sajl}
\volume{X}
\issue{X}
\year{20XX}
\setcounter{page}{1}

% (find-es "tex" "newtheorem")
\newtheorem{definition}{Definition}[section]
\newtheorem{theorem}[definition]{Theorem}
\newtheorem{lemma}[definition]{Lemma}
\newtheorem{proposition}[definition]{Proposition}
\newtheorem{remark}[definition]{Remark}
\newtheorem{remarks}[definition]{Remarks}
\newtheorem{example}[definition]{Example}
\newtheorem{examples}[definition]{Examples}
\newtheorem{corollary}[definition]{Corollary}
\newtheorem{myfigure}[definition]{Figure}       % Edrx

\newcommand{\negr}[1]{\boldsymbol{#1}}
\newenvironment{proof}{\noindent\bf Proof. \rm}{\hfill $\negr{\blacksquare}$ \\}

\usepackage[backend=biber,
   style=alphabetic]{biblatex} % (find-es "tex" "biber")
\addbibresource{catsem-u.bib}  % (find-LATEX "catsem-u.bib")

\usepackage{latexsym,amssymb,amsfonts,amsmath}
\usepackage{graphicx}
\usepackage{array}    % (find-es "tex" "array")
%\usepackage{hyperref} % (find-es "tex" "hyperref")
%\usepackage[colorlinks]{hyperref} % (find-es "tex" "hyperref")
%%\usepackage[latin1]{inputenc}
%\usepackage{amsmath}
%\usepackage{amsfonts}
%\usepackage{amssymb}
\usepackage{pict2e}
%\usepackage{color}                % (find-LATEX "edrx15.sty" "colors")
%\usepackage{colorweb}             % (find-es "tex" "colorweb")
%\usepackage{tikz}
\usepackage{proof}                % (find-dn6 "preamble6.lua" "preamble0")
\input diagxy                     % (find-dn6 "preamble6.lua" "preamble0")
%%
%\usepackage{edrx17}              % (find-angg "LATEX/edrx17.sty")
%\input edrxaccents.tex           % (find-angg "LATEX/edrxaccents.tex")
%\input edrxchars.tex             % (find-LATEX "edrxchars.tex")
\input edrx17defs.tex             % (find-LATEX "edrx17defs.tex")
\input 2017planar-has-defs.tex    % (find-LATEX "2017planar-has-defs.tex")
%\input edrxheadfoot.tex          % (find-dn4ex "edrxheadfoot.tex")
%\input edrxgac2.tex              % (find-LATEX "edrxgac2.tex")

\def\Opens{\mathcal{O}}
%\catcode`→=13 \def→{\rightarrow}


% «chars»  (to ".chars")
% (find-LATEX "2019J-ops.tex" "chars")
%\ifluatex
%  \input edrxaccents.tex            % (find-LATEX "edrxaccents.tex")
%  \input edrxchars.tex              % (find-LATEX "edrxchars.tex")
%  \catcode`¹=13 \def¹{^{*}}
%  \catcode`²=13 \def²{^{**}}
%  \catcode`³=13 \def³{^{***}}
%\else
  \usepackage[utf8]{inputenc}
  \input 2019oxford-chars.tex       % (find-LATEX "2019oxford-chars.tex")
  % \DeclareUnicodeCharacter{00B9}{^{*}}              % ¹
  % \DeclareUnicodeCharacter{00B2}{^{**}}             % ²
  % \DeclareUnicodeCharacter{00B3}{^{***}}            % ³
%\fi

% (find-es "tex" "geometry")
\begin{document}

% «dnt»  (to ".dnt")
% (find-LATEX "2017planar-has-1.tex" "write-ph1-body")
%\ifluatex
%  \catcode`\^^J=10
%  \directlua{dofile "dednat6load.lua"}
%  \directlua{dofile "edrxtikz.lua"}     % (find-LATEX "edrxtikz.lua")
%  \directlua{dofile "edrxpict.lua"}     % (find-LATEX "edrxpict.lua")
%\else
  %\input\jobname.dnt
  \input 2017planar-has-1.dnt
  \def\pu{}
  \def\directlua#1{}
%\fi

% (find-LATEX "2017planar-has-1.tex" "write-ph1-body")
% (find-LATEX "2017planar-has-1-body.tex")
\input         2017planar-has-1-body.tex

\end{document}




% «shell-scripts»  (to ".shell-scripts")
%
% Note the "\end{document}" above -
% LaTeX ignores everything after it!

% «2019planar-has-1-main.zip»  (to ".2019planar-has-1-main.zip")

* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
cd ~/LATEX/
make -f 2019.mk  2019planar-has-1-main.veryclean
pdflatex         2019planar-has-1-main.tex
biber            2019planar-has-1-main
pdflatex -record 2019planar-has-1-main.tex

# (find-pdf-page "~/LATEX/2019planar-has-1-main.pdf")
# (find-pdf-text "~/LATEX/2019planar-has-1-main.pdf")

cd ~/LATEX/
flsfiles-zip 2019planar-has-1-main.fls 2019planar-has-1-main.zip

# Test the .zip.
#
rm -rfv /tmp/2019planar-has-1-main.zip
rm -rfv /tmp/edrx-latex/
cd /tmp/
cp -v ~/LATEX/2019planar-has-1-main.zip .
mkdir    /tmp/edrx-latex/
unzip -d /tmp/edrx-latex/ /tmp/2019planar-has-1-main.zip
cd       /tmp/edrx-latex/
cp -v /usr/local/texlive/2019/texmf-dist/tex/generic/barr/diagxy.tex .
pdflatex         2019planar-has-1-main.tex
pdflatex -record 2019planar-has-1-main.tex

flsfiles-zip 2019planar-has-1-main.fls /tmp/ochs-planar-has-2019dec26.zip

* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
cd /tmp/
Scp-np -v ochs-planar-has-2019dec26.zip \
  edrx@angg.twu.net:/home/edrx/slow_html/tmp/
Scp-np -v ochs-planar-has-2019dec26.zip \
  edrx@angg.twu.net:/home/edrx/public_html/tmp/

# http://angg.twu.net/tmp/ochs-planar-has-2019sep17.zip
# http://angg.twu.net/tmp/ochs-planar-has-2019dec26.zip

* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
rm -rfv  /tmp/edrx-latex2/
mkdir    /tmp/edrx-latex2/
cd       /tmp/edrx-latex2/
wget http://angg.twu.net/tmp/ochs-planar-has-2019dec26.zip
unzip -d /tmp/edrx-latex2/   ochs-planar-has-2019dec26.zip
cd       /tmp/edrx-latex2/
pdflatex         2019planar-has-1-main.tex
pdflatex -record 2019planar-has-1-main.tex

# (find-pdf-page "/tmp/edrx-latex2/2019planar-has-1-main.pdf")
# (find-pdf-text "/tmp/edrx-latex2/2019planar-has-1-main.pdf")

cd /tmp/
laf ochs*
rm -v ochs*
wget http://angg.twu.net/tmp/ochs-planar-has-2019dec26.zip






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