orca
/
math-typst
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Code formatting.

This commit is contained in:
orca 2024-01-21 20:59:16 +01:00
parent 140b6d02b4
commit 121e5f7758
Signed by: orca
GPG Key ID: 6923B8DFED96A68A
1 changed files with 9 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
source/template/environments.typ
View File

@ -36,13 +36,15 @@
}
// Functions we will directly use.
#let proposition(body, name: "") = math-block(body, name: name, id: proposition-text)
#let lemma(body, name: "") = math-block(body, name: name, id: lemma-text)
#let theorem(body, name: "") = math-block(body, name: name, id: theorem-text)
#let corollary(body, name: "") = math-block(body, name: name, id: corollary-text)
#let definition(body, name: "") = math-block(body, name: name, id: definition-text, emphasis: "italics", decoration: "outline")
#let remark(body, name: "") = math-block(body + v(0.5em), name: name, id: remark-text, decoration: "none")
#let example(body, name: "") = math-block(body + v(0.5em), name: name, id: example-text, decoration: "none")
#let proposition(body, name: "") = math-block(name: name, id: proposition-text, body)
#let lemma(body, name: "") = math-block(name: name, id: lemma-text, body)
#let theorem(body, name: "") = math-block(name: name, id: theorem-text, body)
#let corollary(body, name: "") = math-block(name: name, id: corollary-text, body)
#let remark(body, name: "") = math-block(name: name, id: remark-text, decoration: "none", body + v(0.5em))
#let example(body, name: "") = math-block(name: name, id: example-text, decoration: "none", body + v(0.5em))
#let definition(body, name: "") = math-block(name: name, id: definition-text, decoration: "outline", emphasis: "italics", body)
/* It takes the body of the proof, and formats it by adding the QED
symbol at the end, and the _#proof-text._ text at the front. */