InfernalAtom683: Created page with "{{Documentation subpage}} The '''SubQED template''' marks the end of a subordinate argument within a proof. It displays a solid square,

\blacksquare

. The template {{tl|QED}} redirects here. == Usage == Place the template at the end of a claim, case, implication, or other subordinate argument:

 Suppose that  $x\in\ker f$ . Then  $f(x)=e$ , and hence  $x\in N$ . {{SubQED}}

It may also be invoked through its shorter..."

2026-07-16T08:39:26Z

Created page with "{{Documentation subpage}} The '''SubQED template''' marks the end of a subordinate argument within a proof. It displays a solid square, <math>\blacksquare</math>. The template {{tl|QED}} redirects here. == Usage == Place the template at the end of a claim, case, implication, or other subordinate argument: <pre> Suppose that <math>x\in\ker f</math>. Then <math>f(x)=e</math>, and hence <math>x\in N</math>. {{SubQED}} </pre> It may also be invoked through its shorter..."

New page

{{Documentation subpage}}

The '''SubQED template''' marks the end of a subordinate argument within a proof. It displays a solid square, <math>\blacksquare</math>.

The template {{tl|QED}} redirects here.

== Usage ==

Place the template at the end of a claim, case, implication, or other subordinate argument:

<pre>
Suppose that <math>x\in\ker f</math>. Then <math>f(x)=e</math>, and hence
<math>x\in N</math>. {{SubQED}}
</pre>

It may also be invoked through its shorter alias:

<pre>
{{QED}}
</pre>

== Conventions ==

The solid square marks the end of a subordinate proof or a distinct stage of an enclosing proof. It should not normally be used after every paragraph or calculation.

For the end of an entire proof, use {{tl|ProofQED}}, which displays an open square.

== See also ==

* {{tl|ProofQED}}

<includeonly>
[[Category:Proof templates]]
</includeonly>

Template:SubQED/doc - Revision history