Re: VerticalLine vs. |

  One definition sets the surrounding space to thickmathspace while the
  other sets the space to 0. However, as both definitions are for the infix
  form of the operator, they conflict and it is not clear which one should
  be used.

That's a bug then, if an entity name expands to a character then the
system is not supposed to (and often cannot) distinguish them.

I am not sure which is the best definition to keep, suggestions?

David

________________________________________________________________________
This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________

Received on Friday, 12 March 2004 05:59:56 UTC