search

quarto-dev / quarto-cli

Open-source scientific and technical publishing system built on Pandoc.
https://quarto.org
Other
3.83k stars 311 forks source link

[Feature Request] Add more theorem types from amsthm (e.g. axiom, assumption, ...) #3979

Open cderv opened 1 year ago

cderv commented 1 year ago

Discussed in https://github.com/quarto-dev/quarto-cli/discussions/3970

Originally posted by **Zegeri** January 14, 2023 Some mathematical texts might use axioms and it would be nice if it were supported by quarto. I suggest using "axm" as tag prefix. For example: ``` ::: {#axm-pairing} ## Pairing If $x$ and $y$ are sets, then there exists a set which contains $x$ and $y$ as elements. ::: ```
cderv commented 1 year ago

Axiom is among the supported environment in amsthm CTAN package . It could be worth supporting it for our Theorems and Proofs

mattblackwell commented 1 year ago

I'm not sure if this should go here or into a new issue/idea, but it would also be very helpful to have an "assumption" theorem type, maybe using #asm- prefix.

mcanouil commented 1 year ago

I wonder if, as for callouts the API, it would be worth it to generalise here to allow users to define their own environments.

cscheid commented 1 year ago

This is a duplicate of #1655 and #3323

mcanouil commented 1 year ago

Are you going to close this in favour of one of the other two? (I just linked #5644 to here)

cscheid commented 1 year ago

I'm indifferent. I was cataloguing all of them to put them in the epic, and so it ultimately doesn't matter to me.