Chinese and English mathematics notes with three color themes, theorem environments, chapter epigraphs, syntax-highlighted code, and bibliographies. No third-party package dependencies.

适合长期书写的中英文数学笔记模板。提供封面、目录、定理与证明、章首题辞、代码高亮及参考文献；青绿、靛蓝、暖赭棕三种配色共享同一套版式。

快速开始

要求 Typst 0.15.0 或更新版本。发布至 Typst Universe 后，可在网页编辑器中选择 chengsi，或运行：

typst init @preview/chengsi:0.1.0 my-notes
cd my-notes
typst compile main.typ

尚未发布时，在源码仓库运行 ./build.ps1；脚本会在仓库内临时注册本地包，输出 build/example.pdf，无需已发布的包。

项目初始化后，修改 config.typ 的标题、作者及字体，在 main.typ 中写正文，并在 references.bib 中管理文献。

#import "@preview/chengsi:0.1.0": notes, environments
#let config = (title: "数学笔记", author: "你的名字", cover: false, toc: false)
#let env = environments(config: config)
#show: notes.with(config: config)

= 实数
#(env.theorem)(title: [平方非负])[
  对任意 $x in RR$，有 $x^2 >= 0$。
]

示例与文件结构

• 完整示例源码、示例配置、文献库。初始化项目即得到这份完整示例。
• 示例 PDF：与当前模板源文件同步生成。
• lib.typ：公开入口，导出 notes、environments、defaults、themes。
• template.typ、themes.typ、styles/：版式实现及配色资源。

notes(config: (:), body) 应用整体版式；environments(config: (:)) 返回下文列出的数学环境和辅助函数。两者应使用同一个配置字典。defaults 为默认配置字典，themes 为以 teal、indigo、sepia 为键的配色字典。

配色主题

只需修改 config.typ 中的一行，然后重新编译：

theme: "indigo",

主题仅改变颜色：封面、正文及次要文字、标题、题辞、定理底色、细线、链接、引用、代码背景及语法高亮。字体、字号、间距、编号和分页规则完全相同。默认仍是原版 teal。

配色定义在 themes.typ；styles/quiet.tmTheme、styles/indigo.tmTheme、styles/sepia.tmTheme 分别是三套代码配色。迁移模板时请一起复制。code-theme: auto 自动跟随所选主题，none 仍可关闭高亮。

显式填写的颜色会覆盖主题，比如 theme: "indigo", accent: rgb("334477")。不需要自定义时保留配置末尾的颜色项为注释，避免它们覆盖所选配色。link-color 与 citation-color 保持 auto 时跟随强调色；手动指定的代码主题也优先于配色主题。

字体

默认字体均为开源字体，项目不分发字体文件。Typst 网页编辑器可使用这些字体；本地 CLI 内置 Libertinus、New Computer Modern 和 DejaVu 字体，中文另需安装 Noto Serif SC 与 Noto Sans SC。可以使用 typst compile --font-path /path/to/fonts main.typ 指定字体目录。请检查编译警告，缺失字体会影响排版。各字体字段均可在 config.typ 中替换，公式字体需支持 OpenType MATH。

常用配置

所有配置都放在 config 字典中，未填写项使用 template.typ 顶部的默认值。未知字段会报错，避免拼写错误悄悄失效。

封面不显示页码，目录使用罗马数字，正文从 1 开始。页眉显示当前页所属章节；长标题可用简短的章节名称并设置 running-title，以免挤占页眉。

数学环境共用一个全文连续的编号序列（定义 1、定理 2、例 3……），公式有独立的全文连续编号。章节编号与它们分开，不按章重置。关闭编号后不要继续对相应对象使用 @label。

简洁随堂笔记配置：

cover: false,
toc: false,
chapter-break: false,
lang: "zh",

黑白打印配置：

accent: rgb("333333"),
tint: rgb("F7F7F7"),
rule: rgb("D8D8D8"),
cover-paper: white,

代码：Python、Julia、MATLAB 等

直接使用带语言标记的代码围栏即可。代码块采用浅灰底、细分隔线、语言标识和 DejaVu Sans Mono 等宽字，中文注释使用中文字体后备。关键字、字符串、数值与注释用克制的青、棕、紫、灰色区分。样式只负责展示，不会运行代码。

```python
import numpy as np
A = np.array([[2, 1], [1, 2]])
print(np.linalg.eigvalsh(A))
```

