Jump to content

Template:SubQED/doc: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

16 July 2026

  • curprev 16:3916:39, 16 July 2026 InfernalAtom683 talk contribs 868 bytes +868 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..."