Comment by gnull

So is it like math written in natural language but more structured and cross-referenced?