LaTeX、KaTeX、Typst 和 TikZ 这四个是数学公式及排版相关领域的工具。它们并非完全同类工具，因此先明确各自的核心定位：

核心区别总结（重点关注公式相关）

1. LaTeX

   • 数学排版事实上的工业标准（AMS、IEEE、Springer 等期刊模板几乎都基于它）

   • 公式语法最丰富、最稳定，支持最复杂的多行对齐、cases、矩阵、化学式等

   • 缺点：输入冗长、前导区复杂、编译慢、调试痛苦

   • TikZ 是它的生态一部分（用 \usepackage{tikz} 引入）

2. KaTeX

   • 目标是浏览器内快速渲染 LaTeX 公式，不负责整篇文档排版

   • 支持约 98–99% 常用 LaTeX 数学命令（amsmath 大部分支持）

   • 故意不支持部分过于复杂的 LaTeX 特性（如 \def 宏的高级用法、某些罕见符号）

   • 最大优势：网页实时渲染，几乎无延迟（比 MathJax 快很多）

   • 使用场景：GitHub README、Notion、Hexo/Jekyll 博客、Obsidian 预览等

3. Typst

   • 全新设计的排版语言（非基于 TeX）

   • 数学模式语法大幅简化且更可读（2025–2026 年已非常接近 LaTeX 的表达能力）

   • 常见对比示例：

   latex

   % LaTeX
   \sum_{n=1}^{N} \frac{1}{n^2} \quad \to \quad \frac{\pi^2}{6}

   typst

   // Typst (更接近自然输入)
   $ sum_(n=1)^N 1/n^2 -> pi^2/6 $

   • 更多快捷写法：RR → ℝ、oo → ∞、<= → ≤、->> → ⟶ 等

   • 目前（2026年）复杂多行公式、对齐、化学公式支持已大幅改善，但仍比 LaTeX 少一些极端边缘情况的精细控制

   • 最大优势：毫秒级增量编译 + 实时预览 + 语法干净

4. TikZ

   • 不是公式工具，而是矢量绘图工具

   • 主要用于绘制几何图形、函数图像、流程图、电路图、网络拓扑、统计图等

   • 虽然也能画一些简单公式，但不适合作为主要数学公式输入方式

   • 与 Typst 的对应物：CeTZ（Canvas-based Easy Typst eZdrawing）和 Fletcher（用于绘图的箭头/节点库），但成熟度、社区资源、模板数量仍远不及 TikZ

快速决策参考表（2026 年视角）

总结一句话：

• LaTeX 是目前最全面、最成熟的系统（尤其是带 TikZ 的复杂文档）

• KaTeX 是网页公式渲染之王

• Typst 是最有希望在未来几年挑战 LaTeX 的新生代选手（语法更友好、编译极快）

• TikZ 是 LaTeX 生态里无可替代的科学绘图利器