Add edit

trees/base-macros.tree

@@ -31,7 +31,13 @@ so the text size almost matches the size output by native forester code. This do
 }
 
 % From: https://git.sr.ht/~jonsterling/public-trees/tree/main/item/base-macros.tree
-\def\citek[uid]{\let\escape[x]{\x}[\escape{[\uid]}](\uid)}
+\p{\code{citek[uid]}: Refer to a reference entry with brackets.}
+
+\def\citek[uid]{
+  \let\escape[x]{\x}
+
+  [\escape{[\uid]}](\uid)
+}
 
 \p{\code{texdef[name][reference][body]}: Making a \code{minitex} definition with a reference.}
 
@@ -57,6 +63,14 @@ so the text size almost matches the size output by native forester code. This do
   \taxon{reference}
 }
 
+
+\p{\code{edit[treeid]}: Making a reference to a nLab article.}
+
+\def\edit[treeid]{
+  \let\escape[x]{\x}
+  [\escape{Edit}](https://github.com/utensil/forest/blob/main/trees/\treeid.tree)
+}
+
 \p{\code{fold[treeid]}: Making [transcludes](https://www.jonmsterling.com/jms-007L.xml) collapse. (Not working yet)}
 
 \def\fold[body]{

trees/spin-0001.tree

@@ -2,13 +2,16 @@
 
 \taxon{Article}
 
+\import{base-macros}
+
 \meta{venue}{Clifford Algebra}
+\meta{source}{ \edit{spin-0001} }
 
 \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 survey is built on my notes in the process of figuring out [[ericwieser]]'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]].}