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