mirror/bedstead
1
0
Fork 1
mirror of https://bjh21.me.uk/bedstead/.git synced 2026-07-10 14:03:06 -04:00
Code Issues Packages Projects Releases Wiki Activity

Universal and existential quantifiers

Browse Source
This commit is contained in:
Ben Harris 2023-02-19 17:45:54 +00:00
parent f4d70be7c8
commit 948828e8b3
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
bedstead.c
View File

@ -1334,7 +1334,9 @@ static struct glyph {
{{004,012,021,033,016,012,016,000,000}, U(21EA) }, /* caps lock arrow */
/* Mathematical operators */
{{021,021,037,021,012,012,004,000,000}, 0x2200, "universal" },
{{016,021,001,017,021,021,016,000,000}, 0x2202, "partialdiff" },
{{037,001,001,017,001,001,037,000,000}, 0x2203, "existential" },
{{004,004,012,012,021,021,037,000,000}, 0x2206, "Delta" },
{{037,021,021,012,012,004,004,000,000}, 0x2207, "gradient" },
{{017,020,020,037,020,020,017,000,000}, 0x2208, "element" },