From: Ben Harris <bjh21@bjh21.me.uk>
Date: Sun, 5 May 2024 16:11:35 +0000 (+0100)
Subject: Make various circled operators bigger
X-Git-Tag: bedstead-002.005~15
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~bjharris/git?a=commitdiff_plain;h=fbc0bc5e6ef05b9a53e27a0f8b9f8f98219b24b4;p=bedstead.git

Make various circled operators bigger

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.
---

diff --git a/bedstead.c b/bedstead.c
index 0c28ad2..66d429f 100644
--- a/bedstead.c
+++ b/bedstead.c
@@ -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 */