youwen5/alexandria
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 1

auto-update(nvim): 2025-01-07 01:01:29
Some checks are pending
Deploy Quartz site to GitHub Pages using Nix / build (push) Waiting to run
Details
Deploy Quartz site to GitHub Pages using Nix / deploy (push) Blocked by required conditions
Details

Browse source
This commit is contained in:
Youwen Wu 2025-01-07 01:01:29 -08:00
parent f854b9ba88
commit 7e1a4ccb66
Signed by: youwen5
GPG key ID: 865658ED1FE61EC3
2 changed files with 24 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
documents/by-course/math-8/course-notes/dvd.typ
View file

@ -286,14 +286,23 @@
#let example = example-style("item", "Example") #let example = example-style("item", "Example")
#let proof(body, name: none) = { #let proof(body, name: none) = {
thmtitle[Proof] [_Proof_]
if name != none { if name != none {
[ #thmname[#name]] [ #thmname[#name]]
} }
thmtitle[.] [.]
body body
h(1fr) h(1fr)
$square$
// Add a word-joiner so that the proof square and the last word before the
// 1fr spacing are kept together.
sym.wj
// Add a non-breaking space to ensure a minimum amount of space between the
// text and the proof square.
sym.space.nobreak
$square.stroked$
} }
#let fact = thmplain( #let fact = thmplain(

15
documents/by-course/pstat-120a/course-notes/dvd.typ
View file

@ -286,14 +286,23 @@
#let example = example-style("item", "Example") #let example = example-style("item", "Example")
#let proof(body, name: none) = { #let proof(body, name: none) = {
thmtitle[Proof] [_Proof_]
if name != none { if name != none {
[ #thmname[#name]] [ #thmname[#name]]
} }
thmtitle[.] [.]
body body
h(1fr) h(1fr)
$square$
// Add a word-joiner so that the proof square and the last word before the
// 1fr spacing are kept together.
sym.wj
// Add a non-breaking space to ensure a minimum amount of space between the
// text and the proof square.
sym.space.nobreak
$square.stroked$
} }
#let fact = thmplain( #let fact = thmplain(