Are standard theorems-, proofs-, ...-environments (without installing packages) planned?

Dear all,

a friend of mine and me are new here and are very excited about typst. However, we found it quite irritating that you don’t find any tips for theorem-, … -environments in the guide for new typst users who come from LaTeX. Our question is:

Is it planned to develop one “standard” version for these environments (e.g. the ams* packages seem to be the de-facto standard for LaTeX) and put it into the standard library so that no package selection and installing is needed? If not, we would suggest this or suggest adding a beginners guide for this into the guide for new typst users coming from LaTeX.

By the way, there are plenty of such packages in the universe (ctheorems, great-theorems, theorion, …). Which one can you recommend to us for having a look-and-feel like the ams-packages for LaTeX?

Thank you very much for your help!

Tobias

I don’t think there’s plans to develop a standard solution. The different packages that currently exist all have different goals, usage, tradeoffs, etc., so you need to look at which has the looks and features you need.

Personally, of course, I like my own package theoretic – Typst Universe, because it gives me what I want (sensible numbering, good QED placement, multiple mixable reference styles, easy styling, restating, inclusion of theorems in main outline, alphabetically sorted list of definitions) but other packages also have features I don’t.

Perhaps in the future, one package will have established itself as the defacto default, but I suspect this will only be after custom elements (language feature) arrive.

5 Likes

Thank you very much for your answer!

For me, this makes it a bit more understandable, why there does not yet exist a standard solution. I still have the impression that this makes it a bit harder for newbies like me coming from LaTeX, but I agree that such custom elements would be good to have before having a defacto standard solution.

I checked out out theoretic. It does not quite fit my needs, but it is very close. Moreover, the code is very understandable. Hence, I took your code and changed some things (bold/italic/normal depending on theorem/remark/example/…, German and English language support side-by-side, and spacing). So, I obtained a solution that works for my needs.

Thank you for your well-documented code!

2 Likes

Just to note this, LaTeX doesn’t support theorem-like environments out of the box. The ones which everyone uses are part of the amsthm package. The key difference is, i think, that amsthm is one well-established and feature-rich package that emerged as standard over the course of years, if not decades.

Something like this will probably exist for typst, eventually.

5 Likes

Hi Mario,

thank you for your response!

This is clearly true, however, there are also many other features that typst supports natively, whereas LaTeX needs additional packages to do so.

A common example is the symbol for the real numbers. In LaTeX, you need to import amssymb or a related package so that you can type $\mathbb R$. In typst you can simply write $RR$ without importing any package.

Hence, I thought that having a standard solution for theorem environments in typst would be great as well.

1 Like