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