Gibt es so nicht, aber als Sonderzeichen in der Schrift DejaVu Sans im Bereich Pfeilsymbole
(Idee ich von hier http://www.oooforum.org/forum/viewtopic.phtml?t=54727, nachgeschaut hab ich dann selber, musst z.B. in Writer - Einfügen -Sonderzeichen - usw. und dann das Zeichen einfach in die Formel kopieren und in Anführungszeichen stellen, damit es nicht kursiv dargestellt wird)
Füge unter Extras > Katalog… > Bearbeiten… dem Symbolset Spezial das Zeichen ∄ (U+2204) z.B. aus dem Zeichensatz DejaVu Sans Mono als neues Symbol notexists hinzu. Dies kannst du danach jederzeit ohne umständliches Kopieren mit %notexists aufrufen.