Fixed the #proof hack.

This commit is contained in:
orca 2024-01-17 08:03:22 +01:00
parent 0485c8226e
commit d8e06e7edc
Signed by: orca
GPG Key ID: 6923B8DFED96A68A
1 changed files with 1 additions and 1 deletions

View File

@ -75,7 +75,7 @@
/* 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. */
#let proof(body) = [_#proof-text._ #body #h(3em) #place(right, dy: -19pt, qed) #v(0.5em) ]
#let proof(body) = [_#proof-text._ #body #h(1fr) #qed ]
// Configuration of the paper.
// ---------------------------