Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
% (find-LATEX "2021standalone.tex") % (defun c () (interactive) (find-LATEXsh "lualatex -record 2021standalone.tex" :end)) % (defun c () (interactive) (find-LATEXsh "pdflatex 2021standalone.tex" :end)) % (defun C () (interactive) (find-LATEXSH "lualatex 2021standalone.tex" "Success!!!")) % (defun D () (interactive) (find-pdf-page "~/LATEX/2021standalone.pdf")) % (defun d () (interactive) (find-pdftools-page "~/LATEX/2021standalone.pdf")) % (defun e () (interactive) (find-LATEX "2021standalone.tex")) % (defun u () (interactive) (find-latex-upload-links "2021standalone")) % (defun v () (interactive) (find-2a '(e) '(d))) % (defun cv () (interactive) (C) (ee-kill-this-buffer) (v) (g)) % (defun cv () (interactive) (c) (ee-kill-this-buffer) (v) (g)) % (defun cc () (interactive) (c) (ee-kill-this-buffer) (D)) % (defun d0 () (interactive) (find-ebuffer "2021standalone.pdf")) % (code-eec-LATEX "2021standalone") % (find-pdf-page "~/LATEX/2021standalone.pdf") % (find-sh0 "cp -v ~/LATEX/2021standalone.pdf /tmp/") % (find-sh0 "cp -v ~/LATEX/2021standalone.pdf /tmp/pen/") % file:///home/edrx/LATEX/2021standalone.pdf % file:///tmp/2021standalone.pdf % file:///tmp/pen/2021standalone.pdf % http://angg.twu.net/LATEX/2021standalone.pdf % (find-LATEX "2019.mk") % (find-lualatex-links "2021standalone.tex") \documentclass[varwidth=true]{standalone} % \usepackage{proof} % For derivation trees ("%:" lines) \input diagxy % For 2D diagrams ("%D" lines) \xyoption{curve} % For the ".curve=" feature in 2D diagrams % \begin{document} \catcode`\^^J=10 \directlua{dofile "dednat6load.lua"} % (find-LATEX "dednat6load.lua") \def\catA{\mathbf{A}} \def\catB{\mathbf{B}} %D diagram adj %D 2Dx 100 +25 +25 +25 %D 2D 100 LA <--| A %D 2D | | %D 2D | <-> | %D 2D v v %D 2D +25 B |--> RB C --> D %D 2D %D 2D +15 \catB \catA %D 2D %D (( LA A <-| %D LA B -> A RB -> %D B RB |-> %D LA RB harrownodes nil 20 nil <-> %D \catB \catA <- sl^ .plabel= a L %D \catB \catA -> sl_ .plabel= b R %D %D C D -> .curve= ^10pt .plabel= a a %D C D -> .curve= _10pt .plabel= b b %D )) %D enddiagram %D $$\pu \diag{adj} $$ \GenericWarning{Success:}{Success!!!} % Used by `M-x cv' \end{document} * (eepitch-shell) * (eepitch-kill) * (eepitch-shell) lualatex 2021standalone.tex # (find-pdf-page "~/LATEX/2021standalone.pdf") # (find-pdftools-page "~/LATEX/2021standalone.pdf") # (find-es "ps" "mupdf") mutool info 2021standalone.pdf mutool info 2021standalone.pdf 1 mutool info -M 2021standalone.pdf 1 mutool info -M 2021standalone.pdf 1 | grep '\[ ' inkscape ~/LATEX/2021standalone.pdf % Local Variables: % coding: utf-8-unix % ee-tla: "NONE" % End: