diff --git a/trees/base-macros.tree b/trees/base-macros.tree index eacc084..e8f5c92 100644 --- a/trees/base-macros.tree +++ b/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]{ diff --git a/trees/spin-0001.tree b/trees/spin-0001.tree index 551c8c4..5863c55 100644 --- a/trees/spin-0001.tree +++ b/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]].}