From: Ben Harris Date: Sun, 7 Jun 2020 11:49:24 +0000 (+0100) Subject: Extra mathematical symbols where the correct design seems obvious X-Git-Tag: bedstead-002.002~16 X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~bjharris/git?a=commitdiff_plain;h=3d71e77636104bbff906aba2a4da08ddd9c8188c;p=bedstead.git Extra mathematical symbols where the correct design seems obvious --- diff --git a/bedstead.c b/bedstead.c index 0230b51..2302fe8 100644 --- 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 */