25 Feb
2012
25 Feb
'12
4:29 p.m.
On Fri, Feb 24, 2012 at 10:19:20AM +0100, Hans Hagen wrote:
some symbols have multiple usage and we can support that.
BTW, what can always use \mathbin{}, \mathrel{} etc. to override the default spacing if needed, so we should just choose a sensible default. Regards, Khaled