From 948828e8b367e12c8a1949dc0c2a9c24e36dc376 Mon Sep 17 00:00:00 2001
From: Ben Harris <bjh21@bjh21.me.uk>
Date: Sun, 19 Feb 2023 17:45:54 +0000
Subject: [PATCH] Universal and existential quantifiers

---
 bedstead.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/bedstead.c b/bedstead.c
index 690cd8e..e76ce04 100644
--- a/bedstead.c
+++ b/bedstead.c
@@ -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" },
-- 
2.30.2