From d0a41fa60121a51aaa998b5264c11f48112bf576 Mon Sep 17 00:00:00 2001
From: Dan <dan@Mac.kosherdomain>
Date: Sun, 11 Oct 2026 06:01:51 -0400
Subject: [PATCH] Add \supset (U+2283) to TXF3 math symbols

---
 LATEX_COMMANDS_SUPPORTED.md |   1 +
 README.md                   |   2 +-
 assets/TeXFonts.8xv         | Bin 8770 -> 8795 bytes
 assets/TeXScrpt.8xv         | Bin 5894 -> 5907 bytes
 include/texfont.h           |   4 +++-
 src/tex/tex_measure.c       |   1 +
 src/tex/tex_symbols.c       |   1 +
 tests/test_measure.c        |   3 ++-
 tests/test_symbols.c        |   1 +
 tools/process_fonts.py      |   3 ++-
 10 files changed, 12 insertions(+), 4 deletions(-)

diff --git a/LATEX_COMMANDS_SUPPORTED.md b/LATEX_COMMANDS_SUPPORTED.md
index 216a0eb..c679d26 100644
--- a/LATEX_COMMANDS_SUPPORTED.md
+++ b/LATEX_COMMANDS_SUPPORTED.md
@@ -156,6 +156,7 @@
 - \\subset
 - \\subseteq
 - \\sum
+- \\supset
 - \\tau
 - \\therefore
 - \\theta
diff --git a/README.md b/README.md
index 686c932..2eaad63 100644
--- a/README.md
+++ b/README.md
@@ -247,7 +247,7 @@ Highlights:
 - **Greek**: `\alpha` through `\omega`, `\Gamma` through `\Omega`
 - **Big operators**: `\int`, `\sum`, `\prod` with limits, plus `\iint`, `\iiint`, `\oint` variants
 - **Functions**: `\sin`, `\cos`, `\lim`, `\log`, `\exp`, `\det`, `\gcd`, and many more
-- **Boolean logic**: `\land` / `\wedge`, `\lor` / `\vee`, `\neg` / `\lnot`, `\Rightarrow` / `\implies`, `\Leftrightarrow` / `\iff`, `\top`, and `\bot`
+- **Boolean logic**: `\land` / `\wedge`, `\lor` / `\vee`, `\neg` / `\lnot`, `\Rightarrow` / `\implies`, `\Leftrightarrow` / `\iff`, `\supset` (horseshoe/superset), `\top`, and `\bot`
 - **Accents**: `\hat`, `\bar`, `\vec`, `\dot`, `\tilde`, `\overline`, `\underline`
 - **Decorations**: `\overbrace{...}^{label}`, `\underbrace{...}_{label}`
 - **Delimiters**: `\left( ... \right)` with auto-sizing for `()`, `[]`, `\{\}`, `||`, `\langle\rangle`, `\lfloor\rfloor`, `\lceil\rceil`
