Existenzquantor
Zeichen und Codes zum Kopieren
-
∃
Zeichen
-
U+2203
Unicode
-
∃
HTML Code
-
\2203
CSS Code
-
\u2203
JavaScript Code
-
\u{2203}
PHP / Ruby Code
Beschreibung
Der Existenzquantor (∃) ist ein großes E, das seitenverkehrt steht, mit den Querbalken nach links.
Giuseppe Peano führte das Zeichen 1897 ein. Gelesen wird es »es gibt mindestens ein«: ∃x: x² = 4 sagt, dass wenigstens eine Zahl diese Gleichung erfüllt. Wie viele es sind, bleibt offen – für genau eine schreibt man ∃!.
∀ ist das gestürzte A und meint »für alle«. ∄ verneint die Existenz. Ein von Hand gespiegeltes E ist kein Ersatz: nur dieses Zeichen bleibt in jeder Schrift stehen.