Warning: this is an htmlized version!
The original is here, and
the conversion rules are here. 
% This file:
%   https://anggtwu.net/LATEX/2026-defs.tex.html
%   https://anggtwu.net/LATEX/2026-defs.tex
%           (find-angg "LATEX/2026-defs.tex")
% Author: Eduardo Ochs <eduardoochs@gmail.com>
%
% Usage:
%
%   % (find-LATEX     "2026defs")
%   %L processsubfile "2026defs"  -- runs the "%L"s
%   \input             2026defs   % loads the defs



% (defun defs () (interactive) (find-angg "LATEX/2026-defs.tex"))

% (find-LATEX "2026logica-para-pessoas.tex" "defs")
% «.dednat7»		(to "dednat7")
%   «.caepro»		(to "caepro")
%   «.pict2e»		(to "pict2e")
%   «.V»		(to "V")
%   «.maxima»		(to "maxima")
% «.co»			(to "co")
% «.tictactoe»		(to "tictactoe")



% «dednat7»  (to ".dednat7")

% «caepro»  (to ".caepro")
%L dofile "Caepro5.lua"              -- (find-angg "LUA/Caepro5.lua" "LaTeX")
\def\Caurl   #1{\expr{Caurl("#1")}}
\def\Cahref#1#2{\href{\Caurl{#1}}{#2}}
\def\Ca      #1{\Cahref{#1}{#1}}

% «pict2e»  (to ".pict2e")
%L dofile "Piecewise2.lua"           -- (find-LATEX "Piecewise2.lua")
%L --dofile "Escadas1.lua"           -- (find-LATEX "Escadas1.lua")
\def\pictgridstyle{\color{GrayPale}\linethickness{0.3pt}}
\def\pictaxesstyle{\linethickness{0.5pt}}
\def\pictnaxesstyle{\color{GrayPale}\linethickness{0.5pt}}
\celllower=2.5pt

% «V»  (to ".V")
%L --- See: (find-angg "LUA/MiniV1.lua" "problem-with-V")
%L V = MiniV
%L v = V.fromab
\pu

% «maxima»  (to ".maxima")
%L dofile "Maxima3.lua"              -- (find-angg "LUA/Maxima3.lua")
\pu




% «defs-toc»  (to ".defs-toc")
% (find-es "tex" "hyperref-hyperlink")
\def\linktopage  #1#2{\hyperlink{page.#1}{#2}}
\def\mytocslide#1#2#3{\par\linktopage{#1}{#3} \dotfill \; \linktopage{#3}{#3}}

% «defs-toclines»  (to ".defs-toclines")
% (c2m242introp 2 "defs-toclines")
% (c2m242introa   "defs-toclines")
% (c2m241introp 2 "defs-toclines")
% (c2m241introa   "defs-toclines")
%L dofile "TocLines2.lua"   -- (find-angg "LUA/TocLines2.lua" "dednat6")
%L toclines = TocLines.new(status.filename)
%L TocLines.fmts["slide"]   = "\\toclineslidetex  {<body>}{<page>}\n"
%L TocLines.fmts["slident"] = "\\toclineslidenttex{<body>}{<page>}\n"
\pu
\input 2024-2-defs-toc.tex   %  (find-angg "LATEX/2024-2-defs-toc.tex")
% \def\SLIDE#1{{\bf #1}}


% «defs-comprehensions»  (to ".defs-comprehensions")
% (find-LATEX     "2026defs-comprehensions.tex")
\input             2026defs-comprehensions.tex   % loads the defs
%L processsubfile "2026defs-comprehensions.tex"  -- runs the "%L"s
\pu
\def\vbtc#1{\myvcenter{\vbt{#1}}}

% «co»  (to ".co")
% From: (find-LATEX "2022on-the-missing.tex" "defs")
% \co: a low-level way to typeset code; a poor man's "\verb"
\def\co#1{{%
  \def\%{\char37}%
  \def\\{\char92}%
  \def\^{\char94}%
  \def\~{\char126}%
  \tt#1%
  }}
\def\qco#1{`\co{#1}'}
\def\qqco#1{``\co{#1}''}



% «tictactoe»  (to ".tictactoe")
% (find-LATEX "2025-1-C2-S-defs.tex" "tictactoe")
\sa{tictactoe-.}{\phantom{\textsf{X}}}
\sa{tictactoe-x}{\textsf{X}}
\sa{tictactoe-o}{\textsf{O}}
\sa{tictactoe-X}{\ColorRed{\textsf{X}}}
\sa{tictactoe-O}{\ColorRed{\textsf{O}}}
\def\tictactoe#1#2#3#4#5#6#7#8#9{
  \ensuremath{
    \setlength{\arraycolsep}{2pt}
    \begin{array}[c]{c|c|c}
      \ga{tictactoe-#1} & \ga{tictactoe-#2} & \ga{tictactoe-#3} \\\hline
      \ga{tictactoe-#4} & \ga{tictactoe-#5} & \ga{tictactoe-#6} \\\hline
      \ga{tictactoe-#7} & \ga{tictactoe-#8} & \ga{tictactoe-#9} \\
    \end{array}
 }}


\def\Rq{\ColorRed{?}}




% (find-LATEX "2025-1-C2-S-defs.tex" "Aipim")
%\input 2025-1-C2-S-defs.tex   % (find-LATEX "2025-1-C2-S-defs.tex")

%L dofile "Pygments1.lua"    -- (find-angg "LUA/Pygments1.lua")

% «defs-T1-T2-T3-T4»  (to ".defs-T1-T2-T3-T4")
% (find-LATEX     "2025T1-T2-T3-T4.tex")
%\input             2025T1-T2-T3-T4.tex   % loads the defs
%%L processsubfile "2025T1-T2-T3-T4.tex"  -- runs the "defpygvbt"s
\pu





% Local Variables:
% coding:  utf-8-unix
% End: