From: Ben Harris <bjh21@bjh21.me.uk>
Date: Tue, 21 Nov 2017 11:28:15 +0000 (+0000)
Subject: Subset and superset symbols.
X-Git-Tag: bedstead-002.000~60
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~bjharris/git?a=commitdiff_plain;h=f26a79bb563068e9e9fce8fb546253ca3bdadaf0;p=bedstead.git

Subset and superset symbols.

The proper subset symbol is only slightly different from lower-case C,
but I think that's inevitable.
---

diff --git a/bedstead.c b/bedstead.c
index ed1da5c..ee94bd6 100644
--- a/bedstead.c
+++ b/bedstead.c
@@ -1091,6 +1091,10 @@ static struct glyph {
  {{000,037,000,037,000,037,000,000,000}, 0x2261, "equivalence" },
  {{003,014,020,014,003,030,007,000,000}, 0x2264, "lessequal" },
  {{030,006,001,006,030,003,034,000,000}, 0x2265, "greaterequal" },
+ {{000,017,020,020,020,017,000,000,000}, 0x2282, "propersubset" },
+ {{000,036,001,001,001,036,000,000,000}, 0x2283, "propersuperset" },
+ {{017,020,020,020,017,000,037,000,000}, 0x2286, "reflexsubset" },
+ {{036,001,001,001,036,000,037,000,000}, 0x2287, "reflexsuperset" },
  {{000,016,021,037,021,016,000,000,000}, 0x2296 }, /* circled minus (ESC) */
  {{000,016,021,025,021,016,000,000,000}, 0x2299 }, /* circled dot (SI) */
  {{000,037,021,037,021,037,000,000,000}, 0x229f }, /* squared minus (DLE) */