chiark / gitweb /
Corrected glyph name for U+22C5 DOT OPERATOR
authorBen Harris <bjh21@bjh21.me.uk>
Sat, 11 May 2024 18:45:49 +0000 (19:45 +0100)
committerBen Harris <bjh21@bjh21.me.uk>
Sat, 11 May 2024 18:45:49 +0000 (19:45 +0100)
AGLFN says it should be "dotmath".  It wasn't in the last release, so
no backward-compatibility alias.

bedstead.c

index 1d4ce7f00e23edf687e636b833dc73e67f3a8532..7e9e47e5613902109a9e644a6e5f178402a97f8d 100644 (file)
@@ -1443,7 +1443,7 @@ static struct glyph {
  {{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,000,000,004,000,000,000,000,000}, U(22C5) }, /* dot operator */
+ {{000,000,000,004,000,000,000,000,000}, 0x22c5, "dotmath" },
  {{000,000,033,025,033,000,000,000,000}, U(22C8) }, /* bowtie */
  {{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 */