Share good ideas and conversation.   Login, Join Us, or Take a Tour!
comment by lm
lm  ·  735 days ago  ·  link  ·    ·  parent  ·  post: An Axiomatic Approach to Algebra and Other Aspects of Life

Oooh, alignat looks nice! I'll keep that post in mind next time I write a proof (which will hopefully be soon--I've got a little side tangent that I've been working on here and there that I'd like to get online sometime soon). Thanks!