Bengt Richter wrote:

> BTW, more OT, wouldn't '|' be more platform-neutral as the joining operator?

I, on the other hand, would certainly prefer U+01C1.

Reinhold
-- 
http://mail.python.org/mailman/listinfo/python-list

Reply via email to