I think the GP post is criticizing the lack of documenting syntax. Math papers tend to document semantics, whereas the understanding of the syntax by the reader

I think the GP post is criticizing the lack of documenting syntax. Math papers tend to document semantics, whereas the understanding of the syntax by the reader is presumed.