Tweak letters

trees/tt-0010.tree

@@ -12,12 +12,14 @@
 \p{The general idea is that we try to use visually distinct letters for different concepts.}
 
 \ol{
-  \li{We use \newvocab{upper case calligraphic letter}s #{\AA, \BB, \C, \D, \J} to denote \vocab{categories}, #{\C} and #{\D} are prefered in concepts about one or two categories, since #{\C} is the first letter of "category", #{\J} is used in concepts like \vocabk{diagram}{tt-0025}, and assumed to be \vocabk{small}{tt-000A}.
+  \li{We use \newvocab{uppercase calligraphic letter}s #{\AA, \BB, \C, \D, \J} to denote \vocab{categories}, #{\C} and #{\D} are prefered in concepts about one or two categories, since #{\C} is the first letter of "category", #{\J} is used in concepts like \vocabk{diagram}{tt-0025}, and assumed to be \vocabk{small}{tt-000A}.
   }
-  \li{We use \newvocab{upper case roman letter}s #{X, Y, Z, W, O, E} to denote \vocab{object}s in categories. Particularly, #{X, Y} usually mean objects in #{\C} and #{\D}, respectively, #{O} is used to denote any object, #{E} denotes the \vocabk{equalizer}{tt-000Q} object and #{\anyobj} denotes any object in \vocabk{limit}{tt-002A}-related concepts.}
-  \li{We use \newvocab{lower case roman letter}s #{f, g, h, k, l} and the lower case roman letter of the corresponding codomain or domain object to denote \vocab{arrow}s. Occationally, when two arrows are closely related, they are denoted by the same letter with different subscripts, e.g. #{g_1, g_2}. As special cases, we use #{\iota, p, i} to denote the inclusion, projection and injection arrows.}
-  \li{We use \newvocab{upper case roman letter}s #{F, G, H, K, L} to denote \vocab{functor}s.}
-  \li{We use \newvocab{lower Greek letter}s #{\alpha, \beta, \eta, \epsilon, \sigma} to denote \vocab{natural transformation}s.}
+  % \li{We use \newvocab{uppercase script letter}s #{\AA, \BB, \C, \D, \J} to denote \vocab{categories}, #{\C} and #{\D} are prefered in concepts about one or two categories, since #{\C} is the first letter of "category", #{\J} is used in concepts like \vocabk{diagram}{tt-0025}, and assumed to be \vocabk{small}{tt-000A}.
+  % }
+  \li{We use \newvocab{uppercase Roman letter}s #{X, Y, Z, W, O, E} to denote \vocab{object}s in categories. Particularly, #{X, Y} usually mean objects in #{\C} and #{\D}, respectively, #{O} is used to denote any object, #{E} denotes the \vocabk{equalizer}{tt-000Q} object and #{\anyobj} denotes any object in \vocabk{limit}{tt-002A}-related concepts.}
+  \li{We use \newvocab{lowercase Roman letter}s #{f, g, h, k, l} and sometimes the lowercase Roman letter of the corresponding codomain or domain object to denote \vocab{arrow}s. Occationally, when two arrows are closely related, they are denoted by the same letter with different subscripts, e.g. #{g_1, g_2}. As special cases, we use #{\iota, p, i} to denote the inclusion, projection and injection arrows.}
+  \li{We use \newvocab{uppercase Roman letter}s #{F, G, H, K, L} to denote \vocab{functor}s.}
+  \li{We use \newvocab{lowercase Greek letter}s #{\alpha, \beta, \eta, \epsilon, \sigma} to denote \vocab{natural transformation}s.}
 }
 
 

trees/tt-macros.tree

@@ -1,13 +1,22 @@
 \export{macros}
 \export{spin-macros}
 \tag{macro}
-
+% https://tug.org/FontCatalogue/ralphsmithsformalscript/
+% \def\AA{\mathscr{A}}
+% \def\BB{\mathscr{B}}
+% \def\C{\mathscr{C}}
+% \def\D{\mathscr{D}}
+% \def\E{\mathscr{E}}
+% \def\J{\mathscr{J}}
+
+% calligraphic
 \def\AA{{\cal A}}
 \def\BB{{\cal B}}
 \def\C{{\cal C}}
 \def\D{{\cal D}}
 \def\E{{\cal E}}
 \def\J{{\cal J}}
+
 \def\emptycat{\mathrm{0}}
 \def\termobj{\mathrm{1}}
 \def\initobj{\mathrm{0}}
@@ -31,15 +40,18 @@
 \def\monic{\rightarrowtail}
 \def\epic{\twoheadrightarrow}
 \def\iso{\cong}
-
 \def\emptyset{\varnothing}
+
 \def\Set{\mathbf{Set}}
-\def\Eq{\operatorname{Eq}}
-\def\Nat{\operatorname{Nat}}
 \def\Poset{\mathbf{Poset}}
 \def\Preord{\mathbf{Preord}}
 
+% \def\Set{\mathcal{Set}}
+% \def\Poset{\mathcal{Poset}}
+% \def\Preord{\mathcal{Preord}}
 
+\def\Eq{\operatorname{Eq}}
+\def\Nat{\operatorname{Nat}}
 
 % The following macros are adapted from https://www.jonmsterling.com/jms-00B8.xml