nicht angemeldet
Hallo Zusammen,
wie der Titel schon etwas ungeschickt anzudeuten versuchte:
Ich bin auf der Suche nach einem Named Entity im Mathml-Namespace oder dem entsprechendem Unicode für das Negationszeichen (\neg in Latex im Mathmode).
Letzteres wäre mir lieber, da allgemeiner verwendbar.
Sieht in etwa so aus (Der vertikale Strich ist sehr kurz):
__
|
Ich hatte mich schon selber durch die Listen gewühlt, aber der einzige Erfolg war ein etwas schwummriges Gefühl hinter den Augen ;-)
so short
Christoph Zurnieden
PS: Bevor hier jemand mit dem sonst ganz nützlichem Vorschlag:"Dann nimm doch ein Bildchen!" kommt, das Ergebnis muß verarbeitbar bleiben. Ich habe blutwenig Lust, da noch einen OCR zwischenzuschieben ;-)
CZ
PPS:
Mir fällt gerade auf: "it's proofable that" (Latex: \dashv) vermisse ich auch. Habe aber zumindest etwas sehr ähnliches gefunden, ist also nicht ganz so wichtig ;-)
CZ