Proof environment
...

Remark 1.
  • This is still an experimental feature.
  • See also this post on the forum for more information.

This plugin supports -like proof environments.

`\begin{proof}`
Lorem ipsum dolor sit amet, consectetur adipiscing elit, ...
`\end{proof}`

Proof.
Lorem ipsum dolor sit amet, consectetur adipiscing elit, ...

Custom texts
...

Use the following syntax to print custom text.
Any inline markdown syntax can be used, but inline formulas will render with flickering in the live preview.

`\begin{proof}[Solution.]`
Lorem ipsum dolor sit amet, consectetur adipiscing elit, ...
`\end{proof}`

Solution.
Lorem ipsum dolor sit amet, consectetur adipiscing elit, ...

Linked proofs
...

Suppose that you have a theorem like below and it has a block ID 123456.

Theorem 2 (Title).

Content

The following will be printed as "Proof of Theorem 2 (Title)." by default.

`\begin{proof}`@[[#^123456]]
Lorem ipsum dolor sit amet, consectetur adipiscing elit, ...
`\end{proof}`

Proof of Theorem callouts > Theorem 1 (Title).
Lorem ipsum dolor sit amet, consectetur adipiscing elit, ...

Remark 3.

Alternatively, you can just write:

\begin{proof}[Proof of [[#^123456]].]

For now, I prefer this due to its potentially higher potability.
The strength of the @ syntax is it's rendered dynamically depending on the current profile.

Settings & styling
...

Don't like \begin{proof}? You can use any string you like instead. Go to the plugin setting tab, and modify the Beginning of proof and Ending of proof fields. Also take a look at the Proofs section in the Profiles editing menu.

Beginning/ending of proofs are given the following CSS classes.

  • .math-booster-begin-proof/.math-booster-end-proof
  • .math-booster-begin-proof-{tag}/.math-booster-end-proof-{tag}: {tag} is each tag associated with the profile applying to the note.

Latex Suite snippet
...

Using the following Latex Suite snippet, you can quickly insert a proof by just typing proof+Tab.

    { trigger: "proof", replacement: "`\\begin{proof}`\n$0\n`\\end{proof}`", options: "t" }