How to create a new theorem variation for multiple formats in Quarto?

[luifrancgom]

Description

I want to be able to create a new theorem variation that is not pointed out in the documentation in relation to Theorems and Proofs for multiple formats in Quarto. In particular, a new theorem environment for an axiom using the label prefix #axm-, the printed name Axiom and the LaTeX environment axiom to be able to create something similar like:

For example in LaTeX you can do this:

\documentclass{article}
\usepackage{amsthm}

\title{My title}

\newtheorem{axiom}{Axiom}

\begin{document}

\maketitle

\section{My section}

\begin{axiom}[Axiom of extension] Two sets are equal if and only if they have the same elements. \end{axiom}

\end{document}

What I try using quarto

I try a possible solution using an environment listed in Cross Reference Options:

---
title: My title
format: 
  html:
    embed-resources: true
  pdf:
    number-sections: true
  docx: default
crossref:
  cnj-title: Axiom
  cnj-prefix: Axiom
---

# My section

::: {#cnj-axiom-extension}

## Axiom of extension

Two sets are equal if and only if they have the same elements.
:::

However this is a partial solution because I am using a trick.

Question

Where in the quarto-cli repository are the theorem environments defined so I can try to create this? What tools should I need to know to generate this new theorem environment?

[mcanouil]

Your best bet is to write a Lua filter and to write the formats' specific code corresponding to your environment.

Look at existing extensions: https://m.canouil.dev/quarto-extensions/

• https://github.com/mcanouil/quarto-highlight-text
• https://github.com/mcanouil/quarto-preview-colour

There are some specific extensions to help create environment in Typst and LaTeX:

• https://github.com/christopherkenny/typst-function
• https://github.com/quarto-ext/latex-environment

[luifrancgom]

Thank you for your help. But I want to know where in the quarto-cli you can check where the theorem environments are created. What I want is similar to the theorem environments mentioned in Theorems and Proofs. The only aspects that change in this case is the label and the printed name.

I mention this because I tried to find this aspect in quarto-cli/src/ but I didn't find where this is build. In quarto-cli this is build as a Lua filter? Sorry if I ask to many questions.

[mcanouil]

GitHub has a pretty good search engine either by filenames and/or content.

Note that if your goal is to mimic Quarto's internal into your own Quarto extensions, this isn't going to work.

[luifrancgom]

Thank you. I tried searching locally by forking and cloning the repository but I didn't find it . But there is something in you image that helps me a lot in scr/resources/filters/common for theorems.lua. I will like to first understand how it is build and then if possible send a pull request or ask for a new feature.

Thank you again!

[mcanouil]

FWIW, I get the same results locally using VSCode.

[luifrancgom]

No I tried in the search bar in windows in the folders. It is my first time doing this. Sorry for not trying it using visual studio code or positron and thank you again for your help again