Template:SubQED/doc

The SubQED template marks the end of a subordinate argument within a proof. It displays a solid square, .

The template Template:Tl redirects here.

Usage

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

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

It may also be invoked through its shorter alias:

{{QED}}

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 Template:Tl, which displays an open square.

See also

• Template:Tl