Extra mathematical symbols where the correct design seems obvious

diff --git a/bedstead.c b/bedstead.c
index 0230b51ecc90b9afeb18c2aa3e3e7648cd195393..2302fe8475f31801a9a4891cbce01e62214ef24b 100644 (file)
--- a/bedstead.c
+++ b/bedstead.c
@@ -1288,10 +1288,14 @@ static struct glyph {
  {{010,025,002,000,037,000,037,000,000}, 0x2245, "congruent" },
  {{000,010,025,002,010,025,002,000,000}, 0x2248, "approxequal" },
  {{002,025,010,000,037,000,037,000,000}, U(224C) }, /* all equal to */
+ {{000,021,016,000,016,021,000,000,000}, U(224D) }, /* equivalent to */
+ {{000,004,033,000,033,004,000,000,000}, U(224E) }, /* geom equiv to */
+ {{000,004,033,000,037,000,000,000,000}, U(224F) }, /* difference between */
  {{004,000,037,000,037,000,000,000,000}, U(2250) }, /* approaches limit */
  {{004,000,037,000,037,000,004,000,000}, U(2251) }, /* geometrically equal */
  {{020,000,037,000,037,000,001,000,000}, U(2252) }, /* approx eq or image */
  {{001,000,037,000,037,000,020,000,000}, U(2253) }, /* image or approx eq */
+ {{016,021,000,037,000,037,000,000,000}, U(2258) }, /* corresponds to */
  {{032,025,025,000,037,000,037,000,000}, U(225E) }, /* measured by */
  {{000,002,037,004,037,010,000,000,000}, 0x2260, "notequal" },
  {{000,037,000,037,000,037,000,000,000}, 0x2261, "equivalence" },
@@ -1303,8 +1307,13 @@ static struct glyph {
  {{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,021,021,025,021,016,000,000,000}, U(228D) }, /* union with dot */
  {{000,037,020,020,020,037,000,000,000}, U(228F) }, /* square image of */
  {{000,037,001,001,001,037,000,000,000}, U(2290) }, /* square original of */
+ {{037,020,020,020,037,000,037,000,000}, U(2291) }, /* sq img or equal */
+ {{037,001,001,001,037,000,037,000,000}, U(2292) }, /* sq orig or eq */
+ {{000,037,021,021,021,021,000,000,000}, U(2293) }, /* square cap */
+ {{000,021,021,021,021,037,000,000,000}, U(2294) }, /* square cup */
  {{000,016,025,037,025,016,000,000,000}, U(2295) }, /* circled plus */
  {{000,016,021,037,021,016,000,000,000}, U(2296) }, /* circled minus (ESC) */
  {{000,016,021,025,021,016,000,000,000}, U(2299) }, /* circled dot (SI) */
@@ -1315,10 +1324,20 @@ static struct glyph {
  {{000,001,001,037,001,001,000,000,000}, U(22A3) }, /* left tack */
  {{000,037,004,004,004,004,000,000,000}, U(22A4) }, /* down tack */
  {{000,004,004,004,004,037,000,000,000}, U(22A5) }, /* up tack */
+ {{000,010,010,016,010,010,000,000,000}, U(22A6) }, /* assertion */
+ {{000,010,016,010,016,010,000,000,000}, U(22A7) }, /* models */
+ {{000,020,037,020,037,020,000,000,000}, U(22A8) }, /* true */
+ {{000,024,024,027,024,024,000,000,000}, U(22A9) }, /* forces */
+ {{000,024,027,024,027,024,000,000,000}, U(22AB) }, /* dbl v dbl rt tstile */
  {{016,021,021,021,021,021,021,021,021}, U(22C2) }, /* n-ary intersection */
  {{021,021,021,021,021,021,021,021,016}, U(22C3) }, /* n-ary union */
  {{000,004,012,021,012,004,000,000,000}, U(22C4) }, /* diamond operator */
+ {{000,020,010,004,012,021,000,000,000}, U(22CB) }, /* left semidirect prod */
+ {{000,001,002,004,012,021,000,000,000}, U(22CC) }, /* right semidirect prod */
  {{000,002,025,010,000,037,000,000,000}, U(22CD) }, /* reversed tilde equals */
+ {{004,004,016,025,025,025,025,000,000}, U(22D4) }, /* pitchfork */
+ {{007,030,003,014,020,014,003,000,000}, U(22DC) }, /* equal or less than */
+ {{034,003,030,006,001,006,030,000,000}, U(22DD) }, /* equal or greater than */
  {{000,004,000,004,000,004,000,000,000}, U(22EE) }, /* vertical ellipsis */
  {{000,000,000,025,000,000,000,000,000}, U(22EF) }, /* midline ellipsis */
  {{000,001,000,004,000,020,000,000,000}, U(22F0) }, /* /-diagonal ellipsis */
@@ -1653,6 +1672,10 @@ static struct glyph {
  {{000,004,022,017,022,004,000,000,000}, U(2708) }, /* airplane */
  {{000,000,001,002,024,010,000,000,000}, U(2713) }, /* tick (ACK) */
 
+ /* Miscellaneous mathematical symbols-A */
+ {{004,004,004,016,004,004,004,000,000}, U(27CA) }, /* vert bar horiz stroke */
+ {{000,025,025,025,025,016,000,000,000}, U(27D2) }, /* upward element of */
+
  /* Supplemental arrows-B */
  {{000,037,016,025,004,004,000,000,000}, U(2912) }, /* arrowupbar */
  {{000,004,004,025,016,037,000,000,000}, U(2913) }, /* arrowdownbar */
@@ -1681,7 +1704,62 @@ static struct glyph {
  {{025,025,025,025,025,025,025,000,000}, U(2980) }, /* triple vertical bar */
 
  /* Supplemental mathematical operators */
+ {{004,004,037,004,004,000,004,000,000}, U(2A25) }, /* plus dot */
+ {{000,000,000,037,000,004,000,000,000}, U(2A2A) }, /* minus dot */
+ {{000,020,000,037,000,001,000,000,000}, U(2A2B) }, /* minus falling dots */
+ {{000,001,000,037,000,020,000,000,000}, U(2A2C) }, /* minus rising dots */
+ {{004,021,012,004,012,021,000,000,000}, U(2A30) }, /* dot times */
+ {{000,016,021,025,021,021,000,000,000}, U(2A40) }, /* intersection with dot */
+ {{004,000,004,012,021,000,000,000,000}, U(2A51) }, /* dot and */
+ {{004,000,021,012,004,000,000,000,000}, U(2A52) }, /* dot or */
+ {{000,000,037,000,037,000,004,000,000}, U(2A66) }, /* equals dot */
+ {{004,000,037,000,037,000,037,000,000}, U(2A67) }, /* dot identical */
+ {{004,000,010,025,002,000,000,000,000}, U(2A6A) }, /* dot tilde */
+ {{000,001,010,025,002,020,000,000,000}, U(2A6B) }, /* tilde rising dots */
+ {{037,000,037,000,010,025,002,000,000}, U(2A73) }, /* equals tilde */
+ {{012,000,037,000,037,000,012,000,000}, U(2A77) }, /* equals with four dots */
+ {{004,033,000,037,000,037,000,000,000}, U(2AAE) }, /* bumpy equals */
+ {{000,017,020,024,020,017,000,000,000}, U(2ABD) }, /* subset with dot */
+ {{000,036,001,005,001,036,000,000,000}, U(2ABE) }, /* superset with dot */
+ {{017,020,017,000,004,016,004,000,000}, U(2ABF) }, /* subset plus */
+ {{036,001,036,000,004,016,004,000,000}, U(2AC0) }, /* superset plus */
+ {{017,020,017,000,012,004,012,000,000}, U(2AC1) }, /* subset times */
+ {{036,001,036,000,012,004,012,000,000}, U(2AC2) }, /* superset times */
+ {{004,000,017,020,017,000,037,000,000}, U(2AC3) }, /* dot subset or equal */
+ {{004,000,036,001,036,000,037,000,000}, U(2AC4) }, /* dot superset or equal */
+ {{017,020,017,000,037,000,037,000,000}, U(2AC5) }, /* subset equals */
+ {{036,001,036,000,037,000,037,000,000}, U(2AC6) }, /* superset equals */
+ {{017,020,017,000,010,025,002,000,000}, U(2AC7) }, /* subset tilde */
+ {{036,001,036,000,010,025,002,000,000}, U(2AC8) }, /* superset tilde */
+ {{000,017,021,021,021,017,000,000,000}, U(2ACF) }, /* closed subset */
+ {{000,036,021,021,021,036,000,000,000}, U(2AD0) }, /* closed superset */
+ {{017,021,021,021,017,000,037,000,000}, U(2AD1) }, /* closed subset or eq */
+ {{036,021,021,021,036,000,037,000,000}, U(2AD2) }, /* closed superset or eq */
+ {{017,020,017,000,036,001,036,000,000}, U(2AD3) }, /* subset superset */
+ {{036,001,036,000,017,020,017,000,000}, U(2AD4) }, /* superset subset */
+ {{017,020,017,000,017,020,017,000,000}, U(2AD5) }, /* subset subset */
+ {{036,001,036,000,036,001,036,000,000}, U(2AD6) }, /* superset superset */
+ {{000,016,025,025,025,025,000,000,000}, U(2AD9) }, /* downward element of */
+ {{016,004,016,025,025,025,025,000,000}, U(2ADA) }, /* tee top pitchfork */
+ {{004,016,025,025,025,025,004,000,000}, U(2ADB) }, /* transversal i'section */
+ {{000,002,002,016,002,002,000,000,000}, U(2ADE) }, /* short left tack */
+ {{000,000,037,004,004,000,000,000,000}, U(2ADF) }, /* short down tack */
+ {{000,000,004,004,037,000,000,000,000}, U(2AE0) }, /* short up tack */
+ {{020,037,020,037,020,037,020,000,000}, U(2AE1) }, /* triple rt turnstile */
+ {{000,005,005,035,005,005,000,000,000}, U(2AE2) }, /* dbl vert left tstile */
+ {{000,001,037,001,037,001,000,000,000}, U(2AE3) }, /* dbl left turnstile */
+ {{000,005,035,005,035,005,000,000,000}, U(2AE4) }, /* dbl v dbl left tstile */
+ {{000,024,024,037,024,024,000,000,000}, U(2AE5) },
+ {{000,037,000,037,004,004,000,000,000}, U(2AE6) }, /* short down tack o'bar */
+ {{000,004,004,037,000,037,000,000,000}, U(2AE7) }, /* short up tack u'bar */
+ {{004,004,037,000,037,004,004,000,000}, U(2AE8) }, /* short up down tacks */
+ {{000,037,012,012,012,012,000,000,000}, U(2AE9) }, /* dbl down tack */
+ {{000,012,012,012,012,037,000,000,000}, U(2AEA) }, /* dbl up tack */
+ {{000,037,001,037,001,001,000,000,000}, U(2AEB) }, /* dbl not sign */
+ {{000,037,020,037,020,020,000,000,000}, U(2AEC) }, /* dbl reversed not */
+ {{012,012,012,037,012,012,012,000,000}, U(2AF2) }, /* dbl v bar h stroke */
  {{025,025,025,025,025,025,025,000,000}, U(2AF4) }, /* triple v bar operator */
+ {{025,025,025,037,025,025,025,000,000}, U(2AF5) }, /* triple v bar h stroke */
  {{025,025,025,025,025,025,025,025,025}, U(2AFC) }, /* large triple vert bar */
 
  /* Miscellaneous symbols and arrows */