Warning: this is an htmlized version!
The original is here, and
the conversion rules are here.
% This file:
%   https://anggtwu.net/LATEX/2026planar-has-defs.tex.html
%   https://anggtwu.net/LATEX/2026planar-has-defs.tex
%           (find-angg "LATEX/2026planar-has-defs.tex")
% Author: Eduardo Ochs <eduardoochs@gmail.com>
%
% (defun pd () (interactive) (find-angg "LATEX/2026planar-has-defs.tex"))
% (defun od () (interactive) (find-angg "LATEX/2017planar-has-defs.tex"))
%
%  Used by: (find-LATEX "2026planar-has-1.tex")
% Based on: (find-LATEX "2017planar-has-defs.tex")

% «.2026defs-comprehensions»	(to "2026defs-comprehensions")
% «.picturedots»		(to "picturedots")


% «2026defs-comprehensions»  (to ".2026defs-comprehensions")
% (find-processsubfile-links "2026defs-comprehensions")
% (find-LATEX     "2026defs-comprehensions.tex")
%L processsubfile "2026defs-comprehensions.tex"   -- runs the "%L"s
\input             2026defs-comprehensions         % loads the defs
\pu


% «picturedots»  (to ".picturedots")
% New: (find-LATEX "2026defs-comprehensions.tex" "picturedots")
% Old: (find-LATEX "2017planar-has-defs.tex" "picturedots")