Mathepedia - Recent changes [en]

Template:Statement/styles.css

InfernalAtom683 — Fri, 17 Jul 2026 10:56:41 GMT

← Older revision		Revision as of 18:56, 17 July 2026
Line 4:		Line 4:
	}		}

	~~/* Theorem、Lemma、Proposition 等 */~~
	.global-box.math-statement--proof {		.global-box.math-statement--proof {
	border-left-color: #36c;		border-left-color: #36c;
	}		}

	~~/* Definition、Axiom、Notation 等 */~~
	.global-box.math-statement--definition {		.global-box.math-statement--definition {
	border-left-color: #14866d;		border-left-color: #14866d;
	}		}

	~~/* Conjecture、Hypothesis */~~
	.global-box.math-statement--conjecture {		.global-box.math-statement--conjecture {
	border-left-color: #7256a8;		border-left-color: #7256a8;
	}		}

	~~/* Example、Counterexample */~~
	.global-box.math-statement--example {		.global-box.math-statement--example {
	border-left-color: #ac6600;		border-left-color: #ac6600;
	}		}

	~~/* Exercise、Problem、Question */~~
	.global-box.math-statement--task {		.global-box.math-statement--task {
	border-left-color: #b32424;		border-left-color: #b32424;
	}		}

	~~/* Remark、Note、Observation 等 */~~
	.global-box.math-statement--expository {		.global-box.math-statement--expository {
	border-left-color: #72777d;		border-left-color: #72777d;
Line 40:		Line 34:
	.math-statement--proof .global-box__details-heading {		.math-statement--proof .global-box__details-heading {
	font-style: italic;		font-style: italic;
			}

			.global-box.math-statement.compact-note {
			display: flex;
			align-items: baseline;
			margin-top: 0.4em;
			margin-bottom: 0.4em;
			}

			.math-statement.compact-note .global-box__title {
			flex: 0 0 auto;
			padding: 0.3em 0 0.3em 0.6em;
			font-size: 1em;
			line-height: 1.4;
			}

			.math-statement.compact-note .global-box__body {
			flex: 1 1 auto;
			min-width: 0;
			padding: 0.3em 0.6em 0.3em 0.35em;
			line-height: 1.4;
			}

			@media (max-width: 500px) {
			.math-statement.compact-note .global-box__title {
			padding-left: 0.5em;
			}

			.math-statement.compact-note .global-box__body {
			padding-right: 0.5em;
			}
	}		}

Template:CompactNote

InfernalAtom683 — Fri, 17 Jul 2026 10:56:04 GMT

Created page with "{{Statement | type=note | title={{{title|Note}}} | content={{{note|{{{1|}}}}}} | style={{{style|}}} | class=compact-note {{{class|}}} }}"

New page

{{Statement
| type=note
| title={{{title|Note}}}
| content={{{note|{{{1|}}}}}}
| style={{{style|}}}
| class=compact-note {{{class|}}}
}}

Mathepedia:Terminology submissions

InfernalAtom683 — Thu, 16 Jul 2026 18:24:02 GMT

New terminology translation: Hausdorff space (Ελληνικά)

New page

== Translation: Hausdorff space — Ελληνικά ==

* '''Source page:''' [[Hausdorff space]]
* '''Term:''' <nowiki>Hausdorff space</nowiki>
* '''Language:''' <nowiki>Ελληνικά</nowiki>
* '''Translation:''' <nowiki>χώρος Χάουσντορφ</nowiki>
* '''Submitted by:''' [[User:InfernalAtom683|InfernalAtom683]] ([[User talk:InfernalAtom683|talk]]) 02:19, 17 July 2026 (CST)

MediaWiki:Common.js

InfernalAtom683 — Thu, 16 Jul 2026 18:19:25 GMT

Created page with "Any JavaScript here will be loaded for all users on every page load.: ( function ( mw, $ ) { 'use strict'; var submissionPage = 'Project:Terminology submissions'; var otherValue = '__other__'; var languages = [ 'English', 'Français', 'Deutsch', '日本語', '中文', 'Español', 'Italiano', 'Português', 'Ελληνικά', 'Русский', '한국어', 'العربية', 'हिन्दी', 'Bahasa Indonesia', 'Nederlands',..."

New page

/* Any JavaScript here will be loaded for all users on every page load. */

( function ( mw, $ ) {
'use strict';

var submissionPage = 'Project:Terminology submissions';
var otherValue = '__other__';
var languages = [
'English',
'Français',
'Deutsch',
'日本語',
'中文',
'Español',
'Italiano',
'Português',
'Ελληνικά',
'Русский',
'한국어',
'العربية',
'हिन्दी',
'Bahasa Indonesia',
'Nederlands',
'Polski',
'Türkçe',
'Українська',
'Tiếng Việt',
'ไทย'
];

function wrapNowiki( value ) {
return '<nowiki>' + String( value ).replace( /<\/nowiki\s*>/gi, '</nowiki>' ) + '</nowiki>';
}

function setStatus( form, message, type ) {
var status = form.querySelector( '.terminology-form-status' );
status.className = 'terminology-form-status' +
( type ? ' terminology-form-status--' + type : '' );
status.textContent = message;
}

function option( value, label, disabled, selected ) {
var item = document.createElement( 'option' );
item.value = value;
item.textContent = label;
item.disabled = !!disabled;
item.selected = !!selected;
return item;
}

function initialiseForm( form ) {
var controls, languageSelect, otherLanguage, translation, submit, term;

if ( form.getAttribute( 'data-terminology-ready' ) === 'yes' ) {
return;
}
form.setAttribute( 'data-terminology-ready', 'yes' );

term = form.querySelector( '.terminology-form-term' ).textContent.trim();
controls = form.querySelector( '.terminology-form-controls' );
controls.textContent = '';

languageSelect = document.createElement( 'select' );
languageSelect.className = 'terminology-language-select';
languageSelect.setAttribute( 'aria-label', 'Language' );
languageSelect.appendChild( option( '', 'Choose language', true, true ) );
languages.forEach( function ( language ) {
languageSelect.appendChild( option( language, language ) );
} );
languageSelect.appendChild( option( otherValue, 'Other language…' ) );

otherLanguage = document.createElement( 'input' );
otherLanguage.type = 'text';
otherLanguage.className = 'terminology-other-language';
otherLanguage.placeholder = 'Language name';
otherLanguage.setAttribute( 'aria-label', 'Other language name' );
otherLanguage.hidden = true;

translation = document.createElement( 'input' );
translation.type = 'text';
translation.className = 'terminology-translation-input';
translation.placeholder = 'Enter translation';
translation.setAttribute( 'aria-label', 'Translation' );

submit = document.createElement( 'button' );
submit.type = 'button';
submit.className = 'terminology-translation-submit';
submit.textContent = 'Submit translation';

controls.appendChild( languageSelect );
controls.appendChild( otherLanguage );
controls.appendChild( translation );
controls.appendChild( submit );

languageSelect.addEventListener( 'change', function () {
otherLanguage.hidden = languageSelect.value !== otherValue;
if ( !otherLanguage.hidden ) {
otherLanguage.focus();
}
} );

submit.addEventListener( 'click', function () {
var language = languageSelect.value === otherValue ?
otherLanguage.value.trim() : languageSelect.value;
var translatedTerm = translation.value.trim();
var sourcePage = String( mw.config.get( 'wgPageName' ) || '' ).replace( /_/g, ' ' );
var sectionTitle;
var sectionText;

if ( !language ) {
setStatus( form, 'Please choose or enter a language.', 'error' );
languageSelect.focus();
return;
}
if ( !translatedTerm ) {
setStatus( form, 'Please enter a translation.', 'error' );
translation.focus();
return;
}

sectionTitle = 'Translation: ' + term + ' — ' + language;
sectionText =
"* '''Source page:''' [[" + sourcePage + "]]\n" +
"* '''Term:''' " + wrapNowiki( term ) + "\n" +
"* '''Language:''' " + wrapNowiki( language ) + "\n" +
"* '''Translation:''' " + wrapNowiki( translatedTerm ) + "\n" +
"* '''Submitted by:''' [[User:InfernalAtom683|InfernalAtom683]] ([[User talk:InfernalAtom683|talk]]) 02:19, 17 July 2026 (CST)";

submit.disabled = true;
setStatus( form, 'Submitting…' );

new mw.Api().postWithToken( 'csrf', {
action: 'edit',
title: submissionPage,
section: 'new',
sectiontitle: sectionTitle,
text: sectionText,
summary: ( 'New terminology translation: ' + term + ' (' + language + ')' ).slice( 0, 240 ),
watchlist: 'nochange',
formatversion: 2
} ).done( function () {
translation.value = '';
setStatus( form, 'Translation submitted for review. Thank you!', 'success' );
} ).fail( function ( code, data ) {
var detail = data && data.error && data.error.info ? ' ' + data.error.info : '';
setStatus( form, 'Submission failed.' + detail, 'error' );
} ).always( function () {
submit.disabled = false;
} );
} );
}

function initialiseTerminologyForms( $content ) {
$content.find( '.terminology-translation-form' ).each( function () {
initialiseForm( this );
} );
}

mw.loader.using( 'mediawiki.api' ).then( function () {
mw.hook( 'wikipage.content' ).add( initialiseTerminologyForms );
} );
}( mediaWiki, jQuery ) );

Template:Terminology/styles.css

InfernalAtom683 — Thu, 16 Jul 2026 18:18:21 GMT

← Older revision		Revision as of 02:18, 17 July 2026
Line 14:		Line 14:
	overflow-x: auto;		overflow-x: auto;
	border: 1px solid #c8ccd1;		border: 1px solid #c8ccd1;
	~~border-radius: 3px;~~
	background: #fff;		background: #fff;
	}		}
Line 117:		Line 116:
	padding: 0.5rem 0.65rem;		padding: 0.5rem 0.65rem;
	border: 0;		border: 0;
	~~border-radius: 0;~~
	background: transparent;		background: transparent;
	color: #36c;		color: #36c;
Line 168:		Line 166:
	overflow: hidden;		overflow: hidden;
	border: 1px solid #c8ccd1;		border: 1px solid #c8ccd1;
	~~border-radius: 3px;~~
	}		}

