Good ideas and conversation. No ads, no tracking. Login or Take a Tour!
lm · 2919 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!