Line-by-line derivation
A thing for writing out line-by-line mathematical derivations more conveniently than just TeX allows
Christian Lawson-Perfect's homepage
A thing for writing out line-by-line mathematical derivations more conveniently than just TeX allows