Line 223:		Line 220:
	}		}

	.terminology~~-submit~~-form,		.terminology-form-term {
	~~.terminology~~-~~submit-form form,~~		display: none;
	~~.terminology-submit-form p~~ {
	~~margin~~: 0;
	}		}

	.terminology-~~submit~~-~~form form~~ {		.terminology-form-controls {
	display: flex;		display: flex;
	align-items: center;		align-items: center;
	flex-wrap: wrap;		flex-wrap: wrap;
			gap: 0.5rem;
	}		}

	.terminology-~~submit~~-~~form~~ input~~[type="text"]~~ {		.terminology-language-select,
			.terminology-other-language,
			.terminology-translation-input {
	box-sizing: border-box;		box-sizing: border-box;
	~~width: 24rem;~~
	max-width: 100%;		max-width: 100%;
	height: 32px;		height: 32px;
	padding: 0.35rem 0.55rem;		padding: 0.35rem 0.55rem;
	border: 1px solid #a2a9b1;		border: 1px solid #a2a9b1;
	~~border-radius: 2px;~~
	background: #fff;		background: #fff;
	color: #202122;		color: #202122;
Line 248:		Line 244:
	}		}

	.terminology-~~submit~~-~~form~~ input~~[type="text"]~~:focus {		.terminology-language-select {
			width: 13rem;
			}

			.terminology-other-language {
			width: 13rem;
			}

			.terminology-translation-input {
			flex: 1 1 18rem;
			min-width: 14rem;
			}

			.terminology-language-select:focus,
			.terminology-other-language:focus,
			.terminology-translation-input:focus {
	border-color: #36c;		border-color: #36c;
	outline: 1px solid #36c;		outline: 1px solid #36c;
	}		}

	.terminology-~~submit~~-~~form input~~[~~type="submit"~~],		.terminology-form-controls [hidden] {
	.terminology-~~submit~~-~~form button[type="~~submit"] {		display: none !important;
			}

			.terminology-translation-submit {
	box-sizing: border-box;		box-sizing: border-box;
	height: 32px;		height: 32px;
	~~margin-left: 0.5rem;~~
	padding: 0.35rem 0.8rem;		padding: 0.35rem 0.8rem;
	border: 1px solid #36c;		border: 1px solid #36c;
	~~border-radius: 2px;~~
	background: #36c;		background: #36c;
	color: #fff;		color: #fff;
Line 268:		Line 280:
	}		}

	.terminology-~~submit-form input[type="submit"]:hover,~~		.terminology-translation-submit:hover {
	~~.terminology-submit~~-~~form button[type="~~submit"]:hover {
	background: #2a4b8d;		background: #2a4b8d;
			}

			.terminology-translation-submit:disabled {
			opacity: 0.65;
			cursor: default;
			}

			.terminology-form-status {
			min-height: 1.3em;
			margin-top: 0.4rem;
			}

			.terminology-form-status--success {
			color: #14866d;
			}

			.terminology-form-status--error {
			color: #b32424;
	}		}

Line 327:		Line 356:
	content: "";		content: "";
	position: absolute;		position: absolute;
	~~border-radius: 1px;~~
	background: currentcolor;		background: currentcolor;
	}		}
