TeX was invented to typeset math but is now used for reasoning — LessWrong lesswrong.com 2026-10-26 original edit note archive.org Logged without notes.