From 358b55e93834e1f07ccc5d360e4af1d52ec1ace5 Mon Sep 17 00:00:00 2001
From: Doctor Dan <8849311+DoctorDan1986@users.noreply.github.com>
Date: Sun, 11 Oct 2026 16:05:03 -0400
Subject: [PATCH] Add native NAND, NOR and XNOR symbols to TXF3

Add \uparrow (U+2191), \downarrow (U+2193), and \odot (U+2299)
in custom slots 0xC5-0xC7. Keep existing glyphs unchanged,
regenerate both Latin Modern fonts, and add parser, spacing, tests
and documentation.
---
 LATEX_COMMANDS_SUPPORTED.md |   3 +++
 assets/TeXFonts.8xv         | Bin 8795 -> 8887 bytes
 assets/TeXScrpt.8xv         | Bin 5907 -> 5949 bytes
 include/texfont.h           |   8 +++++++-
 src/tex/tex_measure.c       |   3 +++
 src/tex/tex_symbols.c       |   3 +++
 tests/test_measure.c        |   5 ++++-
 tests/test_symbols.c        |   3 +++
 tools/process_fonts.py      |   5 ++++-
 9 files changed, 27 insertions(+), 3 deletions(-)

diff --git a/LATEX_COMMANDS_SUPPORTED.md b/LATEX_COMMANDS_SUPPORTED.md
index c679d26..cdf531f 100644
--- a/LATEX_COMMANDS_SUPPORTED.md
+++ b/LATEX_COMMANDS_SUPPORTED.md
@@ -93,6 +93,7 @@
 - \\cup
 - \\degree
 - \\delta
+- \\downarrow
 - \\div
 - \\ell
 - \\emptyset
@@ -132,6 +133,7 @@
 - \\neq
 - \\notin
 - \\nu
+- \\odot
 - \\omega
 - \\omicron
 - \\oplus
@@ -163,6 +165,7 @@
 - \\times
 - \\to
 - \\top
+- \\uparrow
 - \\upsilon
 - \\vee
 - \\wedge