```julia
using LinearAlgebra
A = [2 1; 1 2]
println(eigvals(Symmetric(A)))
```

```matlab
A = [2 1; 1 2];
disp(eig(A));
```

三种语言使用 python、julia、matlab 标记，已在本机编译验证。也可使用 Typst 原生支持的其他语言，例如 bash、json、rust、typ。无标记代码块仍有样式，但不做语言高亮。行内代码用单反引号，例如 `np.array`，显示为浅底小标签。

需要文件名或行号时，用 env.code 包裹一个代码块：

#(env.code)(title: [projection.jl], numbers: true)[
```julia
using LinearAlgebra
u = [1.0, 1.0]
println(dot(u, u))
```
]

也可先绑定 #let code = env.code，之后使用 #code(...)。title 是代码块右上角的标题，numbers 控制该代码块是否显示行号。行号由原始代码行生成，不会插入源代码；多行字符串和注释保留连续的语法高亮状态。较长代码可自然跨页，行号不会因翻页而重置。代码页头只在开头显示。

外部文件可用 #raw(read("scripts/demo.py"), lang: "python", block: true) 插入，也可放进 env.code 包装中。长行会按可用宽度排版，建议自己在合理位置断行，特别是长字符串和长路径。

在 config.typ 中调整：

自定义颜色可编辑 styles/quiet.tmTheme。也可在配置里传入 code-theme: read("my-theme.tmTheme", encoding: none)。语法高亮与语言支持基于 Typst 的 raw 接口，无额外 Python/Julia/MATLAB 排版依赖。

参考文献与超链接

正文默认使用数字引用 [1]，点击可跳转到文末条目。参考文献独立成页，使用较小字号、悬挂编号及舒展的行距，并以不编号的标题进入目录。外部网址和 DOI 使用深青色细下划线；目录、定理及文献的内部跳转不加下划线。

使用现成的 references.bib，在正文中引用，在文末添加文献表：

进一步阅读可参见 @axler2024。
关于内积空间，参见 #cite(<axler2024>, supplement: [第 6 章])。
多篇文献可以连续引用：@axler2024 @strang2010。

// 文末只放一次，不必另写“= 参考文献”。
#bibliography("references.bib")

main.typ 末尾已调用文献表。正文中的引用 key 必须与 .bib 中的条目对应，也不要与定理等对象的 <label> 重名。

默认只列出实际引用的条目。列出整个资料库用 #bibliography("references.bib", full: true)；希望收录某一条但不显示文内编号，可用 #cite(<analects>, form: none)，示例中的章首题辞来源使用了这种方式。

添加自己的文献可沿用以下结构，也可以从文献管理软件导出 BibLaTeX .bib 文件：

@book{axler2024,
  author = {Axler, Sheldon},
  title = {Linear Algebra Done Right},
  edition = {4},
  publisher = {Springer},
  date = {2024},
  doi = {10.1007/978-3-031-41026-0},
  url = {https://linear.axler.net/}
}

doi 填标识符，url 填完整网址；在线资料可加 urldate = {2026-09-06} 表示你实际访问的日期。显示哪些字段由选用的引用格式决定，例如存在 DOI 时可能不再显示 URL。模板没有改写文献的作者、排序或编号规则。

普通超链接直接使用 Typst 原生语法，推荐给长网址添加易读名称：

#link("https://linear.axler.net/")[教材主页]
#link("https://doi.org/10.1007/978-3-031-41026-0")[电子版 DOI]

在 config.typ 中调整：

切换引用格式后，文内引用和文末文献会一起更新。APA 等作者年份格式也可用 #cite(<axler2024>, form: "prose") 生成叙述式引用。BibLaTeX 和 Hayagriva 数据、引用参数遵循 Typst 官方文献接口 与 cite 接口；多文件项目中的 .bib 路径相对于调用 bibliography 的文件。

示例书籍元数据来自 Springer 的书籍页，课程元数据来自 MIT OpenCourseWare。请把示例资料替换或补充为自己实际使用的来源。

章首题辞：名言与引文

在 = 章节标题 后、正文前插入 epigraph 即可。默认在页面右侧占正文宽度的 72%，使用较深灰色的小号衬线字。单行短题辞与署名整体右对齐；需要换行的题辞左对齐，署名紧接其下。原文与译文都能各自容纳在一行时，中英对照也采用右对齐。题辞不计入目录或定理编号，没有题辞的章节不需要额外设置。

main.typ 已绑定 epigraph；新建入口时，在创建 env 后加上 #let epigraph = env.epigraph：

= 极限与连续

#epigraph(author: [孔子], source: [《论语·为政》])[
  学而不思则罔，思而不学则殆。
]

