I'm not a mathematician (but I've seen exact sequences and commutative diagrams) and to me the stuff out of his IUT papers[0] looks borderline LLM-generated. I can only imagine what the LaTeX source looks like.

[0]: https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%2...