Consistent Output across Formats

[FelixBenning]

Description

::: {.proof name="My label"}

:::

results in

Proof (My label).

in html but in LateX it results in

My label.

This inconsistency is apparently by design!

---

The reason is, that Quarto attempts to emulate the behavior of

\begin{proof}[My label]

\end{proof}

which does behave in this way in LaTeX.

However this means, that you get different output in html and LaTeX. This means you cannot use Proof names if you intend to target both pdf and html. Since the main reason one would want to use Quarto is to target multiple platforms this will make "Named Proofs" an unusable feature for most people. Moreover people may not notice if they do not inspect the pdf too closely and rely on the html preview.

I reported this as a bug first, because I cannot imagine a usecase where this inconsitency is more convenient to someone than a consistent choice would be. "Not having to learn a different behavior" certainly does not apply because the preview is going to be different. So you will notice that it is different in the preview, change it and then hopefully notice that the pdf output is wrong.

[mcanouil]

Then (as a workaround) make it a cross-reference object and use the ID to reference it.

---
format:
  pdf: default
  html: default
crossref:
  custom:
    - kind: float
      reference-prefix: Proof
      key: proof
      latex-env: proof
---

:::: {#proof-one}
What is the solution to this problem?

The label
:::

See @proof-one for the proof.