Weil

Unicode
U+2235
Kategorie
Mathematik
HTML Entity
∵
CSS
\2235
Das Symbol ∵ (Weil) wird in der Mathematik und formalen Logik verwendet, um Begründungen wie „weil“ oder „da“ auszudrücken. Es ist das exakte optische und logische Gegenstück zum „Daher“-Symbol (∴) und besteht aus drei Punkten, die ein auf der Spitze stehendes Dreieck bilden. In mathematischen Beweisen hilft es dir, logische Schlussfolgerungen kurz, präzise und ohne ausschweifenden Text darzustellen.

So tippen Sie

Windows
Alt + 8757 (Ziffernblock)
macOS
Control + Command + Space, dann nach „weil“ oder „because“ suchen
Linux
Strg + Umschalt + U, dann 2235 eingeben
HTML
∵ oder ∵

In der Programmierung

In Programmiersprachen wird das Zeichen kaum als Operator genutzt, taucht aber oft in Kommentaren, mathematischer Dokumentation oder in Textsatzsystemen wie LaTeX (mit dem Befehl \because) auf, um formale Beweise zu setzen.

Tags

mathematik logik begruendung denn beweis

Verwandte Symbole