On 13.12.2007, at 17:11, James McCartney wrote:
This is because |// is a binary operator as is |/* (And neither is easy to type on an iPhone.)
but now you can cut'n paste them out of this your email :-) till.