Comment by overfeed

> Textbooks aren't just communicating theorems and proofs

Not even maths papers, which are vehicle for theorem's and proofs, are purely symbolic language and equations. Natural language prose is included when appropriate.