More line returns on generated TeX files after a theorem environment

[tomlo76]

Hello,

I use many prf directives with MyST and I frequently check the generated TeX files before generating manually the PDF. I notice that there is no new line after the end environment command for every associated environment with prf.

For example, the following :

:::{prf:definition} Cat
:label: cat-definition

A **cat** is a small, domesticated mammal known for its agility, independence, and companionship.
:::

This was the definition of a cat.

Will render in LaTeX as :

\begin{definition}\label{cat-definition}A \textbf{cat} is a small, domesticated mammal known for its agility, independence, and companionship.

\end{definition}This was the definition of a cat.

I don't think it may cause issue with LaTeX (maybe with unusual structure), but for reviewing the TeX manually I think it could be better to have more line returns to increase readability (after begin environment, after label and after end environment). It could be easy to implement in the file myst-to-tex/src/proof.ts :

export const proofHandler: Handler = (node, state) => {
  state.usePackages('amsthm');

  const p = node as ProofContainer;
  const env = kindToEnvironment(p.kind ?? 'proof');
  if (!env) {
    fileError(state.file, `Unhandled LaTeX proof environment "${p.kind}"`, {
      node,
      source: 'myst-to-tex',
      ruleId: RuleId.texRenders,
    });
    return;
  }

  const t = select('admonitionTitle > text', node);
  if (t) {
    // Do not render the title twice
    t.type = '__delete__';
  }
  const newNode = remove(node, '__delete__') as GenericNode;
  addIndexEntries(node, state);
  state.write('\\begin{');
  state.write(env);
  state.write('}');
  if (t) {
    state.write('[');
    state.write((t as Text).value);
    state.write(']');
  }
  state.write('\n');    // Here
  if (newNode.identifier && newNode.identifier.length > 0) {
    state.write('\\label{');
    state.write(newNode.identifier);
    state.write('}');
    state.write('\n');    // Here
  }
  state.renderChildren(newNode, true);
  state.write('\\end{');
  state.write(env);
  state.write('}');
  state.write('\n');    // Here

  state.data.hasProofs = true;
};