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" }