Less boilerplate code

trees/base-macros.tree

@@ -1,11 +1,14 @@
 \title{basic macros}
 
+\p{Here we define:}
+
 \import{latex-preamble}
 
 \alloc\base/tex-preamble
 
-% minitex: a macro for typesetting LaTeX code in a minipage, with the width of an A5 paper,
-% so the text size almost matches the size output by native forester code.
+\p{\code{minitex}: A macro for typesetting LaTeX code in a minipage, with the width of an A5 paper,
+so the text size almost matches the size output by native forester code. This doesn't work very well on mobile yet.}
+
 \def\minitex[body]{
  \scope{
   \put?\base/tex-preamble{
@@ -25,4 +28,22 @@
     \end{minipage}
   }
  }
+}
+
+\p{\code{texdef}: A macro for making a \code{minitex} definition with a reference.}
+
+\p{Usage:}
+
+\p{
+\startverb
+\texdef{name}{reference}{
+    definition body in LaTeX
+}
+\stopverb
+}
+
+\def\texdef[name][reference][body]{
+  \title{\name ([[\reference]])}
+  \taxon{definition}
+  \minitex{\body}
 }

trees/latex-preamble.tree

@@ -1,16 +1,14 @@
 \title{LaTeX preambles}
 
-\p{This tree defines}
+\p{Here we define:}
 
-\ol{
-    \li{\code{\startverb\latex-preamble/common\stopverb}}
-}
-
-\p{They are used by [[base-macros]].}
+\p{\code{latex-preamble/common}: Some common LaTeX preambles.}
 
 \def\latex-preamble/common{
  \startverb
 % because LaTeX is running in `build` directory
 \input{../trees/preamble}
  \stopverb
 }
+
+\p{They are used by [[base-macros]].}

trees/refs/lawson2016spin.tree

@@ -1,5 +1,5 @@
 \title{Spin Geometry}
-\date{2019-03-05}
+\date{2024-04-26}
 \taxon{reference}
 
 % \author{todo}

trees/refs/wiki-0001.tree

@@ -0,0 +1,5 @@
+\title{Clifford algebra (Wikipedia)}
+\date{2019-03-05}
+\taxon{reference}
+
+\p{See [Clifford algebra (Wikipedia)](https://en.wikipedia.org/wiki/Clifford_algebra).}

trees/spin-0002.tree

@@ -1,18 +1,11 @@
-\title{Spin group ([[lawson2016spin]])}
-\date{2024-04-27}
-
-\taxon{definition}
-
 \import{base-macros}
 
-\minitex{
-
+\texdef{Spin group}{lawson2016spin}{
 The Pin group of $(V, q)$ is the subgroup $\operatorname{Pin}(V, q)$ of $P(V, q)$ generated by the elements $v \in V$ with $q(v) = \pm 1$.
 
 The associated spin group of $(V, q)$ is then defined by
 
 $$
 \operatorname{Spin}(V, q)=\operatorname{Pin}(V, q) \cap \mathrm{Cl}^0(V, q)
 $$
-
 }

trees/spin-0003.tree

@@ -1,12 +1,5 @@
-\title{Spin group (The wikipedia page on Clifford Algebras)}
-\date{2024-04-27}
-
-\taxon{definition}
-
 \import{base-macros}
 
-\minitex{
-
-The pin group $\operatorname{Pin}_V(K)$ is the subgroup of the Lipschitz group $\Gamma$ of elements of spinor norm 1, and similarly the spin group $\operatorname{Spin}_V(K)$ is the subgroup of elements of Dickson invariant 0 in $\operatorname{Pin}_V(K)$.
-
-}
+\texdef{Spin group}{wiki-0001}{
+    The pin group $\operatorname{Pin}_V(K)$ is the subgroup of the Lipschitz group $\Gamma$ of elements of spinor norm 1, and similarly the spin group $\operatorname{Spin}_V(K)$ is the subgroup of elements of Dickson invariant 0 in $\operatorname{Pin}_V(K)$.
+}