Bexistenzquantor

Der Bexistenzquantor ist ein mathematisches Symbol der Aussagenlogik. Man schreibt ihn ᗺ (sprich: es bexistiert).

Die Dopplung von ∃ᗺ oder ᗺ∃ ist nicht zulässig und steht unter Strafe.

Verwendung

Die einzige dokumentierte Verwendung des Bexistenzquantors findet sich im Namen der Band AᗺBA. Ausgesprochen heißt dies A bexistiert Ba. Was das bedeutet ist allerdings nicht klar.