Induction proof assignment

How what? It's fucking Turing complete.

Here's a BASIC interpreter written in tex
tug.org/TUGboat/Articles/tb11-3/tb29greene.pdf

don't you mean [math]\LaTeX[/math]?

you need to put spaces so that the tags are recognized as individual tokens, senpai

nevermind, continuous scrolling with mathjax is broke as fuck