∎
Mathematischer Operator 15
- Unicode
- U+220E
- Kategorie
- Mathematik
- HTML Entity
- ∎
- CSS
- \220E
Das Symbol ∎ (End of Proof) wird in der Mathematik verwendet, um das Ende eines formalen Beweises zu markieren, und ersetzt dort oft die traditionelle Abkürzung „q.e.d.“. Es ist in Fachkreisen auch als „Halmos-Grabstein“ bekannt, benannt nach dem Mathematiker Paul Halmos, der es populär machte. In der Typografie nutzt man es zudem als klassisches Schlusszeichen, um das optische Ende eines Artikels in Zeitschriften oder Magazinen zu signalisieren.
So tippen Sie
- Windows
- Alt + 8718 (auf dem Ziffernblock)
- macOS
- Control + Command + Space, dann nach „end of proof“ suchen
- Linux
- Ctrl + Shift + U, dann 220E und Enter
- HTML
- ∎ oder &QED;
In der Programmierung
In Textsatzsystemen wie LaTeX wird das Symbol oft durch den Befehl `\qed` (im `amsthm`-Paket) am Ende einer Beweisumgebung automatisch generiert. In klassischen Programmiersprachen hat das Zeichen keine Funktion und taucht höchstens als Unicode-String in der wissenschaftlichen Dokumentation auf.
Tags
mathematik
beweis
ende
qed
abschluss