First of all, thank you for the excellent great-theorems package. It has been very helpful for writing mathematical documents in Typst.
I would like to suggest a small feature that would significantly improve the typesetting of proofs.
Currently, when a proof ends with a displayed equation or with a list, the QED symbol is placed on a new line after the content. In many mathematical texts (and in LaTeX with \qedhere), it is preferable for the QED symbol to appear at the end of the last line of the proof, even if that line is part of a displayed formula or a list.
It would be great if the package provided a qedhere-like mechanism to place the QED symbol in the final line of such structures.
Example 1: proof ending with a displayed formula
#proof[ We have $ dim(M slash frak(m) M) = mu(M). $ ]
Example 2: proof ending with a list
Desired behavior: the QED symbol should appear on the same line as the displayed formula, not on a separate line below it.
#proof[+ Easy exercise. ]
Desired behavior: the QED symbol should appear at the end of the last list item, not on a separate line after the list.
Possible approaches
Some possible implementations could be:
- a qedhere command similar to LaTeX,
- an option for the proof environment,
- automatic detection when the proof ends with a display or list.
Thanks again for the great package!
First of all, thank you for the excellent great-theorems package. It has been very helpful for writing mathematical documents in Typst.
I would like to suggest a small feature that would significantly improve the typesetting of proofs.
Currently, when a proof ends with a displayed equation or with a list, the QED symbol is placed on a new line after the content. In many mathematical texts (and in LaTeX with \qedhere), it is preferable for the QED symbol to appear at the end of the last line of the proof, even if that line is part of a displayed formula or a list.
It would be great if the package provided a qedhere-like mechanism to place the QED symbol in the final line of such structures.
Example 1: proof ending with a displayed formula
#proof[ We have $ dim(M slash frak(m) M) = mu(M). $ ]Example 2: proof ending with a list
Desired behavior: the QED symbol should appear on the same line as the displayed formula, not on a separate line below it.
#proof[+ Easy exercise. ]Desired behavior: the QED symbol should appear at the end of the last list item, not on a separate line after the list.
Possible approaches
Some possible implementations could be:
Thanks again for the great package!