diff --git a/assets/TeXFonts.8xv b/assets/TeXFonts.8xv
index 9b3ba4cd4244bb73c98aac89e6e72a9835fdfd02..656f2f7ac5cb3d52cc3a41ea0278d2728faef4de 100644
GIT binary patch
delta 598
zcmXw0y=xRf6o0dKJM-Sm-tHadjJmTsbBl$AAC*OFLjr=Gh=`pL#6pWGXmu9^wXjH~
zkix<uh$t$DHdb0&E5v^wq|)MyK|$Zl#%B2O`+P8;7QZd7pB^?%4+hQf{MCy~H*efp
zg~^~Pnzv_<E4o}}T8mwf(=|0n#sIg=EHf|zdR%74h#9DNr3sACU&>w<ncd(KGl7S!
z4pM>(mL*Q<OSYE>Gp$*L0mvtoh|LMUv3V<fwI(nizuSI4NZM90m5k|3)z0HerNexp
z?p3`k=W2XawFk-1mDVf?+^#6jOR7z4K2}oz9kpB+v6@!v_8{D-qq!qLv}S=@HKKw&
zNVjXH!u6f;A4ZWPhZHE)xP9i7Lo9ezonv4^?204gG3eZNG7aYL12z{7<THmVO7C6T
zjnyAro`+_+<unD*-Qk|N^^3RkUuKH2S4zX4kRt}sbkd_#g2xuTOf~$3?vkgNPcQiW
z{E9awR^RzAJ!C1K_|&U*<E7^x6Td;e_Wk^**daVInjg-KACPU1<_;WWpeHbWWRCO?
bUw;m84PYG-0N*|Y^8Sm-bhF%$$=vck1A}<o

delta 566
zcmXw0y-OTH6rb6Td2eR+_D;N0VRvU{C6ySfq!bd76xv!y5RxVkQfQI1dS_vgLJ^b*
zq7YKq%GD;E|A1Io1hlZT(&7#!h0e^H?#J)*!TURVI=lV4#m8&pzHBXgT70*%{Ov30
z+?Rv$cy1E9>o64TyrHtalqHEIeZp6>L`vExaF9vIP;rvg63<*Z5A9QY%!HEyG`W>*
zO1#Z$sWbD>IiLe<E$7^t1Ki8gO8T8k#}IarHyTb7Vc}B&pJ*4=JkA%w%?I$Ms3obb
z#@(Vih;<7gtVHpw;C`On7P2ze6?Y(nDOLB?{Jp9U!gb}%A^WAgnPN{N0(l_unF4Uv
zhu5kN;Hg`M+)=>wGc%$Q>vk1hSs-0(PII(lB>bpZ?99=!HP<a*-!+1l4s{&)>LZ<|
zu9@|;;0{FRw#RQ>Y2@P3G6M~55afX}G}UU<GRT11F=JRP$bdvI4fpwY+C1myjg-Fn
z!+&YTO8&$R1J%Zku^*%V2>W3g=?i+pv009`M(G_%Hp}Mlhy|iUev<B%9BXv{Wcw^Q
Gnt1|_40c@r

diff --git a/assets/TeXScrpt.8xv b/assets/TeXScrpt.8xv
index da1487e04acf3adf8dd7bda465c0794a562eb6d0..598e0682b46ed0a27972ec29c2e0d2c8020d278a 100644
GIT binary patch
delta 585
zcmXw!Pbh>z7{=e3Z{B&oKP;M=ujJ_9#EGMFlcQGJE6Y`~?z>Wyh>~0#D7i?Rl&hq5
zlZ&{x$w_-q)~3wN_kFjg=l9I>KC?A;ICe0hU(;S_rDkrqQm(G8u0x}hK3vU=QZ%n3
zBK8ZSxj_TG4p3EL7{U+8niK2?a8rembr>C~D09wo2X7R4ge?_00raM#*oEbnLUclO
zl$5rIA?h3rY9bdFBRWZ3h9+}Vm$N!Mj|<vYbFAqojBOgXb0m(l_YBXpbX&Q&&Je?U
zEy*6^_^ji^U6r5OFJrP>gcIXWFdQ;cB6J}bHhwGc`lwaj8n?`C#HqrWHYgK27Arn&
zpDpGYzG6f`(1BpxqSy+tQJ_5&1g?i4nmBgN;>1vP^}J}lv|(~PZtK=^O57Ffu@Fy2
z2zP_O*tDPcUZ4;AAz$6jk?7d1p=-o6`;X{JBVz0iL@7;@L1+_})Be7G_=a#lEtQ<0
bDcRgjbl7`w01aqx&}`=vnkQ;0;IGU75Fd6O

delta 565
zcmXwzKS%>H7{!xZz9e_2wVLEWCpTRzg19(!5J4QR;#$<YiWCQzR)-=EB6KOZIf>9g
z3L;WBaS>gd6en>kf`f1({z-Co+vC08_rBLGGzv%4>OSg6-AI?#R~A>dHmj)Kjjqn;
zCwOO<50YjPhqYxXgg`N36)SLzU|R~`IGFECKXF>A180)E2)fd@0`Ujw2Nq_p62J=D
zlZ=@j3~?6qDb6iSM^qSEhEJ;WYPP15_fS%<nm|SQA}}=Uq!B$x?lH6!vs(#0O(G1J
zigELdz^w{G`<1;Yw+yrQ4F1jFoMsHrH}WFwwjwgBYXHs~Gnw58QzmoHj0P5(v9RE1
zbGDQ+q^zmO(HHVIOcWSFt65ano@aYVLkEHFp-s(`ug6*QiGjJ@(biA{tLR0RU1#D(
zQ)+*ZJ43rck6HArg>cnxX+(QwtFVo6%FsXUbBuow#ZedzqYn;qQGOtgK9Sgqayct_
Sk)iR<VK^i@ZMo)=r}96l-E#;4

diff --git a/include/texfont.h b/include/texfont.h
index 0de5442..ca1d722 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-0xC3: Custom math symbols.
+ * Range 0x80-0xC4: Custom math symbols.
  *
  * Generated by tools/process_fonts.py from GUST-licensed Latin Modern sources.
  */
@@ -211,5 +211,7 @@
 #define TEXFONT_TOP_CHAR '\302'
 #define TEXFONT_BOTTOM "\303"
 #define TEXFONT_BOTTOM_CHAR '\303'
+#define TEXFONT_SUPSET "\304"
+#define TEXFONT_SUPSET_CHAR '\304'
 
 #endif /* TEXFONT_H */
diff --git a/src/tex/tex_measure.c b/src/tex/tex_measure.c
index 0acea22..ce8bc77 100644
--- a/src/tex/tex_measure.c
+++ b/src/tex/tex_measure.c
@@ -58,6 +58,7 @@ static TexAtom atom_class(UnifiedPool* pool, const Node* node)
 	case (uint8_t)TEXFONT_ARROW_LEFT_CHAR:
 	case (uint8_t)TEXFONT_ELEMENT_OF_CHAR:
 	case (uint8_t)TEXFONT_SUBSET_OF_CHAR:
+	case (uint8_t)TEXFONT_SUPSET_CHAR:
 	case (uint8_t)TEXFONT_IMPLIES_CHAR:
 	case (uint8_t)TEXFONT_IFF_CHAR:
 		return TEX_ATOM_REL;
diff --git a/src/tex/tex_symbols.c b/src/tex/tex_symbols.c
index aee0fef..988ab58 100644
--- a/src/tex/tex_symbols.c
+++ b/src/tex/tex_symbols.c
@@ -157,6 +157,7 @@ static const MapEnt g_map[] = {
 	{ "subseteq", GL(TEXFONT_SUBSET_EQ_CHAR), SYM_GLYPH },
 	{ "sum", GL(TEXFONT_SUMMATION_CHAR), SYM_GLYPH },
 	{ "sup", SYMC_FUNC_SUP, SYM_FUNC },
+	{ "supset", GL(TEXFONT_SUPSET_CHAR), SYM_GLYPH },
 	{ "tan", SYMC_FUNC_TAN, SYM_FUNC },
 	{ "tanh", SYMC_FUNC_TANH, SYM_FUNC },
 	{ "tau", GL(TEXFONT_tau_CHAR), SYM_GLYPH },
diff --git a/tests/test_measure.c b/tests/test_measure.c
index 4310c40..1ab9491 100644
--- a/tests/test_measure.c
+++ b/tests/test_measure.c
@@ -299,6 +299,7 @@ static void test_math_spacing(void)
 		{ "\\neg p", 2, {0, 0} },
 		{ "p\\Rightarrow q", 3, {0, 1, 1} },
 		{ "p\\Leftrightarrow q", 3, {0, 1, 1} },
+		{ "p\\supset 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} }
@@ -333,7 +334,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}", -1, &pool, &layout, false);
+	NodeRef ref = tex_parse_math("x_{p\\wedge q\\vee\\lnot r\\implies\\top\\iff\\bot\\supset s}", -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 7fc3c0c..04562d6 100644
--- a/tests/test_symbols.c
+++ b/tests/test_symbols.c
@@ -44,6 +44,7 @@ int main(void)
 	check_sym("gets", SYM_GLYPH, TEXFONT_ARROW_LEFT_CHAR);
 	check_sym("langle", SYM_GLYPH, TEXFONT_LANGLE_CHAR);
 	check_sym("rangle", SYM_GLYPH, TEXFONT_RANGLE_CHAR);
+	check_sym("supset", SYM_GLYPH, TEXFONT_SUPSET_CHAR);
 
 	// Structural
 	SymbolDesc d;
diff --git a/tools/process_fonts.py b/tools/process_fonts.py
index 1b91368..1c9ad57 100755
--- a/tools/process_fonts.py
+++ b/tools/process_fonts.py
@@ -87,7 +87,7 @@
     0x2295,  # ⊕ Circled plus (oplus)
 ]
 
-# The Master Symbol List (0x80 - 0xC3()
+# The Master Symbol List (0x80 - 0xC4).
 SYMBOLS = [
     # Greek Lower
     0x03B1, 0x03B2, 0x03B3, 0x03B4, 0x03B5, 0x03B6, 0x03B7, 0x03B8,
@@ -109,6 +109,7 @@
     0x221A,
     # Boolean logic
     0x2227, 0x2228, 0x00AC, 0x21D2, 0x21D4, 0x22A4, 0x22A5,
+    0x2283,  # Superset / material-implication horseshoe (\supset)
 ]