|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
% (find-LATEX "2026velasco.tex")
% (defun c () (interactive) (find-LATEXsh "lualatex -record 2026velasco.tex" :end))
% (defun C () (interactive) (find-LATEXsh "lualatex 2026velasco.tex" "Success!!!"))
% (defun D () (interactive) (find-pdf-page "~/LATEX/2026velasco.pdf"))
% (defun d () (interactive) (find-pdftools-page "~/LATEX/2026velasco.pdf"))
% (defun e () (interactive) (find-LATEX "2026velasco.tex"))
% (defun o () (interactive) (find-LATEX "2026velasco.tex"))
% (defun u () (interactive) (find-latex-upload-links "2026velasco"))
% (defun v () (interactive) (find-2a '(e) '(d)))
% (defun d0 () (interactive) (find-ebuffer "2026velasco.pdf"))
% (defun cv () (interactive) (C) (ee-kill-this-buffer) (v) (g))
% (defun oe () (interactive) (find-2a '(o) '(e)))
% (code-eec-LATEX "2026velasco")
% (find-pdf-page "~/LATEX/2026velasco.pdf")
% (find-sh0 "cp -v ~/LATEX/2026velasco.pdf /tmp/")
% (find-sh0 "cp -v ~/LATEX/2026velasco.pdf /tmp/pen/")
% (find-xournalpp "/tmp/2026velasco.pdf")
% file:///home/edrx/LATEX/2026velasco.pdf
% file:///tmp/2026velasco.pdf
% file:///tmp/pen/2026velasco.pdf
% http://anggtwu.net/LATEX/2026velasco.pdf
% https://anggtwu.net/LATEX/2026velasco.pdf
% (find-LATEX "2019.mk")
% (find-Deps1-links "Caepro5 Piecewise2 Maxima2")
% (find-Deps1-cps "Caepro5 Piecewise2 Maxima2 DiagForth1")
% (find-Deps1-anggs "Caepro5 Piecewise2 Maxima2")
% (find-MM-aula-links "2026velasco" "2" "vel2026" "vel")
% «.geometry» (to "geometry")
% «.edrx26a» (to "edrx26a")
% «.biber» (to "biber")
% «.edrx26b» (to "edrx26b")
% «.edrx26c» (to "edrx26c")
% «.footer» (to "footer")
% «.defs» (to "defs")
% «.defs-T-and-B» (to "defs-T-and-B")
%
% «.title» (to "title")
%
% ;-- defs
\documentclass[oneside,12pt]{article}
\usepackage[colorlinks,citecolor=DarkRed,urlcolor=DarkRed]{hyperref} % (find-es "tex" "hyperref")
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{pict2e}
\usepackage[x11names,svgnames]{xcolor} % (find-es "tex" "xcolor")
\usepackage{colorweb} % (find-es "tex" "colorweb")
\usepackage{stmaryrd} % (find-es "tex" "mapsto")
%\usepackage{tikz}
%
% (find-LATEX "dednat7-test1.tex")
%\usepackage{proof} % For derivation trees ("%:" lines)
%\usepackage{ebproof} % For derivation trees ("%:" lines)
%\input diagxy % For 2D diagrams ("%D" lines)
%\xyoption{curve} % For the ".curve=" feature in 2D diagrams
%
% «geometry» (to ".geometry")
% (find-es "tex" "geometry")
\usepackage[a6paper, landscape,
top=1.5cm, bottom=.25cm, left=1cm, right=1cm, includefoot
]{geometry}
%
%
% «edrx26a» (to ".edrx26a")
\usepackage{edrx26a} % (find-LATEX "edrx26a.sty")
\def\dednatjobname{2026velasco} % (find-es "overleaf" "jobname")
%
% «biber» (to ".biber")
%\usepackage[backend=biber,
% style=alphabetic]{biblatex} % (find-es "tex" "biber")
%\addbibresource{catsem-ab.bib} % (find-LATEX "catsem-ab.bib")
%\addbibresource{education.bib} % (find-LATEX "education.bib")
%
\begin{document}
% «edrx26b» (to ".edrx26b")
\input edrx26b.tex % (find-LATEX "edrx26b.tex")
% «edrx26c» (to ".edrx26c")
% (find-LATEX "edrx26c.tex")
%L processsubfile "edrx26c.tex" -- runs the "%L"s
\input edrx26c % loads the defs
\pu % runs the "%L"s
% (find-LATEX "edrx26c.tex" "caepro")
%L -- dofile "Caepro5.lua"
\pu
% «footer» (to ".footer")
% (find-LATEX "edrxheadfoot.tex")
\def\drafturl{https://anggtwu.net/math-b.html}
\def\drafturl{https://anggtwu.net/LATEX/2026-1-C2.pdf}
\def\drafturl{https://anggtwu.net/2026.1-C2.html}
\def\draftfooter{\tiny \href{\drafturl}{\dednatjobname{}} \ColorBrown{\shorttoday{} \hours}}
% «defs» (to ".defs")
% (find-LATEX "edrx21defs.tex" "colors")
% (find-LATEX "edrx21.sty")
% «defs-T-and-B» (to ".defs-T-and-B")
\long\def\ColorDarkOrange#1{{\color{orange!90!black}#1}}
\def\T(Total: #1 pts){{\bf(Total: #1)}}
\def\T(Total: #1 pts){{\bf(Total: #1 pts)}}
\def\T(Total: #1 pts){\ColorRed{\bf(Total: #1 pts)}}
\def\B (#1 pts){\ColorDarkOrange{\bf(#1 pts)}}
%L require "DiagForth1" -- (find-angg "LUA/DiagForth1.lua")
\pu
% ;-- title
% _____ _ _ _
% |_ _(_) |_| | ___ _ __ __ _ __ _ ___
% | | | | __| |/ _ \ | '_ \ / _` |/ _` |/ _ \
% | | | | |_| | __/ | |_) | (_| | (_| | __/
% |_| |_|\__|_|\___| | .__/ \__,_|\__, |\___|
% |_| |___/
%
% «title» (to ".title")
% (vel2026p 1 "title")
% (vel2026a "title")
\thispagestyle{empty}
\begin{center}
\vspace*{1.2cm}
{\bf \Large Notas sobre coisas}
{\bf \Large do Willian Velasco}
\bsk
Eduardo Ochs - RCN/PURO/UFF
Psicopata do CEFET
\url{https://anggtwu.net/math-b.html}
\end{center}
\newpage
\def\cn#1{\ga{cn#1}}
\sa{cn1}{1}
\sa{cn2}{2}
\sa{cn3}{3}
\sa{cn1}{\ColorRed {1}}
\sa{cn2}{\ColorOrange{2}}
\sa{cn3}{\ColorGreen {3}}
\sa{cn3}{\colorbox{green}{3}}
\sa{cn3}{\colorbox{green}{$\scriptstyle3$}}
\def\gat #1{\standout{#1:}\;\ga{#1}}
\def\und #1#2{\underbrace{#1}_{\textstyle#2}}
\def\tm #1#2{\cn#1\mot\cn#2}
\def\tms#1#2#3#4#5#6{\tm#1#2 \\ \tm#3#4 \\ \tm#5#6}
\sa {g u} {(\cn1\;\cn2)}
\sa {h u} {(\cn2\;\cn3)}
\sa {g d} {\sm{\tms 21 33 12}}
\sa {h d} {\sm{\tms 11 32 23}}
\sa {gh dd} {\sm{\tms 21 32 13}}
\sa {gh ddd} {(\cn1\;\cn2\;\cn3)}
\sa {a} {\cn1}
\sa {ha d} {\cn1}
\sa {gha d} {\cn2}
\sa {g ud} {\und{\ga{g u}}{\ga{g d}}}
\sa {h ud} {\und{\ga{h u}}{\ga{h d}}}
\sa {a ud} {\und{\ga{a u}}{\ga{a d}}}
\sa {ha ud} {\und{\ga{h ud}·\ga{a}}{\ga{ha d}}}
\sa {gha ud} {\und{\ga{g ud}·\ga{ha ud}}{\ga{gha d}}}
\sa {gh ud} {\ga{g ud}·\ga{h ud}}
\sa {gh udd} {\und {\ga{gh ud}} {\ga{gh dd}}}
\sa {gh uddd} {\und {\ga{gh udd}} {\ga{gh ddd}}}
\sa {gh 1} {{
\sa {a} {\cn1}
\sa {ha d} {\cn1}
\sa {gha d} {\cn2}
\ga {gha ud}
}}
\sa {gh 2} {{
\sa {a} {\cn2}
\sa {ha d} {\cn3}
\sa {gha d} {\cn3}
\ga {gha ud}
}}
\sa {gh 3} {{
\sa {a} {\cn3}
\sa {ha d} {\cn2}
\sa {gha d} {\cn1}
\ga {gha ud}
}}
\sa {gh 123} {{
\sa {a} {\bsm{\cn1\\\cn2\\\cn3}}
\sa {ha d} {\bsm{\cn1\\\cn3\\\cn2}}
\sa {gha d} {\bsm{\cn2\\\cn3\\\cn1}}
\ga {gha ud}
}}
{\bf Composition and two actions}
\scalebox{0.6}{\def\colwidth{9cm}\firstcol{
$$\ga{gh uddd}
\qquad
\qquad
\begin{array}[t]{c}
\ga{gh 1}\\\\
\ga{gh 2}\\\\
\ga{gh 3}\\
\end{array}
\qquad
\qquad
\ga{gh 123}
$$
}\anothercol{
}}
\GenericWarning{Success:}{Success!!!} % Used by `M-x cv'
\end{document}
% (find-pdfpages2-links "~/LATEX/" "2026velasco")
% Local Variables:
% coding: utf-8-unix
% outline-regexp: "% +;--"
% ee-tla: "vel"
% ee-tla: "vel2026"
% End: