Guidedog / 文档
0.2.0
数学与证明¶
公式应让关系更容易检查。使用符号前先定义，必要时说明单位。公式应支持解释，而非取代解释。
行内公式与独立公式¶
短公式用 math 角色，独立公式用 math 指令。使用两个目标均支持的通用 LaTeX 数学子集。
A side of length :math:`s` encloses area :math:`s^2`.
.. math::
:label: area-square
A = s^2
The relation is :eq:`area-square`.
边长为 \(s\) 的正方形，面积为 \(s^2\)。
(1)¶\[A = s^2\]
关系见 (1)。Guidedog 为带标签公式提供稳定目标。HTML 构建器提供 MathJax 标记；PDF 渲染器将受支持的 LaTeX 子集转为 Typst 数学。不支持的 PDF 命令会被报告，不执行任意 LaTeX 包。
一个简短的证明¶
设 \(U\) 为已计入预算的字节数，\(B\) 为上限，\(n\) 为申请分配量。假设三者均非负，且 \(U \le B\)。
准入规则。 当且仅当以下条件成立时，接受请求：
(2)¶\[n \le B - U.\]
命题。 接受请求后，仍有 \(U + n \le B\)。
证明。 在 (2) 两边加 \(U\)，得到 \(U+n \le B\)。实现检查减法形式，不先计算可能使机器整数溢出的 \(U+n\)。证明与运算顺序一致。
边界。 这只核算已计费的宿主存储，不限制独立 Typst 编译器的内部分配。证明的效力取决于其声明的边界。
HTML 设置¶
这些项目随附 MathJax 3.2.2 及 SVG 字体数据，仅在含数学公式的页面加载。构建后离线也可阅读，无需图示脚本或网络字体服务。
你自己的项目默认从 CDN 加载 MathJax。若要使用本地副本，将它放入 _static，并设置：
html_static_path = ["_static"]
mathjax_path = "_static/tex-svg-full.js"
Web 公式需要 JavaScript 排版；关闭时仍显示源文。PDF 公式不依赖浏览器 JavaScript。见 MathJax 组件契约。