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