Mathematical writing and exposition guide based on Tao, Knuth, Halmos, and other leading references. Use whenever you produce or discuss mathematical content in any venue -- including chat responses and docstrings, not only file edits: (1) writing or editing mathematical prose in LaTeX, Pandoc Markd
Mathematical writing and exposition guide based on Tao, Knuth, Halmos, and other leading references. Use whenever you produce or discuss mathematical content in any venue -- including chat responses and docstrings, not only file edits: (1) writing or editing mathematical prose in LaTeX, Pandoc Markdown, plain text, or Lean docstrings with mathematical content, (2) stating theorems, structuring pro