Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |

% (find-LATEX "2020notes-on-notation.tex") % (defun c () (interactive) (find-LATEXsh "lualatex -record 2020notes-on-notation.tex" :end)) % (defun d () (interactive) (find-pdf-page "~/LATEX/2020notes-on-notation.pdf")) % (defun d () (interactive) (find-pdftools-page "~/LATEX/2020notes-on-notation.pdf")) % (defun e () (interactive) (find-LATEX "2020notes-on-notation.tex")) % (defun u () (interactive) (find-latex-upload-links "2020notes-on-notation")) % (defun v () (interactive) (find-2a '(e) '(d)) (g)) % (find-pdf-page "~/LATEX/2020notes-on-notation.pdf") % (find-sh0 "cp -v ~/LATEX/2020notes-on-notation.pdf /tmp/") % (find-sh0 "cp -v ~/LATEX/2020notes-on-notation.pdf /tmp/pen/") % file:///home/edrx/LATEX/2020notes-on-notation.pdf % file:///tmp/2020notes-on-notation.pdf % file:///tmp/pen/2020notes-on-notation.pdf % http://angg.twu.net/LATEX/2020notes-on-notation.pdf % (find-LATEX "2019.mk") \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{tikz} % % (find-dn6 "preamble6.lua" "preamble0") %\usepackage{proof} % For derivation trees ("%:" lines) %\input diagxy % For 2D diagrams ("%D" lines) %\xyoption{curve} % For the ".curve=" feature in 2D diagrams % \usepackage{edrx15} % (find-LATEX "edrx15.sty") \input edrxaccents.tex % (find-LATEX "edrxaccents.tex") \input edrxchars.tex % (find-LATEX "edrxchars.tex") \input edrxheadfoot.tex % (find-LATEX "edrxheadfoot.tex") \input edrxgac2.tex % (find-LATEX "edrxgac2.tex") % % (find-es "tex" "geometry") \begin{document} \catcode`\^^J=10 \directlua{dofile "dednat6load.lua"} % (find-LATEX "dednat6load.lua") In 2019 I submitted to a conference an extended abstract ([MDE]) that started with: \begin{quote} Imagine two category theorists, Aleks and Bob, who both think very visually and who have exactly the same background. One day Aleks discovers a theorem, $T_1$, and sends an e-mail, $E_1$, to Bob, stating and proving $T_1$ in a purely algebraic way; then Bob is able to reconstruct by himself Aleks's diagrams for $T_1$ exactly as Aleks has thought them. We say that Bob has reconstructed the {\it missing diagrams} in Aleks's e-mail. Now suppose that Carol has published a paper, $P_2$, with a theorem $T_2$. Aleks and Bob both read her paper independently, and both pretend that she thinks diagrammatically in the same way as them. They both ``reconstruct the missing diagrams'' in $P_2$ in the same way, even though Carol has never used those diagrams herself. \end{quote} After some time I realized that good techniques for reconstructing and drawing the ``missing diagrams'' in a text should 1) use exactly the same notation used in the rest of the text, 2) produce diagrams that are easy to formalize, in the sense that it should be possible to extract from them all the definitions, typings, and equations (given some hints, as discussed in [IDARCT]) [MDE]: \url{http://angg.twu.net/math-b.html#idarct} [IDARCT]: \url{http://angg.twu.net/math-b.html#missing-diagrams-elephant} \end{document} % __ __ _ % | \/ | __ _| | _____ % | |\/| |/ _` | |/ / _ \ % | | | | (_| | < __/ % |_| |_|\__,_|_|\_\___| % % <make>*(eepitch-shell)*(eepitch-kill)*(eepitch-shell) # (find-LATEXfile "2019planar-has-1.mk") make -f 2019.mk STEM=2020notes-on-notation veryclean make -f 2019.mk STEM=2020notes-on-notation pdf % Local Variables: % coding: utf-8-unix % ee-tla: "noo" % End: