Warning: this is an htmlized version! The original is here, and the conversion rules are here.
% (find-LATEX "2019sajl-test.tex")
% (defun c () (interactive) (find-LATEXsh "lualatex -record 2019sajl-test.tex" :end))
% (defun c () (interactive) (find-LATEXsh "pdflatex -record 2019sajl-test.tex" :end))
% (defun d () (interactive) (find-pdf-page "~/LATEX/2019sajl-test.pdf"))
% (defun e () (interactive) (find-LATEX "2019sajl-test.tex"))
% (find-pdf-page   "~/LATEX/2019sajl-test.pdf")
% (find-sh0 "cp -v  ~/LATEX/2019sajl-test.pdf /tmp/")
% (find-sh0 "cp -v  ~/LATEX/2019sajl-test.pdf /tmp/pen/")
%   file:///home/edrx/LATEX/2019sajl-test.pdf
%               file:///tmp/2019sajl-test.pdf
%           file:///tmp/pen/2019sajl-test.pdf
% http://angg.twu.net/LATEX/2019sajl-test.pdf
% (find-LATEX "2019.mk")

% (find-LATEXfile "2017sajl-mini.tex" "\\documentclass[pdftex]")

%
\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")

\usepackage{latexsym,amssymb,amsfonts,amsmath}
\usepackage{graphicx}
\usepackage{array}    % (find-es "tex" "array")
%\usepackage{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 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}

% \ifluatex
%   \catcode\^^J=10
%   \directlua{dofile "edrxtikz.lua"}     % (find-LATEX "edrxtikz.lua")
%   \directlua{dofile "edrxpict.lua"}     % (find-LATEX "edrxpict.lua")
% \else
%   \input\jobname.dnt
%   \def\pu{}
%   \def\directlua#1{}
% \fi

\setlength{\extrarowheight}{1pt}

\title{Planar HAs for Children}{Planar Heyting Algebras for Children}

\author{E. Ochs}{Eduardo Ochs}

\maketitle

\end{document}

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