Numbering

parent_counter numbers an environment within a section, as the optional last argument of \newtheorem does. Give one unit for every environment, parent_counter: section, or one for each, as here. Theorem (and Lemma, which shares its counter) is numbered within the section, Remark within the subsection, and Conjecture, which is not listed, through the whole document.

Number the sections, with -N or Quarto’s number-sections: true; without it, LaTeX numbers theorems 0.1, 0.2, and so does the filter.

1 Groups

Theorem 1.1. A subgroup of a cyclic group is cyclic.

Lemma 1.2. Every group of order 4 is abelian.

Conjecture 1. Every conjecture here is numbered through the document.

1.1 Subgroups

Remark 1.1.1. Numbered within this subsection.

Remark 1.1.2. And again.

2 Rings

Theorem 2.1. The numbering restarts in a new section.

Conjecture 2. Still counting on.

Remark 2.0.1. There is no subsection here yet, so the subsection part of its number is 0, as in LaTeX.

Source

This page is made from the Markdown below, and LaTeX output gets the LaTeX beside it. The PDF under Other Formats is that LaTeX, typeset by amsthm.

Markdown

---
title: Numbering
amsthm:
  plain:
    - Theorem:
        - Lemma
    - Conjecture
  remark:
    - Remark
  parent_counter:
    Theorem: section
    Remark: subsection
---

`parent_counter` numbers an environment within a section, as the
optional last argument of `\newtheorem` does. Give one unit for every
environment, `parent_counter: section`, or one for each, as here.
Theorem (and Lemma, which shares its counter) is numbered within the
section, Remark within the subsection, and Conjecture, which is not
listed, through the whole document.

Number the sections, with `-N` or Quarto's `number-sections: true`;
without it, LaTeX numbers theorems 0.1, 0.2, and so does the filter.

# Groups

::: Theorem
A subgroup of a cyclic group is cyclic.
:::

::: Lemma
Every group of order 4 is abelian.
:::

::: Conjecture
Every conjecture here is numbered through the document.
:::

## Subgroups

::: Remark
Numbered within this subsection.
:::

::: Remark
And again.
:::

# Rings

::: Theorem
The numbering restarts in a new section.
:::

::: Conjecture
Still counting on.
:::

::: Remark
There is no subsection here yet, so the subsection part of its number
is 0, as in LaTeX.
:::

LaTeX

\usepackage{amsthm}
\theoremstyle{plain}
\newtheorem{Theorem}{Theorem}[section]
\newtheorem{Lemma}[Theorem]{Lemma}
\newtheorem{Conjecture}{Conjecture}
\theoremstyle{remark}
\newtheorem{Remark}{Remark}[subsection]
\texttt{parent\_counter} numbers an environment within a section, as the
optional last argument of \texttt{\textbackslash{}newtheorem} does. Give
one unit for every environment, \texttt{parent\_counter:\ section}, or
one for each, as here. Theorem (and Lemma, which shares its counter) is
numbered within the section, Remark within the subsection, and
Conjecture, which is not listed, through the whole document.

Number the sections, with \texttt{-N} or Quarto's
\texttt{number-sections:\ true}; without it, LaTeX numbers theorems 0.1,
0.2, and so does the filter.

\section{Groups}\label{groups}

\begin{Theorem}
A subgroup of a cyclic group is cyclic.
\end{Theorem}

\begin{Lemma}
Every group of order 4 is abelian.
\end{Lemma}

\begin{Conjecture}
Every conjecture here is numbered through the document.
\end{Conjecture}

\subsection{Subgroups}\label{subgroups}

\begin{Remark}
Numbered within this subsection.
\end{Remark}

\begin{Remark}
And again.
\end{Remark}

\section{Rings}\label{rings}

\begin{Theorem}
The numbering restarts in a new section.
\end{Theorem}

\begin{Conjecture}
Still counting on.
\end{Conjecture}

\begin{Remark}
There is no subsection here yet, so the subsection part of its number is
0, as in LaTeX.
\end{Remark}