From 0f03141ebd7b3b170c1a89164a63667c7506dab6 Mon Sep 17 00:00:00 2001 From: Ben Harris Date: Sun, 2 Jun 2024 16:55:05 +0100 Subject: [PATCH] Redesigned U+2203 THERE EXISTS There seems to be a consensus that the three bars should be the same length, and that distinguishes the 'rtlm' version from a capital 'E'. --- bedstead.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bedstead.c b/bedstead.c index 72a477e..adf33ad 100644 --- a/bedstead.c +++ b/bedstead.c @@ -1346,8 +1346,8 @@ static struct glyph { {{021,021,037,021,012,012,004,000,000}, 0x2200, "universal" }, {{016,021,001,017,021,021,016,000,000}, 0x2202, "partialdiff" }, {{016,021,020,036,021,021,016,000,000}, 0xf100, "partialdiff.rtlm" }, - {{037,001,001,017,001,001,037,000,000}, 0x2203, "existential" }, - {{037,020,020,036,020,020,037,000,000}, 0xf101, "existential.rtlm" }, + {{037,001,001,037,001,001,037,000,000}, 0x2203, "existential" }, + {{037,020,020,037,020,020,037,000,000}, 0xf101, "existential.rtlm" }, {{000,015,022,025,011,026,000,000,000}, 0x2205, "emptyset" }, {{004,004,012,012,021,021,037,000,000}, 0x2206, "Delta" }, {{037,021,021,012,012,004,004,000,000}, 0x2207, "gradient" }, -- 2.30.2