这里开始写本章正文。

author、source 都可省略，source 支持内容块，例如书名、页码或 #link(...)。英文可设置 italic: true；中英对照用 translation: [中文译文]，译文保持正体。模板不会自动生成译文或引号，引用的标点由你控制。

全局外观在 config.typ 调整：

epigraph-width: 72%,
epigraph-size: 9.5pt,
epigraph-align: right, // 也可设为 left 或 center
epigraph-text-align: auto, // 自动按排版宽度选择；也可强制 left / right
epigraph-color: rgb("505D60"),
chapter-after: 4mm, // 章标题下方留白
epigraph-after: 8mm, // 题辞与正文间留白

单条题辞可以覆盖宽度、位置及文字对齐方式。placement 控制整个引文区的位置，text-align 控制区内的文字与署名：

#epigraph(width: 85%, placement: center, text-align: left, author: [作者], source: [书名])[
  在这里填写引文。
]

题辞作为一个整体分页，适合几行短引文，使署名不与引文分离。长篇摘录建议使用正文或 remark 环境。

示例中的题辞来源：《论语·为政》、Newton Project 所录牛顿致胡克信中的名句、《荀子·劝学》。英文保留所引版本的 sholders 拼写，中文译文为本模板译写。

定理、证明与交叉引用

数学环境的编号仍共用全文连续序列，视觉样式按作用区分：

标题与正文之间额外增加 3pt 留白，统一用于定义、定理、例题、练习、证明和札记等环境。在 config.typ 中调整 environment-title-gap 即可，例如 4pt 更宽松，0pt 恢复原来的紧凑间距。标题仍与后续正文保持在一起。

章标题采用衬线字体，节标题使用无衬线字体。目录去掉点线，一级章节加大字号与组间距离，二级条目缩进、降低视觉分量；目录仍可点击跳转。

公式字号默认相对周围文字为 math-scale: 98%，会随脚注等局部字号变化。equation-spacing: 0.95em 控制行间公式上下间距；可在 config.typ 中微调。

从下面这个完整入口开始，或参考 template/main.typ。可以给常用环境绑定短名称，写笔记时就不需要前缀：

#import "@preview/chengsi:0.1.0": notes, environments
#import "config.typ": config
#let env = environments(config: config)
#let theorem = env.theorem
#let proof = env.proof
#show: notes.with(config: config)

= 极限与连续
== 数列极限

#theorem(title: [极限的唯一性])[
  若一个实数列收敛，则它的极限唯一。
] <thm-unique>

#proof[
  假设存在两个不同的极限，用三角不等式推出矛盾。
]

由 @thm-unique 可知，极限是良定义的。

$ abs(x+y) <= abs(x) + abs(y). $ <eq-triangle>
参见 @eq-triangle。

env 提供 definition、theorem、lemma、proposition、corollary、example、exercise、proof、remark、epigraph。前七种可以编号、添加 title 和标签；证明和札记不编号，标题默认根据 lang 切换。epigraph 用于章首题辞。

不绑定短名称时，可以写成 #(env.theorem)(title: [标题])[正文]。调用模板和创建环境时应传入同一个配置字典。

环境允许自然跨页；标题尽量与随后的正文保持在一起。证明末尾附带空心方块。公式默认编号，局部取消某个公式的编号可写：

#math.equation(block: true, numbering: none)[$ e^(i pi) + 1 = 0 $]

长篇笔记可以把章节放进单独文件，然后在 #show: notes.with(...) 之后使用 #include "chapters/analysis.typ"。被 include 的文件若需要使用 env，应自行 import 模板与配置并创建环境；不要再次调用 #show: notes。

实现遵循 Typst 官方的 figure 自定义环境与引用、公式排版 和 字体配置 接口。

许可证

代码、主题文件、文档及 template/ 中原创示例内容采用 MIT-0，允许自由使用、修改和分发，无需保留署名或许可证文本。示例中明确标注来源的古典引文与书目信息不主张为本项目原创；未包含第三方字体或书籍全文。