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,

Michael

-- 
YesLogic Prince prints XML!
http://yeslogic.com
Received on Friday, 12 March 2004 18:13:41 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:12:56 GMT