Typst 使用经验记录

1
#let diff_numbering(..schemes) = {
2
  (..nums) => {
3
    let nums_arr = nums.pos()
4
    let schemes_arr = schemes.pos()
5
    if nums_arr.len() >= schemes_arr.len() {
6
      numbering(schemes_arr.at(-1), ..nums)
7
    } else {
8
      numbering(schemes_arr.at(nums_arr.len() - 1), ..nums)
9
    }
10
  }
11
}
12
// 使用
13
#set heading(numbering: diff_numbering("第一章", "1.1", "1-1-1"))
14
= 一个章节
15
== 一个小节
16
=== 一个小节的小节
17
= 第二个章节
18
== 第二个章节的小节
19
=== 第二个章节的小节的小节

1
#import "@preview/numbly:0.1.0": numbly
2
#set heading(numbering: numbly("一|{1:一}章", "a{1:1}.{2:1}", "1?{1:1}-{2:1}.{3:1}"))
3
= #lorem(1)
4
== #lorem(2)
5
=== #lorem(3)
6
== #lorem(2)
7
=== #lorem(3)
8
=== #lorem(3)
9
= #lorem(1)
10
== #lorem(2)
11
=== #lorem(3)

1
#let grid_blanks(cell: grid.cell, blank-width: 2em, line-width: 0.05em, colon: [: ], ..args) = grid(
2
  ..args.named(),
3
  ..args.pos().map(label => (cell([#label#colon#box(width: blank-width, stroke: (bottom: line-width))])))
4
)
5

6
// 使用
7
#grid_blanks(
8
  columns: (auto, auto),
9
  align: right,
10
  row-gutter: 1.5em,
11
  column-gutter: 1em,
12
  blank-width: 3cm,
13
  "姓名",
14
  "班级",
15
  "学号",
16
  "学校",
17
)
18

19
#grid_blanks(
20
  columns: (auto, auto),
21
  align: right,
22
  row-gutter: 1.5em,
23
  column-gutter: 1em,
24
  blank-width: 3cm,
25
  colon: [ $==>  integral_0^1 pi - 1$ ],
26
  "Name",
27
  "Class",
28
  "Id",
29
  "Grade",
30
)

1
#import "@preview/hydra:0.5.1": hydra
2

3
#set page(
4
  header: context align(
5
    {
6
      if calc.odd(here().page()) {
7
        right
8
      } else {
9
        left
10
      }
11
    },
12
    emph(hydra(1, skip-starting: false)),
13
  ),
14
)

1
#show outline.entry: it => {
2
  if it.level == 1 {
3
    strong(it)
4
  } else if it.level >= 3 {
5
    emph(it)
6
  } else {
7
    it
8
  }
9
}

1
#show outline.entry: it => {
2
  // 获取 entry 原本的内容
3
  let prefix = outline.entry.prefix(it)
4
  let body = outline.entry.body(it)
5
  let page-number = outline.entry.page(it)
6

7
  // 修改 body
8
  body = if it.level == 1 {
9
    strong(body)
10
  } else if it.level >= 3 {
11
    emph(body)
12
  } else {
13
    body
14
  }
15

16
  // 重新组装 inner
17
  // 保持和 `outline.entry.inner(it)` 获取的结构一致
18
  let inner = {
19
    body
20
    sym.space
21
    box(width: 1fr, it.fill)
22
    sym.space
23
    page-number
24
  }
25
  let indented = outline.entry.indented(it, prefix, inner)
26
  link(it.element.location(), indented)
27
}

1
// --------- 定义函数 ---------
2
#import "@preview/ctheorems:1.1.2": *
3
#import "@preview/showybox:2.0.1": showybox
4

5
#let showy-thm(
6
  identifier,
7
  head,
8
  color: blue,
9
  ..showy-args,
10
  supplement: auto,
11
  base: "heading",
12
  base_level: none,
13
) = {
14
  let showy-fmt(name, number, body, ..args) = {
15
    showybox(
16
      title: {
17
        head
18
        number
19
        if name != none {
20
          [（#name）]
21
        }
22
      },
23
      frame: (
24
        border-color: color,
25
        title-color: color.lighten(30%),
26
        body-color: color.lighten(95%),
27
        footer-color: color.lighten(80%),
28
        radius: (top-left: 7pt, bottom-right: 7pt, rest: 2pt),
29
      ),
30
      ..args.named(),
31
      body,
32
    )
33
  }
34
  if supplement == auto {
35
    supplement = head
36
  }
37
  thmenv(
38
    identifier,
39
    "heading",
40
    none,
41
    (name, number, body) => showy-fmt(name, number, body, ..showy-args),
42
  ).with(supplement: supplement)
43
}
44

45
#let theorem = showy-thm(
46
  "theorem",
47
  "定理",
48
  title-style: (
49
    weight: "bold",
50
    boxed-style: (
51
      anchor: (x: left, y: horizon),
52
      offset: (x: 0pt, t: 0pt),
53
      radius: (top-left: 7pt, bottom-right: 7pt, rest: 2pt),
54
    ),
55
  ),
56
).with(numbering: "1.1")
57
#let lemma = showy-thm("lemma", "引理", color: green.darken(25%)).with(numbering: "1.1")
58
#let proof = thmproof("proof", "证明", inset: (x: 0em, top: 0em))
59
// --------- 定义函数 ---------
60

61
// --------- 使用演示 ---------
62
#show: thmrules
63
#theorem[
64
  对任何子集 $Omega subset CC^n$，$cal(O)(Omega)$ 在逐点加法和数乘意义下封闭。
65
  任一关于 $z_1, dots.c, z_n$ 的复系数多项式在 $CC^n$ 上是全纯的，从而在 $cal(O)(Omega)$ 里。
66
  若 $f, g in cal(O)(Omega)$，且 $g(z) eq.not 0, forall z in Omega$，则 $f slash g in cal(O)(Omega)$。
67
]
68
#theorem("F. Hartogs, 1906", numbering: none)[
69
  设 $D subset CC^n$ 为一区域，$f: D -> CC$。若 $f$ 分别关于每一单复变量 $z_j (1 <= j <= n)$
70
  全纯，则 $f in cal(O)(D)$。
71
]
72
#lemma("Osgood", numbering: none)[
73
  设 $D subset CC$ 为一区域，$f: D -> CC$。若 $f in C(D)$，且 $f$
74
  分别关于每一单复变量 $z_j (1 <= j <= n)$ 全纯，则 $f in cal(O)(D)$。
75
]
76
// --------- 使用演示 ---------

1
#let my-cases = (..items) => box(
2
  baseline: 50% - 0.5em,
3
  width: 1fr,
4
  math.cases(
5
    ..items.pos().map(item => math.display(block(item))),
6
  ),
7
)
8

9
*TEST*: #my-cases(
10
  lorem(20),
11
  lorem(20),
12
  lorem(20),
13
)