Well, I finally decided that the arrows are probably not > characters
at all, but just drawn graphics --- that would explain the lack of
aliasing, for instance. Easiest answer is copy and paste ;-) So here
are some efforts at replicating what we have. Comments?
regards, tom lane