chiark / gitweb /
Make various circled operators bigger
authorBen Harris <bjh21@bjh21.me.uk>
Sun, 5 May 2024 16:11:35 +0000 (17:11 +0100)
committerBen Harris <bjh21@bjh21.me.uk>
Sun, 5 May 2024 16:11:35 +0000 (17:11 +0100)
It was very hard to tell apart U+2295 CIRCLED PLUS and U+233E APL
FUNCTIONAL SYMBOL CIRCLE JOT.  Making the circles the size of an
upper-case 'O' has helped with that.  I've enlarged U+2296 CIRCLED
MINUS and U+2299 CIRCLED DOT OPERATOR to match.  I've left U+25CB
WHITE CIRCLE alone because it probably wants to be distinct from
upper-case 'O' and it doesn't have anything in it.

bedstead.c

index 0c28ad2e3217c5c26fbdfe915ea561ab1b98d0c9..66d429fd6df767f138fe15a65aff0ec84d59355b 100644 (file)
@@ -1417,9 +1417,9 @@ static struct glyph {
  {{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}, 0x2295, "circleplus" },
- {{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) */
+ {{016,025,025,037,025,025,016,000,000}, 0x2295, "circleplus" },
+ {{016,021,021,037,021,021,016,000,000}, U(2296) }, /* circled minus (ESC) */
+ {{016,021,021,025,021,021,016,000,000}, U(2299) }, /* circled dot (SI) */
  {{000,037,025,037,025,037,000,000,000}, U(229E) }, /* squared plus */
  {{000,037,021,037,021,037,000,000,000}, U(229F) }, /* squared minus (DLE) */
  {{000,037,021,025,021,037,000,000,000}, U(22A1) }, /* squared dot */
@@ -1473,7 +1473,7 @@ static struct glyph {
  {{037,025,033,021,033,025,037,000,000}, U(233A) }, /* APL quad diamond */
  {{037,021,025,033,025,021,037,000,000}, U(233B) }, /* APL quad jot */
  {{004,016,025,025,025,016,004,000,000}, U(233D) }, /* APL circle stile */
- {{000,016,025,033,025,016,000,000,000}, U(233E) }, /* APL circle jot */
+ {{016,021,025,033,025,021,016,000,000}, U(233E) }, /* APL circle jot */
  {{000,001,012,004,012,020,000,000,000}, U(233F) }, /* APL slash bar */
  {{000,020,012,004,012,001,000,000,000}, U(2340) }, /* APL backslash bar */
  {{037,021,023,025,031,021,037,000,000}, U(2341) }, /* APL quad slash */