Template talk:Axiom

Rather than "m2" for a second column of formulaic content, I recommend "mm" so as to match up with the style of the other table-based templates (i.e. "eqn"). Thinks? --prime mover (talk) 22:15, 24 December 2012 (UTC)


 * If you feel strongly about it (I don't). The task arising is still quite small at this point, so you'd better get to it now, if ever. --Lord_Farin (talk) 22:16, 24 December 2012 (UTC)


 * Strongly enough. Sorry dude. Fixed the lattice page as well (still in sandbox). Any others? --prime mover (talk) 22:28, 24 December 2012 (UTC)


 * I changed the only other instance. --Lord_Farin (talk) 23:11, 24 December 2012 (UTC)

Revert
I changed $\exists -x$ to $\exists {-x}$. On what planet is the former preferred? --Dfeuer (talk) 15:13, 8 February 2013 (UTC)


 * Strange. I'd swear that yesterday these both rendered the same (as $\exists {-x}$ does now). --Lord_Farin (talk) 15:22, 8 February 2013 (UTC)


 * Without the pesky braces round the $-x$ the gaps are bigger and it looks better. --prime mover (talk) 23:03, 8 February 2013 (UTC)


 * $\exists - x$ looks like subtracting $x$ from $\exists$. What we actually want is $\exists \, {-x}$ as this more closely matches the subsequent expression. --Lord_Farin (talk) 23:06, 8 February 2013 (UTC)


 * It may look like subtracting $x$ from $\exists$ but as the latter is semantically meaningless it can't be. If we need to remove the ambiguity, then render it as $\exists \left({-x}\right)$ (which I think I prefer). --prime mover (talk) 23:10, 8 February 2013 (UTC)


 * Implemented. Simple and elegant solution. Case closed, onwards! to (more) important stuff. --Lord_Farin (talk) 23:12, 8 February 2013 (UTC)