@@ -61,7 +61,6 @@ prereq([course_id]{.und}, [prereq_id]{.und})
61
61
62
62
``` typst
63
63
#show table.cell.where(y: 0): math.bold
64
- #set text(font: "Noto Serif SC")
65
64
#let tb(cap, col, ..args) = [
66
65
#table(
67
66
columns: col,
@@ -83,7 +82,7 @@ prereq([course_id]{.und}, [prereq_id]{.und})
83
82
gutter: 16pt,
84
83
align: horizon,
85
84
tb(
86
- [关系 $r$ ],
85
+ [],
87
86
3,
88
87
$A$, $B$, $C$,
89
88
$alpha$, $10$, $1$,
@@ -131,7 +130,6 @@ prereq([course_id]{.und}, [prereq_id]{.und})
131
130
132
131
``` typst
133
132
#show table.cell.where(y: 0): math.bold
134
- #set text(font: "Noto Serif SC")
135
133
#let tb(cap, col, ..args) = [
136
134
#table(
137
135
columns: col,
@@ -153,15 +151,15 @@ prereq([course_id]{.und}, [prereq_id]{.und})
153
151
gutter: 16pt,
154
152
align: horizon,
155
153
tb(
156
- [关系 $r$] ,
154
+ $r$,
157
155
2,
158
156
$A$, $B$,
159
157
$alpha$, $1$,
160
158
$beta$, $2$
161
159
),
162
160
$times$,
163
161
tb(
164
- [关系 $s$] ,
162
+ $s$,
165
163
3,
166
164
$C$, $D$, $E$,
167
165
$alpha$, $10$, $a$,
@@ -171,7 +169,7 @@ prereq([course_id]{.und}, [prereq_id]{.und})
171
169
),
172
170
$=$,
173
171
tb(
174
- [笛卡尔积 $r times s$] ,
172
+ $r times s$,
175
173
5,
176
174
$A$, $B$, $C$, $D$, $E$,
177
175
$alpha$, $1$, $alpha$, $10$, $a$,
@@ -463,7 +461,6 @@ $\Pi_{\text{name}}(\text{instructor}$ ⋉$_{\text{instructor.ID = teaches.ID}}(\
463
461
464
462
``` typst
465
463
#show table.cell.where(y: 0): math.bold
466
- #set text(font: "Noto Serif SC")
467
464
#let tb(cap, col, ..args) = [
468
465
#table(
469
466
columns: col,
@@ -485,7 +482,7 @@ $\Pi_{\text{name}}(\text{instructor}$ ⋉$_{\text{instructor.ID = teaches.ID}}(\
485
482
gutter: 16pt,
486
483
align: horizon,
487
484
tb(
488
- [关系 $r$] ,
485
+ $r$,
489
486
2,
490
487
$A$, $B$,
491
488
$alpha$, $1$,
@@ -501,7 +498,7 @@ $\Pi_{\text{name}}(\text{instructor}$ ⋉$_{\text{instructor.ID = teaches.ID}}(\
501
498
$beta$, $2$
502
499
),
503
500
$div$,
504
- tb([关系 $s$] , 1, $B$, $1$, $2$),
501
+ tb($s$, 1, $B$, $1$, $2$),
505
502
$=$,
506
503
tb($r div s$, 1, $A$, $alpha$, $beta$),
507
504
)
0 commit comments