W3C home > Mailing lists > Public > www-math@w3.org > March 2004

Re: VerticalLine vs. |

From: Michael Day <mikeday@yeslogic.com>
Date: Sat, 13 Mar 2004 10:10:22 +1100 (EST)
To: David Carlisle <davidc@nag.co.uk>
Cc: www-math@w3.org
Message-ID: <Pine.LNX.4.58.0403131008310.1788@lorien.yeslogic.com>

> 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?

Well, the definition for | is probably preferable, as it adds space which
is convenient for most uses such as:

	{ x | x > 3 }

With the other definition the line has no surrounding space and looks 
cramped and not visually distinct.

Best regards,


YesLogic Prince prints XML!
Received on Friday, 12 March 2004 18:13:41 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:27:35 UTC