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'.

diff --git a/bedstead.c b/bedstead.c
index 72a477e3b9b00dca2c2a8cf6c35ed2e085a39aef..adf33addc3470c5db43881cf81f5e5fdc5b51160 100644 (file)
--- 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" },