Did Knuth make the default LaTeX margins huge so that they'd be large enough to accommodate proofs?
@peterdrake Inspired by Fermat's ghost, presumably.
QOTO: Question Others to Teach Ourselves An inclusive, Academic Freedom, instance All cultures welcome. Hate speech and harassment strictly forbidden.