define macros in yaml file

Author: ScriptRaccoon

CONTRIBUTING.md

@@ -181,7 +181,7 @@ As a practical guideline, avoid introducing more than four properties (or four c
 
 1. Use `\varnothing` to display the empty set, not `\emptyset`.
 2. Write `non-empty`, not `nonempty`. Same for `non-unital`, `non-expansive`, etc.
-3. For categories which are referenced multiple times, create a [LaTeX macro](/src/lib/server/macros.ts) for their notation.
+3. For LaTeX symbols that are used repeatedly, in particular category-theoretic notation, define a LaTeX macro in [macros.yaml](databases/catdat/data/macros.yaml).
 
 ### Responsible Use of AI
 

databases/catdat/data/macros.yaml

@@ -0,0 +1,102 @@
+# cspell:disable
+
+# blackboard bold letters
+\IN: \mathbb{N}
+\IZ: \mathbb{Z}
+\IQ: \mathbb{Q}
+\IR: \mathbb{R}
+\IC: \mathbb{C}
+\IF: \mathbb{F}
+\IB: \mathbb{B}
+\IA: \mathbb{A}
+\IP: \mathbb{P}
+
+# calligraphic letters
+\A: \mathcal{A}
+\B: \mathcal{B}
+\C: \mathcal{C}
+\D: \mathcal{D}
+\E: \mathcal{E}
+\F: \mathcal{F}
+\I: \mathcal{I}
+\J: \mathcal{J}
+\O: \mathcal{O}
+\S: \mathcal{S}
+
+# abbreviations
+\op: \mathrm{op}
+\c: \mathrm{c}
+\f: \mathrm{f}
+\fg: \mathrm{fg}
+\fp: \mathrm{fp}
+\ab: \mathrm{ab}
+\reg: \mathrm{reg}
+
+# operators
+\Mor: \operatorname{Mor}
+\Hom: \operatorname{Hom}
+\End: \operatorname{End}
+\Ob: \operatorname{Ob}
+\id: \operatorname{id}
+\card: \operatorname{card}
+\colim: \operatorname{colim}
+\im: \operatorname{im}
+\lcm: \operatorname{lcm}
+\Spec: \operatorname{Spec}
+\Sh: \operatorname{Sh}
+\ord: \operatorname{ord}
+\diag: \operatorname{diag}
+\Sub: \operatorname{Sub}
+\Quot: \operatorname{Quot}
+\supp: \operatorname{supp}
+\Coexp: \operatorname{Coexp}
+\inc: \operatorname{inc}
+
+# categories
+\Set: \mathbf{Set}
+\Rel: \mathbf{Rel}
+\Ab: \mathbf{Ab}
+\Grp: \mathbf{Grp}
+\Vect: \mathbf{Vect}
+\Ring: \mathbf{Ring}
+\Alg: \mathbf{Alg}
+\CRing: \mathbf{CRing}
+\CAlg: \mathbf{CAlg}
+\Rng: \mathbf{Rng}
+\Mon: \mathbf{Mon}
+\CMon: \mathbf{CMon}
+\Mod: \mathbf{Mod}
+\Fld: \mathbf{Fld}
+\FinAb: \mathbf{FinAb}
+\FinGrp: \mathbf{FinGrp}
+\FreeAb: \mathbf{FreeAb}
+\TorsFreeAb: \mathbf{TorsFreeAb}
+\TorsAb: \mathbf{TorsAb}
+\Cat: \mathbf{Cat}
+\Ban: \mathbf{Ban}
+\Meas: \mathbf{Meas}
+\Met: \mathbf{Met}
+\PMet: \mathbf{PMet}
+\Top: \mathbf{Top}
+\Haus: \mathbf{Haus}
+\sSet: \mathbf{sSet}
+\Man: \mathbf{Man}
+\LRS: \mathbf{LRS}
+\Sch: \mathbf{Sch}
+\Pos: \mathbf{Pos}
+\Prost: \mathbf{Prost}
+\FinOrd: \mathbf{FinOrd}
+\FinSet: \mathbf{FinSet}
+\FI: \mathbf{FI}
+\FS: \mathbf{FS}
+\Sp: \mathbf{Sp}
+\0: \mathbf{0}
+\1: \mathbf{1}
+\2: \mathbf{2}
+\On: \mathbf{On}
+\Idem: \mathbf{Idem}
+\Split: \mathbf{Split}
+\RS: \mathbf{RS}
+\CoAlg: \mathbf{CoAlg}
+\Cone: \mathbf{Cone}
+\SemiGrp: \mathbf{SemiGrp}

src/lib/server/macros.ts

@@ -1,103 +1,10 @@
-// cspell:disable
+import YAML from 'yaml'
+import path from 'node:path'
+import fs from 'node:fs'
 
-/**
- * Dictionary of LaTeX macros
- */
-export const MACROS = {
-	// blackboard bold letters
-	'\\IN': '\\mathbb{N}',
-	'\\IZ': '\\mathbb{Z}',
-	'\\IQ': '\\mathbb{Q}',
-	'\\IR': '\\mathbb{R}',
-	'\\IC': '\\mathbb{C}',
-	'\\IF': '\\mathbb{F}',
-	'\\IB': '\\mathbb{B}',
-	'\\IA': '\\mathbb{A}',
-	'\\IP': '\\mathbb{P}',
-	// calligraphic letters
-	'\\A': '\\mathcal{A}',
-	'\\B': '\\mathcal{B}',
-	'\\C': '\\mathcal{C}',
-	'\\D': '\\mathcal{D}',
-	'\\E': '\\mathcal{E}',
-	'\\F': '\\mathcal{F}',
-	'\\I': '\\mathcal{I}',
-	'\\J': '\\mathcal{J}',
-	'\\O': '\\mathcal{O}',
-	'\\S': '\\mathcal{S}',
-	// abbreviations
-	'\\op': '\\mathrm{op}',
-	'\\c': '\\mathrm{c}',
-	'\\f': '\\mathrm{f}',
-	'\\fg': '\\mathrm{fg}',
-	'\\fp': '\\mathrm{fp}',
-	'\\ab': '\\mathrm{ab}',
-	'\\reg': '\\mathrm{reg}',
-	// operators
-	'\\Mor': '\\operatorname{Mor}',
-	'\\Hom': '\\operatorname{Hom}',
-	'\\End': '\\operatorname{End}',
-	'\\Ob': '\\operatorname{Ob}',
-	'\\id': '\\operatorname{id}',
-	'\\card': '\\operatorname{card}',
-	'\\colim': '\\operatorname{colim}',
-	'\\im': '\\operatorname{im}',
-	'\\lcm': '\\operatorname{lcm}',
-	'\\Spec': '\\operatorname{Spec}',
-	'\\Sh': '\\operatorname{Sh}',
-	'\\ord': '\\operatorname{ord}',
-	'\\diag': '\\operatorname{diag}',
-	'\\Sub': '\\operatorname{Sub}',
-	'\\Quot': '\\operatorname{Quot}',
-	'\\supp': '\\operatorname{supp}',
-	'\\Coexp': '\\operatorname{Coexp}',
-	'\\inc': '\\operatorname{inc}',
-	// categories
-	'\\Set': '\\mathbf{Set}',
-	'\\Rel': '\\mathbf{Rel}',
-	'\\Ab': '\\mathbf{Ab}',
-	'\\Grp': '\\mathbf{Grp}',
-	'\\Vect': '\\mathbf{Vect}',
-	'\\Ring': '\\mathbf{Ring}',
-	'\\Alg': '\\mathbf{Alg}',
-	'\\CRing': '\\mathbf{CRing}',
-	'\\CAlg': '\\mathbf{CAlg}',
-	'\\Rng': '\\mathbf{Rng}',
-	'\\Mon': '\\mathbf{Mon}',
-	'\\CMon': '\\mathbf{CMon}',
-	'\\Mod': '\\mathbf{Mod}',
-	'\\Fld': '\\mathbf{Fld}',
-	'\\FinAb': '\\mathbf{FinAb}',
-	'\\FinGrp': '\\mathbf{FinGrp}',
-	'\\FreeAb': '\\mathbf{FreeAb}',
-	'\\TorsFreeAb': '\\mathbf{TorsFreeAb}',
-	'\\TorsAb': '\\mathbf{TorsAb}',
-	'\\Cat': '\\mathbf{Cat}',
-	'\\Ban': '\\mathbf{Ban}',
-	'\\Meas': '\\mathbf{Meas}',
-	'\\Met': '\\mathbf{Met}',
-	'\\PMet': '\\mathbf{PMet}',
-	'\\Top': '\\mathbf{Top}',
-	'\\Haus': '\\mathbf{Haus}',
-	'\\sSet': '\\mathbf{sSet}',
-	'\\Man': '\\mathbf{Man}',
-	'\\LRS': '\\mathbf{LRS}',
-	'\\Sch': '\\mathbf{Sch}',
-	'\\Pos': '\\mathbf{Pos}',
-	'\\Prost': '\\mathbf{Prost}',
-	'\\FinOrd': '\\mathbf{FinOrd}',
-	'\\FinSet': '\\mathbf{FinSet}',
-	'\\FI': '\\mathbf{FI}',
-	'\\FS': '\\mathbf{FS}',
-	'\\Sp': '\\mathbf{Sp}',
-	'\\0': '\\mathbf{0}',
-	'\\1': '\\mathbf{1}',
-	'\\2': '\\mathbf{2}',
-	'\\On': '\\mathbf{On}',
-	'\\Idem': '\\mathbf{Idem}',
-	'\\Split': '\\mathbf{Split}',
-	'\\RS': '\\mathbf{RS}',
-	'\\CoAlg': '\\mathbf{CoAlg}',
-	'\\Cone': '\\mathbf{Cone}',
-	'\\SemiGrp': '\\mathbf{SemiGrp}',
-}
+export const MACROS = YAML.parse(
+	fs.readFileSync(
+		path.join(process.cwd(), 'databases', 'catdat', 'data', 'macros.yaml'),
+		'utf8',
+	),
+) as Record<string, string>