I think you're doing the right thing, as the "official" symbol is ⍷ (U+2377 APL FUNCTIONAL SYMBOL EPSILON UNDERBAR).
I do agree that in some fonts, this symbol isn't rendered very well. I recently switched to using "Iosevka Fixed" for APL, and find it looks pretty good: I'm including a screenshot of the different symbols: [image: image.png] On Sat, 5 Feb 2022 at 19:28, Dr. Jürgen Sauermann <m...@juergen-sauermann.de> wrote: > Hi, > > I have changed some GNU APL output characters: > > U+2208 aka. ∈ is now U+03F5 aka. ϵ and > U+22F8 aka. ⋸ is now U+2377 aka. ⍷ > > When I started GNU APL, I used xterm and the characters had the size of > lowercase 'a'. These days (on non-xterms) the size has increased to more > than uppercase 'A' which looks rather odd. > > On input GNU APL accepts both so this change should do no harm. > > The ⍷ has become a little too small for my taste, so if anybody knows a > slightly larger Unicode then please let me know. > > *SVN 1521*. > > Best Regards, > Jürgen > >
