chiark / gitweb /
Empty set symbol, since I can do a tolerable one
authorBen Harris <bjh21@bjh21.me.uk>
Sun, 5 May 2024 19:58:21 +0000 (20:58 +0100)
committerBen Harris <bjh21@bjh21.me.uk>
Sun, 5 May 2024 19:58:21 +0000 (20:58 +0100)
bedstead.c

index 3c8582856537d2a5e2d4f51de0d1eec572fee5f7..1e53158a9072316101b5151dd9b53f06def6703e 100644 (file)
@@ -1346,6 +1346,7 @@ 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" },
  {{037,001,001,017,001,001,037,000,000}, 0x2203, "existential" },
+ {{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" },
  {{017,020,020,037,020,020,017,000,000}, 0x2208, "element" },