Something or other, whatever!

Christian Lawson-Perfect's homepage

Line-by-line derivation

A thing for writing out line-by-line mathematical derivations more conveniently than just TeX allows