Epsilon characters

[Dr . Jürgen Sauermann]

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