Line 355:		Line 383:

	@media (max-width: 600px) {		@media (max-width: 600px) {
	.terminology-~~submit~~-~~form~~ input~~[type="submit"]~~,		.terminology-form-controls {
	.terminology-~~submit~~-~~form button[type="~~submit"] {		align-items: stretch;
	~~margin-top~~: ~~0.45rem~~;		flex-direction: column;
	~~margin~~-~~left~~: 0;		}

			.terminology-language-select,
			.terminology-other-language,
			.terminology-translation-input,
			.terminology-translation-submit {
			width: 100%;
			min-width: 0;
	}		}

Template:Terminology/row

InfernalAtom683 — Thu, 16 Jul 2026 18:17:47 GMT

← Older revision		Revision as of 02:17, 17 July 2026
Line 10:		Line 10:
	<tr class="terminology-more-row">		<tr class="terminology-more-row">
	<td class="terminology-more-cell" colspan="6">		<td class="terminology-more-cell" colspan="6">
	<div class="terminology-extra-table" role="table" aria-label="Other languages">{{#if:{{{more\|}}}{{{language1\|}}}{{{language2\|}}}{{{language3\|}}}{{{language4\|}}}{{{language5\|}}}{{{language6\|}}}{{{language7\|}}}{{{language8\|}}}{{{language9\|}}}{{{language10\|}}}{{{language11\|}}}{{{language12\|}}}\|{{{more\|}}}{{#if:{{{language1\|}}}{{{language2\|}}}\|{{Terminology/more row\|language1={{{language1\|}}}\|term1={{{term1\|}}}\|language2={{{language2\|}}}\|term2={{{term2\|}}}}}\|}}{{#if:{{{language3\|}}}{{{language4\|}}}\|{{Terminology/more row\|language1={{{language3\|}}}\|term1={{{term3\|}}}\|language2={{{language4\|}}}\|term2={{{term4\|}}}}}\|}}{{#if:{{{language5\|}}}{{{language6\|}}}\|{{Terminology/more row\|language1={{{language5\|}}}\|term1={{{term5\|}}}\|language2={{{language6\|}}}\|term2={{{term6\|}}}}}\|}}{{#if:{{{language7\|}}}{{{language8\|}}}\|{{Terminology/more row\|language1={{{language7\|}}}\|term1={{{term7\|}}}\|language2={{{language8\|}}}\|term2={{{term8\|}}}}}\|}}{{#if:{{{language9\|}}}{{{language10\|}}}\|{{Terminology/more row\|language1={{{language9\|}}}\|term1={{{term9\|}}}\|language2={{{language10\|}}}\|term2={{{term10\|}}}}}\|}}{{#if:{{{language11\|}}}{{{language12\|}}}\|{{Terminology/more row\|language1={{{language11\|}}}\|term1={{{term11\|}}}\|language2={{{language12\|}}}\|term2={{{term12\|}}}}}\|}}\|{{Terminology/empty}}}}</div>		<div class="terminology-extra-table" role="table" aria-label="Other languages">{{#if:{{{more\|}}}{{{language1\|}}}{{{language2\|}}}{{{language3\|}}}{{{language4\|}}}{{{language5\|}}}{{{language6\|}}}{{{language7\|}}}{{{language8\|}}}{{{language9\|}}}{{{language10\|}}}{{{language11\|}}}{{{language12\|}}}\|{{{more\|}}}{{#if:{{{language1\|}}}{{{language2\|}}}\|{{Terminology/more row\|language1={{{language1\|}}}\|term1={{{term1\|}}}\|language2={{{language2\|}}}\|term2={{{term2\|}}}}}\|}}{{#if:{{{language3\|}}}{{{language4\|}}}\|{{Terminology/more row\|language1={{{language3\|}}}\|term1={{{term3\|}}}\|language2={{{language4\|}}}\|term2={{{term4\|}}}}}\|}}{{#if:{{{language5\|}}}{{{language6\|}}}\|{{Terminology/more row\|language1={{{language5\|}}}\|term1={{{term5\|}}}\|language2={{{language6\|}}}\|term2={{{term6\|}}}}}\|}}{{#if:{{{language7\|}}}{{{language8\|}}}\|{{Terminology/more row\|language1={{{language7\|}}}\|term1={{{term7\|}}}\|language2={{{language8\|}}}\|term2={{{term8\|}}}}}\|}}{{#if:{{{language9\|}}}{{{language10\|}}}\|{{Terminology/more row\|language1={{{language9\|}}}\|term1={{{term9\|}}}\|language2={{{language10\|}}}\|term2={{{term10\|}}}}}\|}}{{#if:{{{language11\|}}}{{{language12\|}}}\|{{Terminology/more row\|language1={{{language11\|}}}\|term1={{{term11\|}}}\|language2={{{language12\|}}}\|term2={{{term12\|}}}}}\|}}\|{{Terminology/empty\|term={{{english\|}}}}}}}</div>
	</td>		</td>
	</tr>		</tr>

Template:Terminology/empty

InfernalAtom683 — Thu, 16 Jul 2026 18:16:51 GMT

← Older revision		Revision as of 02:16, 17 July 2026
Line 2:		Line 2:
	<div class="terminology-empty-message">No additional translations are available yet.</div>		<div class="terminology-empty-message">No additional translations are available yet.</div>
	<div class="terminology-submit-title">Submit a translation in your language</div>		<div class="terminology-submit-title">Submit a translation in your language</div>
	<div class="terminology-submit-help">~~Enter~~ the ~~language and~~ translated term ~~below. Your submission will be opened~~ for review.</div>		<div class="terminology-submit-help">Choose a language, enter the translated term, and submit it for review.</div>
	<div class="terminology-~~submit~~-form"><~~inputbox~~>		<div class="terminology-translation-form">
	~~type~~=~~commenttitle~~		<span class="terminology-form-term">{{{term\|}}}</span>
	~~page~~=~~Project:~~Terminology ~~submissions~~		<div class="terminology-form-controls"><span class="terminology-form-fallback">The translation form requires the Terminology site script.</span></div>
	~~width~~=36		<div class="terminology-form-status" role="status" aria-live="polite"></div>
	~~break~~=no		</div>
	~~placeholder~~=~~Language — translation~~
	~~buttonlabel=Submit translation~~
	</~~inputbox~~></div>
	</div></includeonly><noinclude>		</div></includeonly><noinclude>
	Empty-state and translation-submission ~~form~~ used by [[Template:Terminology/row]]. ~~Change~~ the <code>~~page=~~</code> ~~value above if submissions should go to a different Wiki page. Requires Extension:InputBox~~.		Empty-state and translation-submission container used by [[Template:Terminology/row]]. The interactive language selector and translation field are created by the Terminology code installed in <code>MediaWiki:Common.js</code>.
	</noinclude>		</noinclude>

Hausdorff space

InfernalAtom683 — Thu, 16 Jul 2026 15:26:18 GMT

← Older revision		Revision as of 23:26, 16 July 2026
(One intermediate revision by the same user not shown)
Line 5:		Line 5:

	== Definitions ==		== Definitions ==
			{{Definition\|
	A topological space <math>(X,\tau)</math> is Hausdorff, if for any two points <math>x,y\in X</math>, there exists two disjoint open sets <math>U,V\in \tau</math>, <math>U\cap V=\varnothing</math>, such that <math>x\in U</math> and <math>y\in V</math>.		A topological space <math>(X,\tau)</math> is Hausdorff, if for any two points <math>x,y\in X</math>, there exists two disjoint open sets <math>U,V\in \tau</math>, <math>U\cap V=\varnothing</math>, such that <math>x\in U</math> and <math>y\in V</math>.
			}}
	=== Equivalent Definitions ===		=== Equivalent Definitions ===
	Any convergent [[sequence]] in <math>X</math> has at most one limit.		Any convergent [[sequence]] in <math>X</math> has at most one limit.

	== Properties ==		== Properties ==
	{{Property\|property=Subspaces of Hausdorff spaces are Hausdorff.~~}}{{Proof~~\|proof=Let <math>Y \subseteq X</math> with <math>X</math> Hausdorff. For <math>y_1, y_2 \in Y, y_1 \neq y_2</math>, there exist disjoint open sets <math>U, V \subseteq X</math> with <math>y_1 \in U</math> and <math>y_2 \in V</math>. Then <math>U \cap Y</math> and <math>V \cap Y</math> are disjoint open sets in <math>Y</math> containing <math>y_1</math> and <math>y_2</math>.}}{{Property\|property=Finite products of Hausdorff spaces are Hausdorff.~~}}{{Proof~~\|proof=Let <math>X_1, \dots, X_n</math> be Hausdorff. Consider points <math>(x_1, \dots, x_n) \neq (y_1, \dots, y_n)</math>. There exists an index <math>i</math> with <math>x_i \neq y_i</math>.		{{Property
			\|property=Subspaces of Hausdorff spaces are Hausdorff.
			\|proof=Let <math>Y \subseteq X</math> with <math>X</math> Hausdorff. For <math>y_1, y_2 \in Y, y_1 \neq y_2</math>, there exist disjoint open sets <math>U, V \subseteq X</math> with <math>y_1 \in U</math> and <math>y_2 \in V</math>. Then <math>U \cap Y</math> and <math>V \cap Y</math> are disjoint open sets in <math>Y</math> containing <math>y_1</math> and <math>y_2</math>.
			}}

			{{Property
			\|property=Finite products of Hausdorff spaces are Hausdorff.
			\|proof=Let <math>X_1, \dots, X_n</math> be Hausdorff. Consider points <math>(x_1, \dots, x_n) \neq (y_1, \dots, y_n)</math>. There exists an index <math>i</math> with <math>x_i \neq y_i</math>.

			Since <math>X_i</math> is Hausdorff, choose disjoint open sets <math>U_i, V_i \subseteq X_i</math> containing <math>x_i</math> and <math>y_i</math>. Then <math>U_1 \times \dots \times U_n</math> and <math>V_1 \times \dots \times V_n</math> are disjoint open sets containing the two points.}}

	Since <math>X_i</math> is Hausdorff, choose disjoint open sets <math>U_i, V_i \subseteq X_i</math> containing <math>x_i</math> and <math>y_i</math>. Then <math>U_1 \times \dots \times U_n</math> and <math>V_1 \times \dots \times V_n</math> are disjoint open sets containing the two points.}}{{Property\|property=Compact subsets of Hausdorff spaces are closed.~~}}{{Proof~~\|proof=Let <math>K \subseteq X</math> be compact and <math>X</math> Hausdorff. For any <math>x \in X \setminus K</math>, for each <math>y \in K</math> choose disjoint open sets <math>U_y\ni x</math> and <math>V_y \ni y</math>.		{{Property
			\|property=Compact subsets of Hausdorff spaces are closed.
			\|proof=Let <math>K \subseteq X</math> be compact and <math>X</math> Hausdorff. For any <math>x \in X \setminus K</math>, for each <math>y \in K</math> choose disjoint open sets <math>U_y\ni x</math> and <math>V_y \ni y</math>.

	The collection <math>\{V_y \mid y \in K\}</math> covers <math>K</math>. By compactness, finitely many <math>V_{y_1}, \dots, V_{y_n}</math> cover <math>K</math>. Then <math display="block">U = \bigcap_{i=1}^n U_{y_i}</math> is open, contains <math>x</math>, and is disjoint from <math>K</math>. Hence <math>K</math> is closed.}}		The collection <math>\{V_y \mid y \in K\}</math> covers <math>K</math>. By compactness, finitely many <math>V_{y_1}, \dots, V_{y_n}</math> cover <math>K</math>. Then <math display="block">U = \bigcap_{i=1}^n U_{y_i}</math> is open, contains <math>x</math>, and is disjoint from <math>K</math>. Hence <math>K</math> is closed.
			}}

	== Examples ==		== Examples ==
	Every [[metric space]] is a Hausdorff space.		{{Example
	~~{{Proof~~\|proof=		\|example=Every [[metric space]] is a Hausdorff space.
	<div style="float:right; width:320px; margin:0 0 0.5em 1em;">		\|proof=<div style="float:right; width:320px; margin:0 0 0.5em 1em;">
	<tikz>		<tikz>
	\def\r{1.5}		\def\r{1.5}
Line 51:		Line 64:
	For contradiction, assume there exists <math>z\in B(x,r)\cap B(y,r)</math>, then <math>d(x,z)<r</math> and <math>d(y,z)<r</math>. By triangular inequality, <math display="block">d(x,y)\leq d(x,y)+d(x,z)<r+r=d(x,y),</math> there exists a contradiction.		For contradiction, assume there exists <math>z\in B(x,r)\cap B(y,r)</math>, then <math>d(x,z)<r</math> and <math>d(y,z)<r</math>. By triangular inequality, <math display="block">d(x,y)\leq d(x,y)+d(x,z)<r+r=d(x,y),</math> there exists a contradiction.

	Thus, <math>B(x,r)\cap B(y,r)=\varnothing</math>; therefore <math>(X,d)</math> is Hausdorff.}}		Thus, <math>B(x,r)\cap B(y,r)=\varnothing</math>; therefore <math>(X,d)</math> is Hausdorff.
			}}

	== See also ==		== See also ==
Line 58:		Line 72:
	* [[Convergence]]		* [[Convergence]]

	==Terminology==		{{Terminology
	~~{{Terminology_table~~\|		\|rows=
	{{~~Terminology_table~~/row \| Hausdorff space \| espace de Hausdorff ~~(espace séparé)~~ \| hausdorff-Raum ~~(hausdorffscher Raum)~~ \| Hausdorff 空间 \| Hausdorff 空間 \| ~~ハウスドルフ空間~~ }}		{{Terminology/row
			\|english=Hausdorff space
			\|french=espace de Hausdorff
			\|german=hausdorff-Raum
			\|japanese=ハウスドルフ空間
			\|chinese=Hausdorff 空间 · Hausdorff 空間
			\|highlight=yes
			}}
	}}		}}

Template:Terminology/empty

InfernalAtom683 — Thu, 16 Jul 2026 14:53:44 GMT

Created page with "<includeonly><div class="terminology-empty-state"> <div class="terminology-empty-message">No additional translations are available yet.</div> <div class="terminology-submit-title">Submit a translation in your language</div> <div class="terminology-submit-help">Enter the language and translated term below. Your submission will be opened for review.</div> <div class="terminology-submit-form"><inputbox> type=commenttitle page=Project:Terminology submissions width=36 break=n..."

New page

<includeonly><div class="terminology-empty-state">
<div class="terminology-empty-message">No additional translations are available yet.</div>
<div class="terminology-submit-title">Submit a translation in your language</div>
<div class="terminology-submit-help">Enter the language and translated term below. Your submission will be opened for review.</div>
<div class="terminology-submit-form"><inputbox>
type=commenttitle
page=Project:Terminology submissions
width=36
break=no
placeholder=Language — translation
buttonlabel=Submit translation
</inputbox></div>
</div></includeonly><noinclude>
Empty-state and translation-submission form used by [[Template:Terminology/row]]. Change the <code>page=</code> value above if submissions should go to a different Wiki page. Requires Extension:InputBox.
</noinclude>

Template:Terminology/styles.css

InfernalAtom683 — Thu, 16 Jul 2026 14:53:13 GMT

Show changes

Template:Terminology/row

InfernalAtom683 — Thu, 16 Jul 2026 14:50:32 GMT

← Older revision		Revision as of 22:50, 16 July 2026
(5 intermediate revisions by the same user not shown)
Line 1:		Line 1:
	<includeonly><table class="terminology-row{{#if:{{{language1\|}}}{{{language2\|}}}{{{language3\|}}}{{{language4\|}}}{{{language5\|}}}{{{language6\|}}}{{{language7\|}}}{{{language8\|}}}{{{language9\|}}}{{{language10\|}}}{{{language11\|}}}{{{language12\|}}}\| mw-collapsible mw-collapsed~~\|}}~~" data-highlight="{{{highlight\|no}}}" data-~~has-more~~="{{~~#if:~~{~~{{language1\|}}}{{{language2~~\|~~}}}{{{language3\|}}}{{{language4\|}}}{{{language5\|}}}{{{language6\|}}}{{{language7\|}}}{{{language8\|}}}{{{language9\|}}}{{{language10\|}}}{{{language11\|}}}{{{language12\|}}}\|yes\|no}}" data-expandtext="~~{{Terminology/count\|{{{english\|}}}\|{{{french\|}}}\|{{{german\|}}}\|{{{japanese\|}}}\|{{{chinese\|}}}\|{{{language1\|}}}\|{{{language2\|}}}\|{{{language3\|}}}\|{{{language4\|}}}\|{{{language5\|}}}\|{{{language6\|}}}\|{{{language7\|}}}\|{{{language8\|}}}\|{{{language9\|}}}\|{{{language10\|}}}\|{{{language11\|}}}\|{{{language12\|}}}}} languages" data-collapsetext="{{Terminology/count\|{{{english\|}}}\|{{{french\|}}}\|{{{german\|}}}\|{{{japanese\|}}}\|{{{chinese\|}}}\|{{{language1\|}}}\|{{{language2\|}}}\|{{{language3\|}}}\|{{{language4\|}}}\|{{{language5\|}}}\|{{{language6\|}}}\|{{{language7\|}}}\|{{{language8\|}}}\|{{{language9\|}}}\|{{{language10\|}}}\|{{{language11\|}}}\|{{{language12\|}}}}} languages">		<includeonly><table class="terminology-row mw-collapsible mw-collapsed" data-highlight="{{{highlight\|no}}}" data-expandtext="{{{more-count\|{{Terminology/count\|{{{english\|}}}\|{{{french\|}}}\|{{{german\|}}}\|{{{japanese\|}}}\|{{{chinese\|}}}\|{{{language1\|}}}\|{{{language2\|}}}\|{{{language3\|}}}\|{{{language4\|}}}\|{{{language5\|}}}\|{{{language6\|}}}\|{{{language7\|}}}\|{{{language8\|}}}\|{{{language9\|}}}\|{{{language10\|}}}\|{{{language11\|}}}\|{{{language12\|}}}}}}}} languages" data-collapsetext="{{{more-count\|{{Terminology/count\|{{{english\|}}}\|{{{french\|}}}\|{{{german\|}}}\|{{{japanese\|}}}\|{{{chinese\|}}}\|{{{language1\|}}}\|{{{language2\|}}}\|{{{language3\|}}}\|{{{language4\|}}}\|{{{language5\|}}}\|{{{language6\|}}}\|{{{language7\|}}}\|{{{language8\|}}}\|{{{language9\|}}}\|{{{language10\|}}}\|{{{language11\|}}}\|{{{language12\|}}}}}}}} languages">
	<tr class="terminology-main-row">		<tr class="terminology-main-row">
	<td class="terminology-cell terminology-cell--english" dir="auto">{{{english\|}}}</td>		<td class="terminology-cell terminology-cell--english" dir="auto">{{{english\|}}}</td>
Line 6:		Line 6:
	<td class="terminology-cell terminology-cell--japanese" dir="auto">{{{japanese\|}}}</td>		<td class="terminology-cell terminology-cell--japanese" dir="auto">{{{japanese\|}}}</td>
	<td class="terminology-cell terminology-cell--chinese" dir="auto">{{{chinese\|}}}</td>		<td class="terminology-cell terminology-cell--chinese" dir="auto">{{{chinese\|}}}</td>
	<td class="terminology-cell terminology-cell--more"><span class="terminology-language-count">{{Terminology/count\|{{{english\|}}}\|{{{french\|}}}\|{{{german\|}}}\|{{{japanese\|}}}\|{{{chinese\|}}}\|{{{language1\|}}}\|{{{language2\|}}}\|{{{language3\|}}}\|{{{language4\|}}}\|{{{language5\|}}}\|{{{language6\|}}}\|{{{language7\|}}}\|{{{language8\|}}}\|{{{language9\|}}}\|{{{language10\|}}}\|{{{language11\|}}}\|{{{language12\|}}}}} languages</span></td>		<td class="terminology-cell terminology-cell--more"><span class="terminology-language-count">{{{more-count\|{{Terminology/count\|{{{english\|}}}\|{{{french\|}}}\|{{{german\|}}}\|{{{japanese\|}}}\|{{{chinese\|}}}\|{{{language1\|}}}\|{{{language2\|}}}\|{{{language3\|}}}\|{{{language4\|}}}\|{{{language5\|}}}\|{{{language6\|}}}\|{{{language7\|}}}\|{{{language8\|}}}\|{{{language9\|}}}\|{{{language10\|}}}\|{{{language11\|}}}\|{{{language12\|}}}}}}}} languages</span></td>
	</tr>		</tr>
	<tr class="terminology-more-row">		<tr class="terminology-more-row">
	<td class="terminology-more-cell" colspan="6">		<td class="terminology-more-cell" colspan="6">
	<div class="terminology-extra-table" role="table" aria-label="Other languages">		<div class="terminology-extra-table" role="table" aria-label="Other languages">{{#if:{{{more\|}}}{{{language1\|}}}{{{language2\|}}}{{{language3\|}}}{{{language4\|}}}{{{language5\|}}}{{{language6\|}}}{{{language7\|}}}{{{language8\|}}}{{{language9\|}}}{{{language10\|}}}{{{language11\|}}}{{{language12\|}}}\|{{{more\|}}}{{#if:{{{language1\|}}}{{{language2\|}}}\|{{Terminology/more row\|language1={{{language1\|}}}\|term1={{{term1\|}}}\|language2={{{language2\|}}}\|term2={{{term2\|}}}}}\|}}{{#if:{{{language3\|}}}{{{language4\|}}}\|{{Terminology/more row\|language1={{{language3\|}}}\|term1={{{term3\|}}}\|language2={{{language4\|}}}\|term2={{{term4\|}}}}}\|}}{{#if:{{{language5\|}}}{{{language6\|}}}\|{{Terminology/more row\|language1={{{language5\|}}}\|term1={{{term5\|}}}\|language2={{{language6\|}}}\|term2={{{term6\|}}}}}\|}}{{#if:{{{language7\|}}}{{{language8\|}}}\|{{Terminology/more row\|language1={{{language7\|}}}\|term1={{{term7\|}}}\|language2={{{language8\|}}}\|term2={{{term8\|}}}}}\|}}{{#if:{{{language9\|}}}{{{language10\|}}}\|{{Terminology/more row\|language1={{{language9\|}}}\|term1={{{term9\|}}}\|language2={{{language10\|}}}\|term2={{{term10\|}}}}}\|}}{{#if:{{{language11\|}}}{{{language12\|}}}\|{{Terminology/more row\|language1={{{language11\|}}}\|term1={{{term11\|}}}\|language2={{{language12\|}}}\|term2={{{term12\|}}}}}\|}}\|{{Terminology/empty}}}}</div>
	{{#if:{{{language1\|}}}{{{language2\|}}}\|{{Terminology/more row\|language1={{{language1\|}}}\|term1={{{term1\|}}}\|language2={{{language2\|}}}\|term2={{{term2\|}}}}}\|}}
	{{#if:{{{language3\|}}}{{{language4\|}}}\|{{Terminology/more row\|language1={{{language3\|}}}\|term1={{{term3\|}}}\|language2={{{language4\|}}}\|term2={{{term4\|}}}}}\|}}
	{{#if:{{{language5\|}}}{{{language6\|}}}\|{{Terminology/more row\|language1={{{language5\|}}}\|term1={{{term5\|}}}\|language2={{{language6\|}}}\|term2={{{term6\|}}}}}\|}}
	{{#if:{{{language7\|}}}{{{language8\|}}}\|{{Terminology/more row\|language1={{{language7\|}}}\|term1={{{term7\|}}}\|language2={{{language8\|}}}\|term2={{{term8\|}}}}}\|}}
	{{#if:{{{language9\|}}}{{{language10\|}}}\|{{Terminology/more row\|language1={{{language9\|}}}\|term1={{{term9\|}}}\|language2={{{language10\|}}}\|term2={{{term10\|}}}}}\|}}
	{{#if:{{{language11\|}}}{{{language12\|}}}\|{{Terminology/more row\|language1={{{language11\|}}}\|term1={{{term11\|}}}\|language2={{{language12\|}}}\|term2={{{term12\|}}}}}\|}}
	</div>
	</td>		</td>
	</tr>		</tr>
	</table></includeonly><noinclude>		</table></includeonly><noinclude>
	One terminology row. Use <code>highlight=yes</code> for the pale-blue current-page row. ~~Add other languages as~~ <code>language1</code>/<code>term1</code> ~~through~~ <code>~~language12~~</code>/<code>~~term12~~</code>~~; the displayed language count is automatic~~.		One terminology row. Use <code>highlight=yes</code> for the pale-blue current-page row. Numbered <code>language1</code>/<code>term1</code> parameters are counted automatically. Legacy <code>more=</code> content remains supported together with its manual <code>more-count=</code> value.
	</noinclude>		</noinclude>

Template:Terminology/styles.css

InfernalAtom683 — Thu, 16 Jul 2026 14:29:47 GMT

← Older revision		Revision as of 22:29, 16 July 2026
Line 76:		Line 76:
	}		}

	.terminology-row[data-highlight="yes"] .terminology-main-row > .terminology-cell {		.terminology-row[data-highlight="yes"] .terminology-main-row > .terminology-cell,
			.terminology-row[data-highlight="yes"] .terminology-more-cell {
	background: var(--background-color-progressive-subtle, #eaf3ff);		background: var(--background-color-progressive-subtle, #eaf3ff);
	}		}
Line 87:		Line 88:
	padding: 0;		padding: 0;
	border-left: 1px solid var(--border-color-subtle, #c8ccd1);		border-left: 1px solid var(--border-color-subtle, #c8ccd1);
			}

			.terminology-cell--more > .terminology-language-count {
			display: flex;
			align-items: center;
			box-sizing: border-box;
			width: 100%;
			min-height: 42px;
			padding: 0.5rem 0.65rem;
			color: var(--color-progressive, #36c);
			line-height: 1.3;
			white-space: nowrap;
			}

			.terminology-row.mw-collapsible .terminology-language-count {
			display: none;
			}

			.terminology-row[data-has-more="no"] .terminology-more-row {
			display: none;
	}		}

Line 185:		Line 206:
	display: flex;		display: flex;
	align-items: center;		align-items: center;
	min-height: ~~50px~~;		min-height: 44px;
	box-sizing: border-box;		box-sizing: border-box;
	padding: 0.~~65rem 1rem~~;		padding: 0.3rem 0.75rem;
	border-top: 1px solid var(--border-color-subtle, #c8ccd1);		border-top: 1px solid var(--border-color-subtle, #c8ccd1);
	color: var(--color-progressive, #36c);		color: var(--color-progressive, #36c);
Line 193:		Line 214:
	}		}

	.terminology-footer-action,		.terminology-footer-action {
			display: flex;
			align-items: center;
			}

			.terminology-footer-action p {
			display: flex;
			align-items: center;
			margin: 0;
			}

	.terminology-footer-action a {		.terminology-footer-action a {
	display: inline-flex;		display: inline-flex;
	align-items: center;		align-items: center;
			box-sizing: border-box;
			min-height: 32px;
			padding: 0 0.2rem;
	color: var(--color-progressive, #36c);		color: var(--color-progressive, #36c);
	text-decoration: none;		text-decoration: none;
Line 210:		Line 244:
	}		}

	.terminology-~~plus~~ {		.terminology-add-icon {
			position: relative;
	display: inline-block;		display: inline-block;
			flex: 0 0 16px;
			width: 16px;
			height: 16px;
	margin-right: 0.5rem;		margin-right: 0.5rem;
	~~font~~-~~size~~: 1.~~6rem~~;		}
	~~font~~-~~weight~~: ~~300~~;
	~~line~~-height: 0.7;		.terminology-add-icon::before,
	~~transform~~: ~~translateY(-1px)~~;		.terminology-add-icon::after {
			content: "";
			position: absolute;
			border-radius: 1px;
			background: currentcolor;
			}

			.terminology-add-icon::before {
			top: 7px;
			left: 1px;
			width: 14px;
			height: 2px;
			}

			.terminology-add-icon::after {
			top: 1px;
			left: 7px;
			width: 2px;
			height: 14px;
	}		}

	.terminology-footer-divider {		.terminology-footer-divider {
	~~align-self~~: ~~stretch~~;		display: block;
			flex: 0 0 1px;
	width: 1px;		width: 1px;
	~~max-~~height: ~~22px~~;		height: 24px;
	margin: 0 1.~~2rem~~;		margin: 0 0.9rem;
	background: var(--border-color-base, #a2a9b1);		background: var(--border-color-base, #a2a9b1);
	}		}

Template:Terminology/count

InfernalAtom683 — Thu, 16 Jul 2026 14:29:27 GMT

Created page with "<includeonly>{{#expr:{{#if:{{{1|}}}|1|0}}+{{#if:{{{2|}}}|1|0}}+{{#if:{{{3|}}}|1|0}}+{{#if:{{{4|}}}|1|0}}+{{#if:{{{5|}}}|1|0}}+{{#if:{{{6|}}}|1|0}}+{{#if:{{{7|}}}|1|0}}+{{#if:{{{8|}}}|1|0}}+{{#if:{{{9|}}}|1|0}}+{{#if:{{{10|}}}|1|0}}+{{#if:{{{11|}}}|1|0}}+{{#if:{{{12|}}}|1|0}}+{{#if:{{{13|}}}|1|0}}+{{#if:{{{14|}}}|1|0}}+{{#if:{{{15|}}}|1|0}}+{{#if:{{{16|}}}|1|0}}+{{#if:{{{17|}}}|1|0}}}}</includeonly><noinclude> Internal helper used by Template:Terminology/row to count..."

New page

<includeonly>{{#expr:{{#if:{{{1|}}}|1|0}}+{{#if:{{{2|}}}|1|0}}+{{#if:{{{3|}}}|1|0}}+{{#if:{{{4|}}}|1|0}}+{{#if:{{{5|}}}|1|0}}+{{#if:{{{6|}}}|1|0}}+{{#if:{{{7|}}}|1|0}}+{{#if:{{{8|}}}|1|0}}+{{#if:{{{9|}}}|1|0}}+{{#if:{{{10|}}}|1|0}}+{{#if:{{{11|}}}|1|0}}+{{#if:{{{12|}}}|1|0}}+{{#if:{{{13|}}}|1|0}}+{{#if:{{{14|}}}|1|0}}+{{#if:{{{15|}}}|1|0}}+{{#if:{{{16|}}}|1|0}}+{{#if:{{{17|}}}|1|0}}}}</includeonly><noinclude>
Internal helper used by [[Template:Terminology/row]] to count non-empty language parameters.
</noinclude>

Template:Terminology/row

InfernalAtom683 — Thu, 16 Jul 2026 14:29:02 GMT

← Older revision		Revision as of 22:29, 16 July 2026
Line 1:		Line 1:
	<includeonly><table class="terminology-row mw-collapsible mw-collapsed" data-highlight="{{{highlight\|no}}}" data-~~expandtext~~="{{{~~more-label~~\|{{{~~more~~-count\|0}}} ~~languages~~}}}" data-collapsetext="{{{~~more-label~~\|{{{~~more-count~~\|0}}} ~~languages~~}}}">		<includeonly><table class="terminology-row{{#if:{{{language1\|}}}{{{language2\|}}}{{{language3\|}}}{{{language4\|}}}{{{language5\|}}}{{{language6\|}}}{{{language7\|}}}{{{language8\|}}}{{{language9\|}}}{{{language10\|}}}{{{language11\|}}}{{{language12\|}}}\| mw-collapsible mw-collapsed\|}}" data-highlight="{{{highlight\|no}}}" data-has-more="{{#if:{{{language1\|}}}{{{language2\|}}}{{{language3\|}}}{{{language4\|}}}{{{language5\|}}}{{{language6\|}}}{{{language7\|}}}{{{language8\|}}}{{{language9\|}}}{{{language10\|}}}{{{language11\|}}}{{{language12\|}}}\|yes\|no}}" data-expandtext="{{Terminology/count\|{{{english\|}}}\|{{{french\|}}}\|{{{german\|}}}\|{{{japanese\|}}}\|{{{chinese\|}}}\|{{{language1\|}}}\|{{{language2\|}}}\|{{{language3\|}}}\|{{{language4\|}}}\|{{{language5\|}}}\|{{{language6\|}}}\|{{{language7\|}}}\|{{{language8\|}}}\|{{{language9\|}}}\|{{{language10\|}}}\|{{{language11\|}}}\|{{{language12\|}}}}} languages" data-collapsetext="{{Terminology/count\|{{{english\|}}}\|{{{french\|}}}\|{{{german\|}}}\|{{{japanese\|}}}\|{{{chinese\|}}}\|{{{language1\|}}}\|{{{language2\|}}}\|{{{language3\|}}}\|{{{language4\|}}}\|{{{language5\|}}}\|{{{language6\|}}}\|{{{language7\|}}}\|{{{language8\|}}}\|{{{language9\|}}}\|{{{language10\|}}}\|{{{language11\|}}}\|{{{language12\|}}}}} languages">
	<tr class="terminology-main-row">		<tr class="terminology-main-row">
	<td class="terminology-cell terminology-cell--english" dir="auto">{{{english\|}}}</td>		<td class="terminology-cell terminology-cell--english" dir="auto">{{{english\|}}}</td>
Line 6:		Line 6:
	<td class="terminology-cell terminology-cell--japanese" dir="auto">{{{japanese\|}}}</td>		<td class="terminology-cell terminology-cell--japanese" dir="auto">{{{japanese\|}}}</td>
	<td class="terminology-cell terminology-cell--chinese" dir="auto">{{{chinese\|}}}</td>		<td class="terminology-cell terminology-cell--chinese" dir="auto">{{{chinese\|}}}</td>
	<td class="terminology-cell terminology-cell--more"></td>		<td class="terminology-cell terminology-cell--more"><span class="terminology-language-count">{{Terminology/count\|{{{english\|}}}\|{{{french\|}}}\|{{{german\|}}}\|{{{japanese\|}}}\|{{{chinese\|}}}\|{{{language1\|}}}\|{{{language2\|}}}\|{{{language3\|}}}\|{{{language4\|}}}\|{{{language5\|}}}\|{{{language6\|}}}\|{{{language7\|}}}\|{{{language8\|}}}\|{{{language9\|}}}\|{{{language10\|}}}\|{{{language11\|}}}\|{{{language12\|}}}}} languages</span></td>
	</tr>		</tr>
	<tr class="terminology-more-row">		<tr class="terminology-more-row">
	<td class="terminology-more-cell" colspan="6">		<td class="terminology-more-cell" colspan="6">
	<div class="terminology-extra-table" role="table" aria-label="Other languages">		<div class="terminology-extra-table" role="table" aria-label="Other languages">
	{{{more\|}}}		{{#if:{{{language1\|}}}{{{language2\|}}}\|{{Terminology/more row\|language1={{{language1\|}}}\|term1={{{term1\|}}}\|language2={{{language2\|}}}\|term2={{{term2\|}}}}}\|}}
			{{#if:{{{language3\|}}}{{{language4\|}}}\|{{Terminology/more row\|language1={{{language3\|}}}\|term1={{{term3\|}}}\|language2={{{language4\|}}}\|term2={{{term4\|}}}}}\|}}
			{{#if:{{{language5\|}}}{{{language6\|}}}\|{{Terminology/more row\|language1={{{language5\|}}}\|term1={{{term5\|}}}\|language2={{{language6\|}}}\|term2={{{term6\|}}}}}\|}}
			{{#if:{{{language7\|}}}{{{language8\|}}}\|{{Terminology/more row\|language1={{{language7\|}}}\|term1={{{term7\|}}}\|language2={{{language8\|}}}\|term2={{{term8\|}}}}}\|}}
			{{#if:{{{language9\|}}}{{{language10\|}}}\|{{Terminology/more row\|language1={{{language9\|}}}\|term1={{{term9\|}}}\|language2={{{language10\|}}}\|term2={{{term10\|}}}}}\|}}
			{{#if:{{{language11\|}}}{{{language12\|}}}\|{{Terminology/more row\|language1={{{language11\|}}}\|term1={{{term11\|}}}\|language2={{{language12\|}}}\|term2={{{term12\|}}}}}\|}}
	</div>		</div>
	</td>		</td>
	</tr>		</tr>
	</table></includeonly><noinclude>		</table></includeonly><noinclude>
	One terminology row. Use <code>highlight=yes</code> for the pale-blue current-page row. ~~Every row~~ is ~~collapsed on initial page load~~.		One terminology row. Use <code>highlight=yes</code> for the pale-blue current-page row. Add other languages as <code>language1</code>/<code>term1</code> through <code>language12</code>/<code>term12</code>; the displayed language count is automatic.
	</noinclude>		</noinclude>

Template:Terminology

InfernalAtom683 — Thu, 16 Jul 2026 14:28:35 GMT

← Older revision		Revision as of 22:28, 16 July 2026
Line 17:		Line 17:
	</div>		</div>
	<div class="terminology-footer">		<div class="terminology-footer">
	<~~span~~ class="terminology-footer-action terminology-footer-action--add">[{{{add-url\|{{fullurl:{{FULLPAGENAME}}\|action=edit}}}}} <span class="terminology-~~plus~~" aria-hidden="true">+</span><span>{{{add-text\|Add or verify a translation}}}</span>]</~~span~~>		<div class="terminology-footer-action terminology-footer-action--add">[{{{add-url\|{{fullurl:{{FULLPAGENAME}}\|action=edit}}}}} <span class="terminology-add-icon" aria-hidden="true"></span><span>{{{add-text\|Add or verify a translation}}}</span>]</div>
	<~~span~~ class="terminology-footer-divider" aria-hidden="true"></~~span~~>		<div class="terminology-footer-divider" aria-hidden="true"></div>
	<~~span~~ class="terminology-footer-action">[[{{{guidelines-link\|Help:Terminology}}}\|{{{guidelines-text\|Terminology guidelines}}}]]</~~span~~>		<div class="terminology-footer-action">[[{{{guidelines-link\|Help:Terminology}}}\|{{{guidelines-text\|Terminology guidelines}}}]]</div>
	</div>		</div>
	</div>		</div>

Template:Terminology/styles.css

InfernalAtom683 — Thu, 16 Jul 2026 13:52:08 GMT

← Older revision		Revision as of 21:52, 16 July 2026
Line 56:		Line 56:
	}		}

	.terminology-~~col~~--english { width: 19%; }		.terminology-cell--english { width: 19%; }
	.terminology-~~col~~--french { width: 17%; }		.terminology-cell--french { width: 17%; }
	.terminology-~~col~~--german { width: 19%; }		.terminology-cell--german { width: 19%; }
	.terminology-~~col~~--japanese { width: 13%; }		.terminology-cell--japanese { width: 13%; }
	.terminology-~~col~~--chinese { width: 17%; }		.terminology-cell--chinese { width: 17%; }
	.terminology-~~col~~--more { width: 15%; }		.terminology-cell--more { width: 15%; }

	.terminology-main-row {		.terminology-main-row {

Template:Terminology/row

InfernalAtom683 — Thu, 16 Jul 2026 13:51:58 GMT

← Older revision		Revision as of 21:51, 16 July 2026
Line 1:		Line 1:
	<includeonly><table class="terminology-row mw-collapsible mw-collapsed" data-highlight="{{{highlight\|no}}}" data-expandtext="{{{more-label\|{{{more-count\|0}}} languages}}}" data-collapsetext="{{{more-label\|{{{more-count\|0}}} languages}}}">		<includeonly><table class="terminology-row mw-collapsible mw-collapsed" data-highlight="{{{highlight\|no}}}" data-expandtext="{{{more-label\|{{{more-count\|0}}} languages}}}" data-collapsetext="{{{more-label\|{{{more-count\|0}}} languages}}}">
	~~<colgroup>~~
	~~<col class="terminology-col terminology-col--english" />~~
	~~<col class="terminology-col terminology-col--french" />~~
	~~<col class="terminology-col terminology-col--german" />~~
	~~<col class="terminology-col terminology-col--japanese" />~~
	~~<col class="terminology-col terminology-col--chinese" />~~
	~~<col class="terminology-col terminology-col--more" />~~
	~~</colgroup>~~
	<tr class="terminology-main-row">		<tr class="terminology-main-row">
	<td class="terminology-cell terminology-cell--english" dir="auto">{{{english\|}}}</td>		<td class="terminology-cell terminology-cell--english" dir="auto">{{{english\|}}}</td>
	<td class="terminology-cell" dir="auto">{{{french\|}}}</td>		<td class="terminology-cell terminology-cell--french" dir="auto">{{{french\|}}}</td>
	<td class="terminology-cell" dir="auto">{{{german\|}}}</td>		<td class="terminology-cell terminology-cell--german" dir="auto">{{{german\|}}}</td>
	<td class="terminology-cell" dir="auto">{{{japanese\|}}}</td>		<td class="terminology-cell terminology-cell--japanese" dir="auto">{{{japanese\|}}}</td>
	<td class="terminology-cell" dir="auto">{{{chinese\|}}}</td>		<td class="terminology-cell terminology-cell--chinese" dir="auto">{{{chinese\|}}}</td>
	<td class="terminology-cell terminology-cell--more"></td>		<td class="terminology-cell terminology-cell--more"></td>
	</tr>		</tr>

Template:Terminology/styles.css

InfernalAtom683 — Thu, 16 Jul 2026 13:49:32 GMT

Show changes

Template:Terminology/row

InfernalAtom683 — Thu, 16 Jul 2026 13:49:13 GMT

← Older revision		Revision as of 21:49, 16 July 2026
Line 1:		Line 1:
	<includeonly><~~div~~ class="terminology-row mw-collapsible mw-collapsed" data-highlight="{{{highlight\|no}}}" data-expandtext="{{{more-label\|{{{more-count\|0}}} languages}}}" data-collapsetext="{{{more-label\|{{{more-count\|0}}} languages}}}">		<includeonly><table class="terminology-row mw-collapsible mw-collapsed" data-highlight="{{{highlight\|no}}}" data-expandtext="{{{more-label\|{{{more-count\|0}}} languages}}}" data-collapsetext="{{{more-label\|{{{more-count\|0}}} languages}}}">
	<~~div~~ class="terminology-~~main~~-~~row~~" ~~role~~="row">		<colgroup>
	<~~div~~ class="terminology-cell terminology-cell--english~~" role="cell~~" dir="auto">{{{english\|}}}</~~div~~>		<col class="terminology-col terminology-col--english" />
	<~~div~~ class="terminology-~~cell" role="~~cell" dir="auto">{{{french\|}}}</~~div~~>		<col class="terminology-col terminology-col--french" />
	<~~div~~ class="terminology-~~cell" role="~~cell" dir="auto">{{{german\|}}}</~~div~~>		<col class="terminology-col terminology-col--german" />
	<~~div~~ class="terminology-~~cell" role="~~cell" dir="auto">{{{japanese\|}}}</~~div~~>		<col class="terminology-col terminology-col--japanese" />
	<~~div~~ class="terminology-~~cell" role="~~cell" dir="auto">{{{chinese\|}}}</~~div~~>		<col class="terminology-col terminology-col--chinese" />
	<~~div~~ class="terminology-cell terminology-cell--more~~" role="cell" aria-hidden="true~~"></~~div~~>		<col class="terminology-col terminology-col--more" />
	</~~div~~>		</colgroup>
	<~~span~~ class="~~mw-collapsible-toggle-placeholder~~ terminology-~~toggle~~-~~placeholder~~"><~~span~~ class="terminology-~~toggle~~-~~label~~"~~>{{{more-label\|{{{more-count\|0}}} languages}}}</span></span>~~		<tr class="terminology-main-row">
	~~<div class~~="~~terminology-more-content mw-collapsible-content~~">		<td class="terminology-cell terminology-cell--english" dir="auto">{{{english\|}}}</td>
			<td class="terminology-cell" dir="auto">{{{french\|}}}</td>
			<td class="terminology-cell" dir="auto">{{{german\|}}}</td>
			<td class="terminology-cell" dir="auto">{{{japanese\|}}}</td>
			<td class="terminology-cell" dir="auto">{{{chinese\|}}}</td>
			<td class="terminology-cell terminology-cell--more"></td>
			</tr>
			<tr class="terminology-more-row">
			<td class="terminology-more-cell" colspan="6">
	<div class="terminology-extra-table" role="table" aria-label="Other languages">		<div class="terminology-extra-table" role="table" aria-label="Other languages">
	{{{more\|}}}		{{{more\|}}}
	</div>		</div>
	</~~div~~>		</td>
	</~~div~~></includeonly><noinclude>		</tr>
			</table></includeonly><noinclude>
	One terminology row. Use <code>highlight=yes</code> for the pale-blue current-page row. Every row is collapsed on initial page load.		One terminology row. Use <code>highlight=yes</code> for the pale-blue current-page row. Every row is collapsed on initial page load.
	</noinclude>		</noinclude>

Template:Terminology

InfernalAtom683 — Thu, 16 Jul 2026 13:48:53 GMT

← Older revision		Revision as of 21:48, 16 July 2026
Line 17:		Line 17:
	</div>		</div>
	<div class="terminology-footer">		<div class="terminology-footer">
	<span class="terminology-footer-action terminology-footer-action--add"><span class="terminology-plus" aria-hidden="true">+</span><span>{{{add-text\|Add or verify a translation}}}</span></span>		<span class="terminology-footer-action terminology-footer-action--add">[{{{add-url\|{{fullurl:{{FULLPAGENAME}}\|action=edit}}}}} <span class="terminology-plus" aria-hidden="true">+</span><span>{{{add-text\|Add or verify a translation}}}</span>]</span>
	<span class="terminology-footer-divider" aria-hidden="true"></span>		<span class="terminology-footer-divider" aria-hidden="true"></span>
	<span class="terminology-footer-action">{{{guidelines-text\|Terminology guidelines}}}</span>		<span class="terminology-footer-action">[[{{{guidelines-link\|Help:Terminology}}}\|{{{guidelines-text\|Terminology guidelines}}}]]</span>
	</div>		</div>
	</div>		</div>

Template:Terminology/more row

InfernalAtom683 — Thu, 16 Jul 2026 13:35:48 GMT

Created page with "<includeonly><div class="terminology-extra-row" role="row"> <div class="terminology-extra-cell terminology-extra-language" role="cell" dir="auto">{{{language1|}}}</div> <div class="terminology-extra-cell" role="cell" dir="auto">{{{term1|}}}</div> <div class="terminology-extra-cell terminology-extra-language terminology-extra-language--second" role="cell" dir="auto">{{{language2|}}}</div> <div class="terminology-extra-cell" role="cell" dir="auto">{{{term2|}}}</div> </div>..."

New page

<includeonly><div class="terminology-extra-row" role="row">
<div class="terminology-extra-cell terminology-extra-language" role="cell" dir="auto">{{{language1|}}}</div>
<div class="terminology-extra-cell" role="cell" dir="auto">{{{term1|}}}</div>
<div class="terminology-extra-cell terminology-extra-language terminology-extra-language--second" role="cell" dir="auto">{{{language2|}}}</div>
<div class="terminology-extra-cell" role="cell" dir="auto">{{{term2|}}}</div>
</div></includeonly><noinclude>
One two-language row inside the expanded part of [[Template:Terminology/row]].
</noinclude>

Template:Terminology/row

InfernalAtom683 — Thu, 16 Jul 2026 13:34:42 GMT

Created page with "<includeonly><div class="terminology-row mw-collapsible mw-collapsed" data-highlight="{{{highlight|no}}}" data-expandtext="{{{more-label|{{{more-count|0}}} languages}}}" data-collapsetext="{{{more-label|{{{more-count|0}}} languages}}}"> <div class="terminology-main-row" role="row"> <div class="terminology-cell terminology-cell--english" role="cell" dir="auto">{{{english|}}}</div> <div class="terminology-cell" role="cell" dir="auto">{{{french|}}}</div> <div class="termino..."

New page

<includeonly><div class="terminology-row mw-collapsible mw-collapsed" data-highlight="{{{highlight|no}}}" data-expandtext="{{{more-label|{{{more-count|0}}} languages}}}" data-collapsetext="{{{more-label|{{{more-count|0}}} languages}}}">
<div class="terminology-main-row" role="row">
<div class="terminology-cell terminology-cell--english" role="cell" dir="auto">{{{english|}}}</div>
<div class="terminology-cell" role="cell" dir="auto">{{{french|}}}</div>
<div class="terminology-cell" role="cell" dir="auto">{{{german|}}}</div>
<div class="terminology-cell" role="cell" dir="auto">{{{japanese|}}}</div>
<div class="terminology-cell" role="cell" dir="auto">{{{chinese|}}}</div>
<div class="terminology-cell terminology-cell--more" role="cell" aria-hidden="true"></div>
</div>
<span class="mw-collapsible-toggle-placeholder terminology-toggle-placeholder"><span class="terminology-toggle-label">{{{more-label|{{{more-count|0}}} languages}}}</span></span>
<div class="terminology-more-content mw-collapsible-content">
<div class="terminology-extra-table" role="table" aria-label="Other languages">
{{{more|}}}
</div>
</div>
</div></includeonly><noinclude>
One terminology row. Use <code>highlight=yes</code> for the pale-blue current-page row. Every row is collapsed on initial page load.
</noinclude>

Template:Terminology

InfernalAtom683 — Thu, 16 Jul 2026 13:34:27 GMT

Created page with "<includeonly><templatestyles src="Terminology/styles.css" /> == {{{heading|Terminology}}} == <div class="terminology" role="region" aria-label="{{{heading|Terminology}}}"> <div class="terminology-intro">{{{intro|The following table lists the principal terms used in this article.}}}</div> <div class="terminology-table"> <div class="terminology-table-inner" role="table" aria-label="{{{heading|Terminology}}}"> <div class="terminology-header" role="row"> <div class="terminol..."

New page

<includeonly><templatestyles src="Terminology/styles.css" />
== {{{heading|Terminology}}} ==
<div class="terminology" role="region" aria-label="{{{heading|Terminology}}}">
<div class="terminology-intro">{{{intro|The following table lists the principal terms used in this article.}}}</div>
<div class="terminology-table">
<div class="terminology-table-inner" role="table" aria-label="{{{heading|Terminology}}}">
<div class="terminology-header" role="row">
<div class="terminology-header-cell" role="columnheader">{{{english-header|English}}}</div>
<div class="terminology-header-cell" role="columnheader">{{{french-header|Français}}}</div>
<div class="terminology-header-cell" role="columnheader">{{{german-header|Deutsch}}}</div>
<div class="terminology-header-cell" role="columnheader">{{{japanese-header|日本語}}}</div>
<div class="terminology-header-cell" role="columnheader">{{{chinese-header|中文}}}</div>
<div class="terminology-header-cell terminology-header-cell--more" role="columnheader">{{{more-header|More}}}</div>
</div>
<div class="terminology-body" role="rowgroup">
{{{rows|}}}
</div>
<div class="terminology-footer">
<span class="terminology-footer-action terminology-footer-action--add"><span class="terminology-plus" aria-hidden="true">+</span><span>{{{add-text|Add or verify a translation}}}</span></span>
<span class="terminology-footer-divider" aria-hidden="true"></span>
<span class="terminology-footer-action">{{{guidelines-text|Terminology guidelines}}}</span>
</div>
</div>
</div>
</div></includeonly><noinclude>
This is the outer wrapper for the Terminology table. Supply rows through <code>rows=</code> using [[Template:Terminology/row]].
</noinclude>

Template:Terminology/styles.css

InfernalAtom683 — Thu, 16 Jul 2026 13:33:48 GMT

Created page with "Template:Terminology/styles.css: .terminology { margin: 0.65em 0 1em; color: var(--color-base, #202122); font-size: 1rem; } .terminology-intro { margin: 0 0 1em; line-height: 1.5; } .terminology-table { overflow-x: auto; border: 1px solid var(--border-color-subtle, #c8ccd1); border-radius: 3px; background: var(--background-color-base, #fff); } .terminology-table-inner { min-width: 760px; } .terminology-header, .terminology-main-row { display: grid; g..."

New page

/* Template:Terminology/styles.css */
.terminology {
margin: 0.65em 0 1em;
color: var(--color-base, #202122);
font-size: 1rem;
}

.terminology-intro {
margin: 0 0 1em;
line-height: 1.5;
}

.terminology-table {
overflow-x: auto;
border: 1px solid var(--border-color-subtle, #c8ccd1);
border-radius: 3px;
background: var(--background-color-base, #fff);
}

.terminology-table-inner {
min-width: 760px;
}

.terminology-header,
.terminology-main-row {
display: grid;
grid-template-columns: 20% 18.3% 20.9% 14.1% 14.9% 11.8%;
}

.terminology-header {
min-height: 52px;
font-weight: 700;
}

.terminology-header-cell,
.terminology-cell {
display: flex;
align-items: center;
box-sizing: border-box;
min-width: 0;
padding: 0.72rem 2rem;
line-height: 1.4;
overflow-wrap: anywhere;
}

.terminology-header-cell--more {
justify-content: center;
border-left: 1px solid var(--border-color-subtle, #c8ccd1);
}

.terminology-row {
position: relative;
border-top: 1px solid var(--border-color-subtle, #c8ccd1);
}

.terminology-main-row {
min-height: 54px;
}

.terminology-row[data-highlight="yes"] .terminology-main-row {
background: var(--background-color-progressive-subtle, #eaf3ff);
}

.terminology-cell--english {
font-weight: 700;
}

.terminology-cell--more {
border-left: 1px solid var(--border-color-subtle, #c8ccd1);
}

/* The placeholder gives a stable layout before MediaWiki initialises the toggle. */
.terminology-row > .terminology-toggle-placeholder,
.terminology-row > .mw-collapsible-toggle {
position: absolute;
top: 0;
right: 0;
z-index: 1;
display: flex;
float: none;
align-items: center;
justify-content: space-between;
box-sizing: border-box;
width: 11.8%;
min-height: 54px;
margin: 0;
padding: 0.72rem 1.25rem;
border: 0;
border-radius: 0;
background: transparent;
color: var(--color-progressive, #36c);
font: inherit;
line-height: 1.4;
text-align: left;
white-space: nowrap;
}

.terminology-row > .mw-collapsible-toggle {
cursor: pointer;
}

.terminology-row > .mw-collapsible-toggle:hover {
background: var(--background-color-interactive-subtle, #f8f9fa);
}

.terminology-row > .mw-collapsible-toggle:focus {
outline: 2px solid var(--border-color-progressive--focus, #36c);
outline-offset: -2px;
}

.terminology-row > .mw-collapsible-toggle-default::before {
content: none;
}

.terminology-row > .terminology-toggle-placeholder::after,
.terminology-row > .mw-collapsible-toggle::after {
content: "";
flex: 0 0 auto;
box-sizing: border-box;
width: 0.56rem;
height: 0.56rem;
margin-left: 0.75rem;
border-right: 2px solid currentcolor;
border-bottom: 2px solid currentcolor;
transform: rotate(45deg) translate(-1px, -1px);
}

.terminology-row > .mw-collapsible-toggle-expanded::after {
transform: rotate(225deg) translate(-1px, -1px);
}

.terminology-row.mw-collapsed:not(.mw-made-collapsible) > .mw-collapsible-content {
display: none;
}

.terminology-more-content {
box-sizing: border-box;
padding: 0.75rem 2rem 1rem;
}

.terminology-extra-table {
overflow: hidden;
border: 1px solid var(--border-color-subtle, #c8ccd1);
border-radius: 3px;
}

.terminology-extra-row {
display: grid;
grid-template-columns: 18% 32% 18% 32%;
min-height: 46px;
}

.terminology-extra-row + .terminology-extra-row {
border-top: 1px solid var(--border-color-subtle, #c8ccd1);
}

.terminology-extra-cell {
display: flex;
align-items: center;
box-sizing: border-box;
min-width: 0;
padding: 0.55rem 1rem;
line-height: 1.35;
overflow-wrap: anywhere;
}

.terminology-extra-language {
font-weight: 700;
}

.terminology-extra-language--second {
border-left: 1px solid var(--border-color-subtle, #c8ccd1);
}

.terminology-footer {
display: flex;
align-items: center;
min-height: 68px;
box-sizing: border-box;
padding: 1rem 1.65rem;
border-top: 1px solid var(--border-color-subtle, #c8ccd1);
color: var(--color-progressive, #36c);
line-height: 1.4;
}

.terminology-footer-action,
.terminology-footer-action a {
display: inline-flex;
align-items: center;
color: var(--color-progressive, #36c);
text-decoration: none;
}

.terminology-plus {
display: inline-block;
margin-right: 0.65rem;
font-size: 2rem;
font-weight: 300;
line-height: 0.7;
transform: translateY(-1px);
}

.terminology-footer-divider {
align-self: stretch;
width: 1px;
max-height: 27px;
margin: 0 1.65rem;
background: var(--border-color-base, #a2a9b1);
}

@media (max-width: 900px) {
.terminology-header-cell,
.terminology-cell {
padding-right: 1rem;
padding-left: 1rem;
}

.terminology-row > .terminology-toggle-placeholder,
.terminology-row > .mw-collapsible-toggle {
padding-right: 0.75rem;
padding-left: 0.75rem;
}
}

@media (max-width: 600px) {
.terminology-footer {
align-items: flex-start;
flex-direction: column;
gap: 0.75rem;
}

.terminology-footer-divider {
display: none;
}
}

Template:Statement/styles.css

InfernalAtom683 — Thu, 16 Jul 2026 10:13:19 GMT

← Older revision		Revision as of 18:13, 16 July 2026
Line 1:		Line 1:
	.global-box.math-statement {		.global-box.math-statement {
	border-left-width: 0.~~32em~~;		border-left-width: 0.25em;
			border-radius: 0;
	}		}

Line 34:		Line 35:

	.math-statement .global-box__title {		.math-statement .global-box__title {
	font-size: ~~1.05em~~;		font-size: 1em;
	}		}

Template:Box/styles.css

InfernalAtom683 — Thu, 16 Jul 2026 10:13:00 GMT

← Older revision		Revision as of 18:13, 16 July 2026
Line 3:		Line 3:
	overflow: hidden;		overflow: hidden;
	border: 1px solid #a2a9b1;		border: 1px solid #a2a9b1;
	border-radius: ~~2px~~;		border-radius: 0;
	margin: 1em ~~2em~~;		margin: 0.65em 1em;
	background: #fff;		background: #fff;
	color: #202122;		color: #202122;
Line 10:		Line 10:

	.global-box__title {		.global-box__title {
	padding: 0.~~65em 1em~~ 0.~~15em~~;		padding: 0.4em 0.7em 0.05em;
	font-weight: 700;		font-weight: 700;
			line-height: 1.35;
	}		}

	.global-box__body {		.global-box__body {
	padding: 0.~~35em 1em~~ 0.~~75em~~;		padding: 0.15em 0.7em 0.45em;
			line-height: 1.5;
	}		}

	.global-box__details {		.global-box__details {
	border-top: 1px solid #c8ccd1;		border-top: 1px solid #c8ccd1;
	padding: 0.~~55em 1em~~ 0.~~6em~~;		padding: 0.35em 0.7em 0.4em;
	background: #f8f9fa;		background: #f8f9fa;
	}		}

	.global-box__details-heading {		.global-box__details-heading {
	min-height: 1.~~4em~~;		min-height: 1.3em;
	font-weight: 600;		font-weight: 600;
			line-height: 1.3;
	}		}

	.global-box__details .mw-collapsible-toggle {		.global-box__details .mw-collapsible-toggle {
	float: right;		float: right;
	margin-left: ~~1em~~;		margin-left: 0.75em;
	font-size: 0.~~875em~~;		font-size: 0.85em;
	font-weight: normal;		font-weight: normal;
	}		}

	.global-box__details-content {		.global-box__details-content {
	padding-top: 0.~~55em~~;		padding-top: 0.3em;
			line-height: 1.5;
	}		}

Line 52:		Line 56:
	@media (max-width: 500px) {		@media (max-width: 500px) {
	.global-box {		.global-box {
	margin: ~~1em~~ 0;		margin: 0.6em 0;
	}		}

Line 58:		Line 62:
	.global-box__body,		.global-box__body,
	.global-box__details {		.global-box__details {
	padding-right: 0.~~6em~~;		padding-right: 0.55em;
	padding-left: 0.~~6em~~;		padding-left: 0.55em;
	}		}
	}		}

Template:SubQED/styles.css

InfernalAtom683 — Thu, 16 Jul 2026 08:40:29 GMT

← Older revision		Revision as of 16:40, 16 July 2026
Line 12:		Line 12:

	.subqed {		.subqed {
	font-size: 0.~~85em~~;		font-size: 1.2em;
	}		}

	.proofqed {		.proofqed {
	font-size: ~~1em~~;		font-size: 1.2em;
	}		}

Template:SubQED/doc

InfernalAtom683 — Thu, 16 Jul 2026 08:39:26 GMT

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:ProofQED

InfernalAtom683 — Thu, 16 Jul 2026 08:39:03 GMT

Created page with "<templatestyles src="SubQED/styles.css" /><span class="proofqed" title="End of proof" aria-label="End of proof">□</span><noinclude> {{Documentation}} </noinclude>"

New page

<templatestyles src="SubQED/styles.css" /><span class="proofqed" title="End of proof" aria-label="End of proof">□</span><noinclude>
{{Documentation}}
</noinclude>

Template:QED

InfernalAtom683 — Thu, 16 Jul 2026 08:38:25 GMT

Redirected page to Template:SubQED

New page

#REDIRECT [[Template:SubQED]]

Template:SubQED

InfernalAtom683 — Thu, 16 Jul 2026 08:38:04 GMT

Created page with "<templatestyles src="SubQED/styles.css" /><span class="subqed" title="End of subproof" aria-label="End of subproof">■</span><noinclude> {{Documentation}} </noinclude>"

New page

<templatestyles src="SubQED/styles.css" /><span class="subqed" title="End of subproof" aria-label="End of subproof">■</span><noinclude>
{{Documentation}}
</noinclude>

Template:SubQED/styles.css

InfernalAtom683 — Thu, 16 Jul 2026 08:37:55 GMT

Created page with ".subqed, .proofqed { display: inline-block; float: right; margin-left: 0.6em; font-family: serif; font-style: normal; font-weight: normal; line-height: inherit; white-space: nowrap; } .subqed { font-size: 0.85em; } .proofqed { font-size: 1em; }"

New page

.subqed,
.proofqed {
display: inline-block;
float: right;
margin-left: 0.6em;
font-family: serif;
font-style: normal;
font-weight: normal;
line-height: inherit;
white-space: nowrap;
}

.subqed {
font-size: 0.85em;
}

.proofqed {
font-size: 1em;
}

Template:Counterexample

InfernalAtom683 — Thu, 16 Jul 2026 08:36:29 GMT

Created page with "{{Statement | type=counterexample | title={{{title|Counterexample}}} | content={{{counterexample|{{{1|}}}}}} | details={{{explanation|{{{2|}}}}}} | details-title={{{explanation-title|Explanation}}} | open={{{explanation-open|no}}} | expand-text={{{explanation-expand-text|}}} | collapse-text={{{explanation-collapse-text|}}} | style={{{style|}}} | class={{{class|}}} }}"

New page

{{Statement
| type=counterexample
| title={{{title|Counterexample}}}
| content={{{counterexample|{{{1|}}}}}}
| details={{{explanation|{{{2|}}}}}}
| details-title={{{explanation-title|Explanation}}}
| open={{{explanation-open|no}}}
| expand-text={{{explanation-expand-text|}}}
| collapse-text={{{explanation-collapse-text|}}}
| style={{{style|}}}
| class={{{class|}}}
}}

Template:Example

InfernalAtom683 — Thu, 16 Jul 2026 08:36:14 GMT

Created page with "{{Statement | type=example | title={{{title|Example}}} | content={{{example|{{{1|}}}}}} | details={{{explanation|{{{2|}}}}}} | details-title={{{explanation-title|Explanation}}} | open={{{explanation-open|no}}} | expand-text={{{explanation-expand-text|}}} | collapse-text={{{explanation-collapse-text|}}} | style={{{style|}}} | class={{{class|}}} }}"

New page

{{Statement
| type=example
| title={{{title|Example}}}
| content={{{example|{{{1|}}}}}}
| details={{{explanation|{{{2|}}}}}}
| details-title={{{explanation-title|Explanation}}}
| open={{{explanation-open|no}}}
| expand-text={{{explanation-expand-text|}}}
| collapse-text={{{explanation-collapse-text|}}}
| style={{{style|}}}
| class={{{class|}}}
}}

Template:Warning

InfernalAtom683 — Thu, 16 Jul 2026 08:35:52 GMT

Created page with "{{Statement | type=warning | title={{{title|Warning}}} | content={{{warning|{{{1|}}}}}} | details={{{details|{{{2|}}}}}} | details-title={{{details-title|Details}}} | open={{{details-open|no}}} | expand-text={{{details-expand-text|}}} | collapse-text={{{details-collapse-text|}}} | style={{{style|}}} | class={{{class|}}} }}"

New page

{{Statement
| type=warning
| title={{{title|Warning}}}
| content={{{warning|{{{1|}}}}}}
| details={{{details|{{{2|}}}}}}
| details-title={{{details-title|Details}}}
| open={{{details-open|no}}}
| expand-text={{{details-expand-text|}}}
| collapse-text={{{details-collapse-text|}}}
| style={{{style|}}}
| class={{{class|}}}
}}

Template:Observation

InfernalAtom683 — Thu, 16 Jul 2026 08:35:41 GMT

Created page with "{{Statement | type=observation | title={{{title|Observation}}} | content={{{observation|{{{1|}}}}}} | details={{{details|{{{2|}}}}}} | details-title={{{details-title|Details}}} | open={{{details-open|no}}} | expand-text={{{details-expand-text|}}} | collapse-text={{{details-collapse-text|}}} | style={{{style|}}} | class={{{class|}}} }}"

New page

{{Statement
| type=observation
| title={{{title|Observation}}}
| content={{{observation|{{{1|}}}}}}
| details={{{details|{{{2|}}}}}}
| details-title={{{details-title|Details}}}
| open={{{details-open|no}}}
| expand-text={{{details-expand-text|}}}
| collapse-text={{{details-collapse-text|}}}
| style={{{style|}}}
| class={{{class|}}}
}}

Template:Note

InfernalAtom683 — Thu, 16 Jul 2026 08:35:27 GMT

Created page with "{{Statement | type=note | title={{{title|Note}}} | content={{{note|{{{1|}}}}}} | details={{{details|{{{2|}}}}}} | details-title={{{details-title|Details}}} | open={{{details-open|no}}} | expand-text={{{details-expand-text|}}} | collapse-text={{{details-collapse-text|}}} | style={{{style|}}} | class={{{class|}}} }}"

New page

{{Statement
| type=note
| title={{{title|Note}}}
| content={{{note|{{{1|}}}}}}
| details={{{details|{{{2|}}}}}}
| details-title={{{details-title|Details}}}
| open={{{details-open|no}}}
| expand-text={{{details-expand-text|}}}
| collapse-text={{{details-collapse-text|}}}
| style={{{style|}}}
| class={{{class|}}}
}}

Template:Remark

InfernalAtom683 — Thu, 16 Jul 2026 08:35:15 GMT

Created page with "{{Statement | type=remark | title={{{title|Remark}}} | content={{{remark|{{{1|}}}}}} | details={{{details|{{{2|}}}}}} | details-title={{{details-title|Details}}} | open={{{details-open|no}}} | expand-text={{{details-expand-text|}}} | collapse-text={{{details-collapse-text|}}} | style={{{style|}}} | class={{{class|}}} }}"

New page

{{Statement
| type=remark
| title={{{title|Remark}}}
| content={{{remark|{{{1|}}}}}}
| details={{{details|{{{2|}}}}}}
| details-title={{{details-title|Details}}}
| open={{{details-open|no}}}
| expand-text={{{details-expand-text|}}}
| collapse-text={{{details-collapse-text|}}}
| style={{{style|}}}
| class={{{class|}}}
}}

Template:Criterion

InfernalAtom683 — Thu, 16 Jul 2026 08:35:05 GMT

Created page with "{{Statement | type=criterion | title={{{title|Criterion}}} | content={{{criterion|{{{1|}}}}}} | details={{{proof|{{{2|}}}}}} | details-title={{{proof-title|Proof}}} | open={{{proof-open|no}}} | expand-text={{{proof-expand-text|}}} | collapse-text={{{proof-collapse-text|}}} | style={{{style|}}} | class={{{class|}}} }}"

New page

{{Statement
| type=criterion
| title={{{title|Criterion}}}
| content={{{criterion|{{{1|}}}}}}
| details={{{proof|{{{2|}}}}}}
| details-title={{{proof-title|Proof}}}
| open={{{proof-open|no}}}
| expand-text={{{proof-expand-text|}}}
| collapse-text={{{proof-collapse-text|}}}
| style={{{style|}}}
| class={{{class|}}}
}}

Template:Identity

InfernalAtom683 — Thu, 16 Jul 2026 08:34:52 GMT

Created page with "{{Statement | type=identity | title={{{title|Identity}}} | content={{{identity|{{{1|}}}}}} | details={{{proof|{{{2|}}}}}} | details-title={{{proof-title|Proof}}} | open={{{proof-open|no}}} | expand-text={{{proof-expand-text|}}} | collapse-text={{{proof-collapse-text|}}} | style={{{style|}}} | class={{{class|}}} }}"

New page

{{Statement
| type=identity
| title={{{title|Identity}}}
| content={{{identity|{{{1|}}}}}}
| details={{{proof|{{{2|}}}}}}
| details-title={{{proof-title|Proof}}}
| open={{{proof-open|no}}}
| expand-text={{{proof-expand-text|}}}
| collapse-text={{{proof-collapse-text|}}}
| style={{{style|}}}
| class={{{class|}}}
}}

Template:Property/styles.css

InfernalAtom683 — Thu, 16 Jul 2026 08:34:35 GMT

InfernalAtom683 deleted page Template:Property/styles.css content was: ".property { border: thin solid #aaa; margin: 1em 2em; padding: 0.5em 1em 0.4em; } @media (max-width: 500px) { .property { margin: 1em 0; padding: 0.5em 0.5em 0.4em; } }", and the only contributor was "InfernalAtom683" (talk)

Template:Property

InfernalAtom683 — Thu, 16 Jul 2026 08:34:21 GMT

← Older revision		Revision as of 16:34, 16 July 2026
Line 1:		Line 1:
	~~<templatestyles src="Property/styles.css" /><div class~~="property~~" style~~=~~"{{{style\|}}}"><strong>~~{{{title\|Property}}}~~</strong>~~		{{Statement
	~~<div>~~		\| type=property
	{{~~#if:~~ {{{~~property~~\|~~<noinclude>y</noinclude>~~}}}		\| title={{{title\|Property}}}
	~~\| {{{property~~}}}		\| content={{{property\|{{{1\|}}}}}}
	\| ~~{{#if:~~ {{{1\| {{{~~continue~~\|}}} }}}		\| details={{{proof\|{{{2\|}}}}}}
	\| {{{1\| {{{~~continue~~}}} }}}		\| details-title={{{proof-title\|Proof}}}
	\| {{{1\| {{~~error~~\|~~[[Template:Property]] Error caused by a symbol in property: use <code>property</code> parameter~~}} }}}		\| open={{{proof-open\|no}}}
	}}		\| expand-text={{{proof-expand-text\|}}}
			\| collapse-text={{{proof-collapse-text\|}}}
			\| style={{{style\|}}}
			\| class={{{class\|}}}
	}}		}}
	~~</div></div>~~

Template:Result

InfernalAtom683 — Thu, 16 Jul 2026 08:34:08 GMT

Created page with "{{Statement | type=result | title={{{title|Result}}} | content={{{result|{{{1|}}}}}} | details={{{proof|{{{2|}}}}}} | details-title={{{proof-title|Proof}}} | open={{{proof-open|no}}} | expand-text={{{proof-expand-text|}}} | collapse-text={{{proof-collapse-text|}}} | style={{{style|}}} | class={{{class|}}} }}"

New page

{{Statement
| type=result
| title={{{title|Result}}}
| content={{{result|{{{1|}}}}}}
| details={{{proof|{{{2|}}}}}}
| details-title={{{proof-title|Proof}}}
| open={{{proof-open|no}}}
| expand-text={{{proof-expand-text|}}}
| collapse-text={{{proof-collapse-text|}}}
| style={{{style|}}}
| class={{{class|}}}
}}

Template:Fact

InfernalAtom683 — Thu, 16 Jul 2026 08:33:51 GMT

Created page with "{{Statement | type=fact | title={{{title|Fact}}} | content={{{fact|{{{1|}}}}}} | details={{{proof|{{{2|}}}}}} | details-title={{{proof-title|Proof}}} | open={{{proof-open|no}}} | expand-text={{{proof-expand-text|}}} | collapse-text={{{proof-collapse-text|}}} | style={{{style|}}} | class={{{class|}}} }}"

New page

{{Statement
| type=fact
| title={{{title|Fact}}}
| content={{{fact|{{{1|}}}}}}
| details={{{proof|{{{2|}}}}}}
| details-title={{{proof-title|Proof}}}
| open={{{proof-open|no}}}
| expand-text={{{proof-expand-text|}}}
| collapse-text={{{proof-collapse-text|}}}
| style={{{style|}}}
| class={{{class|}}}
}}