Talk:Properties of Ordered Group/OG4

Combining OG3 with OG4
Although it's possible to use a different approach, proving OG3 and then applying it to $x^{-1}$ and swapping things around a few times, I think the combined approach is much more elegant in its symmetry, so I'm sticking with it. --Dfeuer (talk) 05:15, 7 January 2013 (UTC)

axiom template
That has numbers! Are such available for eqn too? --Dfeuer (talk) 10:45, 9 January 2013 (UTC)


 * You bet. Check Template:Eqn. --Lord_Farin (talk) 10:47, 9 January 2013 (UTC)


 * How'd you choose to use the axiom template here instead of eqn? --Dfeuer (talk) 10:56, 9 January 2013 (UTC)


 * Subconsciously. It's also a bit more work (but may yield better alignment between syntax and semantics) to use eqn because the lines have to be split in three. --Lord_Farin (talk) 11:00, 9 January 2013 (UTC)