From 03d61e1e9c69e5d60f1fd417099fa20c2086453c Mon Sep 17 00:00:00 2001
From: utensil <utensilcandel@gmail.com>
Date: Sat, 27 Apr 2024 22:11:25 +0800
Subject: [PATCH] Renamings and some explanations

---
 trees/latex-preamble.tree               | 10 ++++++++++
 trees/spin-0001.tree                    | 13 +++++++++++++
 trees/{uts-0004.tree => spin-0002.tree} |  0
 trees/{uts-0005.tree => spin-0003.tree} |  0
 trees/uts-0001.tree                     |  6 ++++--
 trees/uts-0002.tree                     | 14 ++++++--------
 trees/uts-0003.tree                     |  9 ---------
 7 files changed, 33 insertions(+), 19 deletions(-)
 create mode 100644 trees/spin-0001.tree
 rename trees/{uts-0004.tree => spin-0002.tree} (100%)
 rename trees/{uts-0005.tree => spin-0003.tree} (100%)
 delete mode 100644 trees/uts-0003.tree

diff --git a/trees/latex-preamble.tree b/trees/latex-preamble.tree
index f8eec09..8c3c845 100644
--- a/trees/latex-preamble.tree
+++ b/trees/latex-preamble.tree
@@ -1,3 +1,13 @@
+\title{LaTeX preambles}
+
+\p{This tree defines}
+
+\ol{
+    \li{\code{\startverb\latex-preamble/common\stopverb}}
+}
+
+\p{They are used by [[base-macros]].}
+
 \def\latex-preamble/common{
  \startverb
 % because LaTeX is running in `build` directory
diff --git a/trees/spin-0001.tree b/trees/spin-0001.tree
new file mode 100644
index 0000000..4e55731
--- /dev/null
+++ b/trees/spin-0001.tree
@@ -0,0 +1,13 @@
+\title{a survey of Spin groups}
+
+\author{utensil}
+
+\date{2024-04-26}
+
+\p{This survey is built on my notes in the process of figuring out Eric Wiesser's MathOverflow question [Definition of a spin group](https://mathoverflow.net/questions/427881/definition-of-a-spin-group) for [our PR to Mathlib4 about Spin groups](https://github.com/leanprover-community/mathlib4/pull/9111/).}
+
+\p{This is also my first [[uts-0002]].}
+
+\transclude{spin-0002}
+
+\transclude{spin-0003}
diff --git a/trees/uts-0004.tree b/trees/spin-0002.tree
similarity index 100%
rename from trees/uts-0004.tree
rename to trees/spin-0002.tree
diff --git a/trees/uts-0005.tree b/trees/spin-0003.tree
similarity index 100%
rename from trees/uts-0005.tree
rename to trees/spin-0003.tree
diff --git a/trees/uts-0001.tree b/trees/uts-0001.tree
index 23ceced..341e10b 100644
--- a/trees/uts-0001.tree
+++ b/trees/uts-0001.tree
@@ -1,7 +1,9 @@
-\title{Home}
+\title{home}
 
 \author{utensil}
 
 \date{2024-04-24}
 
-\p{Testing, see [Spin groups](uts-0002) for some math.}
+\p{[Experimenting](uts-0002), see [[spin-0001]] for some math.}
+
+\p{To search, press \code{Ctrl+K} or \code{Cmd+K}.}
diff --git a/trees/uts-0002.tree b/trees/uts-0002.tree
index aeb2cc5..29710a6 100644
--- a/trees/uts-0002.tree
+++ b/trees/uts-0002.tree
@@ -1,13 +1,11 @@
-\title{A survey of Spin groups}
+\title{Forester experiment}
 
-\author{utensil}
+\date{2024-04-27}
 
-\date{2024-04-26}
+\p{I'm experimenting using [Forester](https://www.jonmsterling.com/jms-005P.xml) for building [forests of evergreen notes](https://www.jonmsterling.com/tfmt-000V.xml) like [Notes on duploid theory](https://www.jonmsterling.com/jms-0047.xml).}
 
-\p{This survey is built on my notes in the process of figuring out Eric Wiesser's MathOverflow question [Definition of a spin group](https://mathoverflow.net/questions/427881/definition-of-a-spin-group) for [our PR to Mathlib4 about Spin groups](https://github.com/leanprover-community/mathlib4/pull/9111/).}
+\p{I wish to use it to organize many definitions, proofs and discussions about the same mathematical concepts/topics. This is a spiritual successor to my "Many faces of Clifford algebras" writeup.}
 
-\p{This is also my first [Forester experiment](uts-0003).}
+\p{My hope is to find these notes easier to reuse and refer to in blogs, papers, blueprints etc.}
 
-\transclude{uts-0004}
-
-\transclude{uts-0005}
+\p{See [The Forester markup language](https://www.jonmsterling.com/jms-007N.xml) for Markup references, also consult [Forester changlog](https://www.jonmsterling.com/jms-005P.xml) for updates.}
diff --git a/trees/uts-0003.tree b/trees/uts-0003.tree
deleted file mode 100644
index d2b131e..0000000
--- a/trees/uts-0003.tree
+++ /dev/null
@@ -1,9 +0,0 @@
-\title{A Forester experiment}
-
-\date{2024-04-27}
-
-\p{I'm experimenting using [Forester](https://www.jonmsterling.com/jms-005P.xml) for building [forests of evergreen notes](https://www.jonmsterling.com/tfmt-000V.xml) like [Notes on duploid theory](https://www.jonmsterling.com/jms-0047.xml).}
-
-\p{I wish to use it to organize many definitions, proofs and discussions about the same mathematical concepts/topics. This is a spiritual successor to my "Many faces of Clifford algebras" writeup.}
-
-\p{My hope is to find these notes easier to reuse and refer to in blogs, papers, blueprints etc.}