wip: xelatex

2026-02-22 19:01:12 -07:00
parent 651ed4f26c
commit b5a5721eed
4 changed files with 48 additions and 2 deletions
--- a/doerg/resources/net/deertopia/doerg/prelude.tex
+++ b/doerg/resources/net/deertopia/doerg/prelude.tex
@@ -141,6 +141,7 @@
 \newcommand{\definedto}{≔}
 \newcommand{\equivto}{\simeq}
 \newcommand{\homotopicto}{\sim}
+\newcommand{\homotopyto}{\sim}
 \newcommand{\naturalto}{\Rightarrow}
 \newcommand{\isoto}{\cong}
 \newcommand{\monicto}{\rightarrowtail}