diff --git a/assets/TeXFonts.8xv b/assets/TeXFonts.8xv
index 656f2f7ac5cb3d52cc3a41ea0278d2728faef4de..64417cf62e915ff4b1062a3a0d3e144e072e9a97 100644
GIT binary patch
delta 682
zcma)(y>Ami5XEQr&bza_=d*zXqukfpN|AyF5UwdqBqBOeq)0*IhA2=FBpPBP(IiL+
z7inm4AQTi7U<u0jKR`%OAw&Tc9Uw;pBw%(A_vo5;@BL=pobG++)%p8pXEs|^SZ~cP
zcUKm#UER12{q@$`^9ya6+(-~(m_Rs~if2g_MQ{LObX)#ly*Kn~2vFaW$QU*Oc_cN?
zVfu7hjl6RyC5BBHZlu~p9CutqQ~G6EjUB8$q!OJF-&3Us<``vh8J)?Db3k0o>U9_C
zo0*^D>R~S{>v5cESI_0gtQxtCQRU@9Vj<U>B8Ht@`FhdKO$p!0l@oz{oY(wn^*S#P
z!h;eHM5FL9!*+ov;SegFLP~diuu}A-^j5b(<t({LnRo6IU87d{l!S3(`-MU(gWz2u
zDh>`m5nLl7eitZxbktTtzdEyV?DmMZ)yj!*(f+Gnwy5+Ua@MTuNezcg+_GhBxNT8L
zMrAuzR5bmj@R3!1zVc!^KeopB)o-WKXNvrZKdmf35u5bK*e?*KS&!%07lm8R#%zOq
zg^0IijvXhV`!IyjJ#(tQ%KO21Zf|#qo%_FMcWG`f81p_{0WlaNELcDb;_^vuPjC|R
SfMoK)kbu#C@<8w>tA7DGe~Y&O

delta 565
zcmXw0zfTlF6rS1Jo%d#DZ}*6YnC$G%+=hY%h=nF}CMv|j&KN^0v|6BvRtKSgija^%
zLP5~NN~7kY7FPDunBYG^sH8ZRXo7EMq5Jave98NA_s5;h8{N8YvypoA!Q!LYr%#?O
zvE`9E|9I~v3|_%0-@3)?{_`SDH5)RyU8Gv`A%jna_6%2tMLP}5Z|~tlj@OLxQiL;x
zBuc4y)6TqEt{6ZM#Ey}Y%n^PtStETn+A~c2G@Xu@lqo|hlDGS1Gmi_U^79d_mhCj7
zYJ68V2Z@7HDUvuImom%?S?R_+QArP4FjwWFS}s-1LAYB5b4z?}%p8v@L||tuIj#Ww
z^{szZA0SZDqVyEh_JWzVh&ipoeFECY9$Set##%3}NW3{-BXdqbytW8I`fQUpRDZKs
z=9|TlRnmj_gnGi(AKFsq#N-b8px7A~J=d(pQw{}i8k=z<QS29sXPpfB<e|IBFF373
z^@~esouqK$o`YuNt)q|ezf8P$oot++NSy4AjgIkCmcHqAuUsXdmf1cVZ0PHqL1A`9
H)Sdee2Ih4c

diff --git a/assets/TeXScrpt.8xv b/assets/TeXScrpt.8xv
index 598e0682b46ed0a27972ec29c2e0d2c8020d278a..ae43b2e0f6d88ed1f71d9940af8bb495039b9a7b 100644
GIT binary patch
delta 632
zcmXv~F-ROi6#X+he`a=<m<u~I<~T4HBp?=Aomh&J!a`6Ih@?nkLLilfbV1g;Rt*Pf
z(r6)CiG^Gt77}c21UoAUqzyqXfs;dU{@iXe^X9+z-+RpWiL;4z!-(NW&~^6phvio*
zpI5)YM%UdQ&rhk^N+vOZ9z?4pSkGdu;SNNnsd_Bm&a{8_K<*G=J;0+($9}@pPg2t4
zvY6nnOa%(NSxf*Fnm8e`tQtfDV$?|Kw-`>A)SOX@#A3;$DQVQllKPsPK|F4nV9jyI
z#F`r8aY2dm!9K%FBdIGFHv@{{Un7+d<9Kh9lu~78Lo+5{*h1W}A%fvcD<wi7q6Hhe
z0)Jz3#4vj2IqHa?JQpTw7G>(oVk@Zq+E$_AKdgw9|H5e3Qwja$VM(3XC?X$zW|M?`
z#D!IZ)T`3@+KUzS_-!#qLgG)!{VPG=3PBm1yP|dCie^uo*1@_~P-4`fZ|@x^3yqj^
zv105V#I#G(D%>huca_H#_z(Kj4Gj@cGZMx+-_mD#Ttu@6&ozgQx<AUhwKu|nwX09-
Ue1<n$i@c7>e&;BAAMv+q4~Rp2?EnA(

delta 565
zcmXw!JxBvF9L1Bn{FB^8Yat&{90VP7v6H$9-NaGq&{b<!5!=0rgOeXn#8roan@ABs
za1xQaiGxxXH*t~<f~5#1xx4N0|Gm8Ta#w5>kLOj-jH0g5tF=nGy1msvJ6-d5wY<PO
z=d6!gB|O=zO3pd@MYQe&{zb4Sd1Nn`oyaJ;w9^aRNahiAW#j~6?=p&=nSM(EC&)lj
zYI87vN>M>E=FDVT3E@0!F+(d&mDIzU^3eg*Rm5ZKhW!+g)8svdwxVupK&}&n;XzSm
z%K~^&v2d;QOZjD(4l}dRz5>IzrWDW+g;UyZMZv6Y0{GLMWo{#sEc2Ho4OG~%Q1Nd2
zY(4b^o0^0S4N%yyD7J#^X6QhNq00$cI*wfqInyj@y~vU;t(mzUw;Gz@6uHmXQzo7@
zA+95Mvu;1=BSW9|Lq58nA~LXBxl06-tS2KTVi^A+k~2aSP@h5B<j3;p2k|45%Q?YH
S6wP!F#RTuX%8fAS)&2pi6LYEn

diff --git a/include/texfont.h b/include/texfont.h
index ca1d722..79a2f0c 100644
--- a/include/texfont.h
+++ b/include/texfont.h
@@ -5,7 +5,7 @@
  * Mapped to the "TeXFonts.8xv" and "TeXScrpt.8xv" TXF3 fonts
  * Range 0x01-0x10: Lower math symbols.
  * Range 0x20-0x7E: Standard printable ASCII. 0x7F: visible DEL label
- * Range 0x80-0xC4: Custom math symbols.
+ * Range 0x80-0xC7: Custom math symbols.
  *
  * Generated by tools/process_fonts.py from GUST-licensed Latin Modern sources.
  */
@@ -213,5 +213,11 @@
 #define TEXFONT_BOTTOM_CHAR '\303'
 #define TEXFONT_SUPSET "\304"
 #define TEXFONT_SUPSET_CHAR '\304'
+#define TEXFONT_ARROW_UP "\305"
+#define TEXFONT_ARROW_UP_CHAR '\305'
+#define TEXFONT_ARROW_DOWN "\306"
+#define TEXFONT_ARROW_DOWN_CHAR '\306'
+#define TEXFONT_O_DOT "\307"
+#define TEXFONT_O_DOT_CHAR '\307'
 
 #endif /* TEXFONT_H */
diff --git a/src/tex/tex_measure.c b/src/tex/tex_measure.c
index ce8bc77..1b3e083 100644
--- a/src/tex/tex_measure.c
+++ b/src/tex/tex_measure.c
@@ -37,6 +37,9 @@ static TexAtom atom_class(UnifiedPool* pool, const Node* node)
 	case (uint8_t)TEXFONT_DIVIDE_CHAR:
 	case (uint8_t)TEXFONT_LOGICAL_AND_CHAR:
 	case (uint8_t)TEXFONT_LOGICAL_OR_CHAR:
+	case (uint8_t)TEXFONT_ARROW_UP_CHAR:
+	case (uint8_t)TEXFONT_ARROW_DOWN_CHAR:
+	case (uint8_t)TEXFONT_O_DOT_CHAR:
 		return TEX_ATOM_BIN;
 	case '=':
 	case '<':
diff --git a/src/tex/tex_symbols.c b/src/tex/tex_symbols.c
index 988ab58..ae06720 100644
--- a/src/tex/tex_symbols.c
+++ b/src/tex/tex_symbols.c
@@ -64,6 +64,7 @@ static const MapEnt g_map[] = {
 	{ "dim", SYMC_FUNC_DIM, SYM_FUNC },
 	{ "div", GL(TEXFONT_DIVIDE_CHAR), SYM_GLYPH },
 	{ "dot", SYMC_ACC_DOT, SYM_ACCENT },
+	{ "downarrow", GL(TEXFONT_ARROW_DOWN_CHAR), SYM_GLYPH },
 	{ "ell", GL(TEXFONT_ELL_CHAR), SYM_GLYPH },
 	{ "emptyset", GL(TEXFONT_EMPTY_SET_CHAR), SYM_GLYPH },
 	{ "end", SYMC_END, SYM_STRUCT },
@@ -120,6 +121,7 @@ static const MapEnt g_map[] = {
 	{ "neq", GL(TEXFONT_NOT_EQUAL_CHAR), SYM_GLYPH },
 	{ "notin", GL(TEXFONT_NOT_IN_CHAR), SYM_GLYPH },
 	{ "nu", GL(TEXFONT_nu_CHAR), SYM_GLYPH },
+	{ "odot", GL(TEXFONT_O_DOT_CHAR), SYM_GLYPH },
 	{ "oiiint", SYMC_MULTI_OINT_3, SYM_MULTIOP },
 	{ "oiint", SYMC_MULTI_OINT_2, SYM_MULTIOP },
 	{ "oint", SYMC_MULTI_OINT_1, SYM_MULTIOP },
@@ -171,6 +173,7 @@ static const MapEnt g_map[] = {
 	{ "top", GL(TEXFONT_TOP_CHAR), SYM_GLYPH },
 	{ "underbrace", SYMC_UNDERBRACE, SYM_STRUCT },
 	{ "underline", SYMC_ACC_UNDERLINE, SYM_ACCENT },
+	{ "uparrow", GL(TEXFONT_ARROW_UP_CHAR), SYM_GLYPH },
 	{ "upsilon", GL(TEXFONT_upsilon_CHAR), SYM_GLYPH },
 	{ "vec", SYMC_ACC_VEC, SYM_ACCENT },
 	{ "vee", GL(TEXFONT_LOGICAL_OR_CHAR), SYM_GLYPH },
diff --git a/tests/test_measure.c b/tests/test_measure.c
index 1ab9491..50f7bd5 100644
--- a/tests/test_measure.c
+++ b/tests/test_measure.c
@@ -300,6 +300,9 @@ static void test_math_spacing(void)
 		{ "p\\Rightarrow q", 3, {0, 1, 1} },
 		{ "p\\Leftrightarrow q", 3, {0, 1, 1} },
 		{ "p\\supset q", 3, {0, 1, 1} },
+		{ "p\\uparrow q", 3, {0, 1, 1} },
+		{ "p\\downarrow q", 3, {0, 1, 1} },
+		{ "p\\odot q", 3, {0, 1, 1} },
 		{ "p\\top q", 3, {0, 0, 0} },
 		{ "p\\bot q", 3, {0, 0, 0} },
 		{ "p\\perp q", 3, {0, 1, 1} }
@@ -334,7 +337,7 @@ static void test_math_spacing(void)
 
 	pool_reset(&pool);
 	TeX_Layout layout = {0};
-	NodeRef ref = tex_parse_math("x_{p\\wedge q\\vee\\lnot r\\implies\\top\\iff\\bot\\supset s}", -1, &pool, &layout, false);
+	NodeRef ref = tex_parse_math("x_{p\\wedge q\\vee\\lnot r\\implies\\top\\iff\\bot\\supset s\\uparrow t\\downarrow u\\odot v}", -1, &pool, &layout, false);
 	CHECK(ref != NODE_NULL);
 	CHECK(tex_get_last_error(&layout) == TEX_OK);
 	tex_measure_range(&pool, 0, (NodeRef)pool.node_count);
diff --git a/tests/test_symbols.c b/tests/test_symbols.c
index 04562d6..4b60c11 100644
--- a/tests/test_symbols.c
+++ b/tests/test_symbols.c
@@ -45,6 +45,9 @@ int main(void)
 	check_sym("langle", SYM_GLYPH, TEXFONT_LANGLE_CHAR);
 	check_sym("rangle", SYM_GLYPH, TEXFONT_RANGLE_CHAR);
 	check_sym("supset", SYM_GLYPH, TEXFONT_SUPSET_CHAR);
+	check_sym("uparrow", SYM_GLYPH, TEXFONT_ARROW_UP_CHAR);
+	check_sym("downarrow", SYM_GLYPH, TEXFONT_ARROW_DOWN_CHAR);
+	check_sym("odot", SYM_GLYPH, TEXFONT_O_DOT_CHAR);
 
 	// Structural
 	SymbolDesc d;
diff --git a/tools/process_fonts.py b/tools/process_fonts.py
index 1c9ad57..b57449b 100755
--- a/tools/process_fonts.py
+++ b/tools/process_fonts.py
@@ -87,7 +87,7 @@
     0x2295,  # ⊕ Circled plus (oplus)
 ]
 
-# The Master Symbol List (0x80 - 0xC4).
+# The Master Symbol List (0x80 - 0xC7).
 SYMBOLS = [
     # Greek Lower
     0x03B1, 0x03B2, 0x03B3, 0x03B4, 0x03B5, 0x03B6, 0x03B7, 0x03B8,
@@ -110,6 +110,9 @@
     # Boolean logic
     0x2227, 0x2228, 0x00AC, 0x21D2, 0x21D4, 0x22A4, 0x22A5,
     0x2283,  # Superset / material-implication horseshoe (\supset)
+    0x2191,  # Up arrow / NAND (\uparrow)
+    0x2193,  # Down arrow / NOR (\downarrow)
+    0x2299,  # Circled dot / XNOR (\odot)
 ]