|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
% This file:
% https://anggtwu.net/LATEX/edrx26b-jul.tex.html
% https://anggtwu.net/LATEX/edrx26b-jul.tex
% (find-angg "LATEX/edrx26b-jul.tex")
% Author: Eduardo Ochs <eduardoochs@gmail.com>
% Version: 2026jul12
%
% This is the second part of:
% (find-angg "LATEX/edrx26a.tex")
% (find-angg "LATEX/edrx26b.tex")
% (find-angg "LATEX/edrx26c.tex")
%
% (defun e () (interactive) (find-angg "LATEX/edrx26b-jul.tex"))
% (defun o () (interactive) (find-angg "LATEX/edrx26b.tex"))
%
% «.to-and-diagxyto» (to "to-and-diagxyto")
% «.defded» (to "defded")
% «.defdiag» (to "defdiag")
% «.cell» (to "cell")
% «.pu» (to "pu")
\ifluatex
\catcode`\^^J=10
\directlua{dofile "dednat7load.lua"} % (find-LATEX "dednat7load.lua")
%\directlua{dednat7preamble()} % (find-angg "LUA/DednatPreamble1.lua")
%\directlua{dednat7oldheads()} % (find-angg "LUA/Dednat7oldheads.lua")
\else
%Was: \input\jobname.dnt % Some examples: (find-LATEXsh "ls 202*.dnt")
\input\dednatjobname.dnt % Some examples: (find-LATEXsh "ls 202*.dnt")
\def\directlua#1{}
\def\pu{}
\fi
% From: (find-angg "LUA/DednatPreamble1.lua")
% «to-and-diagxyto» (to ".to-and-diagxyto")
\def\diagxyto{\ifnextchar/{\toop}{\toop/>/}}
\def\to {\rightarrow}
% «defded» (to ".defded")
\def\defded#1#2{\expandafter\def\csname ded-#1\endcsname{#2}}
\def\ifdedundefined#1{\expandafter\ifx\csname ded-#1\endcsname\relax}
\def\ded#1{\ifdedundefined{#1}
\errmessage{UNDEFINED DEDUCTION: #1}
\else
\csname ded-#1\endcsname
\fi
}
% «defdiag» (to ".defdiag")
\def\defdiag#1#2{\expandafter\def\csname diag-#1\endcsname{\bfig#2\efig}}
\def\defdiagprep#1#2#3{\expandafter\def\csname diag-#1\endcsname{{#2\bfig#3\efig}}}
\def\ifdiagundefined#1{\expandafter\ifx\csname diag-#1\endcsname\relax}
\def\diag#1{\ifdiagundefined{#1}
\errmessage{UNDEFINED DIAGRAM: #1}
\else
\csname diag-#1\endcsname
\fi
}
% «cell» (to ".cell")
\def\ifundefined#1{\expandafter\ifx\csname#1\endcsname\relax}
\ifundefined {celllower} \newlength {\celllower} \fi
\ifundefined {lcelllower} \newlength{\lcelllower} \fi
\def\cellfont{}
\def\lcellfont{}
\def\cell #1{\lower\celllower\hbox to 0pt{\hss\cellfont${#1}$\hss}}
\def\lcell#1{\lower\celllower\hbox to 0pt {\lcellfont${#1}$\hss}}
% «pu» (to ".pu")
\def\expr#1{\directlua{output(tostring(#1))}}
\def\eval#1{\directlua{#1}}
\def\pu{\directlua{pu()}}
%
% End of preamble1.
\def\subfilepu{}
% Local Variables:
% coding: utf-8-unix
% End: