nicht angemeldet
(Mathml) Entity oder Unicode für "negation" gesucht
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
-
hi
http://selfhtml.teamone.de/html/referenz/zeichen.htm
da was bei?-
Hallo,
Oh, das ging aber schnell, nix zu tun? ;-)
http://selfhtml.teamone.de/html/referenz/zeichen.htm
da was bei?Na, zu früh gefreut ;-)
Nein, weder da, noch bei mozilla/mozilla/dist/bin/dtd/mathml.dtd, noch bei REC-MathML2-20010221. Bei unicode.org habe ich dann aufgeben müssen. War einfach zuviel ;-)
Aber trotzdem und auf jeden Fall: Danke!
so short
Christoph Zurnieden
-
Hallo!
http://selfhtml.teamone.de/html/referenz/zeichen.htm
da was bei?Na, zu früh gefreut ;-)
Da steht doch ¬ ist ¬ bzw. ¬
Übrigens - Amayas MathML Editor schreibt ⫬emu
[der sich nicht gerade blind auf Amaya verlässt...]Ach ja - füg doch ein Bild ein ;-)
<img src="http://www.8ung.at/etwas/william.png" border=0 alt="">-
Hallo!
http://selfhtml.teamone.de/html/referenz/zeichen.htm
da was bei?Na, zu früh gefreut ;-)
Da steht doch ¬ ist ¬ bzw. ¬
AAAAAAAAaaaaaaaaaaaaaaaaaaaaaaaaaargh!
Ich habe es geahnt!
Und dann auch noch öffentlich!
Nein, was peinlich!Übrigens - Amayas MathML Editor schreibt ⫬
Ja, der ist aus Mathml.dtd, den wollte der Mozilla 0.9.8 nicht
emu
[der sich nicht gerade blind auf Amaya verlässt...]Kann man aber eigentlich. ;-)
Aber ich habe ihn schon gefunden: habe ab U01000 gesucht, das war wohl der Fehler ;-)
Ach ja - füg doch ein Bild ein ;-)
<img src="http://www.8ung.at/etwas/william.png" border=0 alt="">Ja, ImageMagik habe ich auch ;-)
Naja, auf jeden Fall und sowieso: Besten Dank!
so short
Christoph Zurnieden
-
Hallo!
AAAAAAAAaaaaaaaaaaaaaaaaaaaaaaaaaargh!
Ich habe es geahnt!
Und dann auch noch öffentlich!
Nein, was peinlich!*g*
[der sich nicht gerade blind auf Amaya verlässt...]
Kann man aber eigentlich. ;-)
Ja, natürlich ;-)
<img src="http://www.8ung.at/etwas/william.png" border=0 alt="">
Ja, ImageMagik habe ich auch ;-)
Image was?
emu
[...]-
Hallo,
<img src="http://www.8ung.at/etwas/william.png" border=0 alt="">
Ja, ImageMagik habe ich auch ;-)
Image was?
Ja, stimmt, schreibt sich mit 'ck' am Ende.
*grmbl*!
;-)http://www.imagemagick.org/
Der kann unter anderem auch PostScript in "normale" Bildformate umwandeln.
(Es gibt auch einige Shellscripte (Latex-Snippet zu $BILDFORMAT), die das automatisieren können. Finde aber auf die Schnelle keinen Link. Es gibt auch Methoden, das mit Ghostscript zu machen, aber den habe ich nie überedet bekommen, sah immer besch... aus)
Der ist eigentlich sogar ein Muß, wenn man viele Bilder zu bearbeiten hat. Schon mal auf über tausend Bilder das Wort "MUSTER" transparent schräg drüber setzen müssen? Mit ImageMagick geht's wunderbar im Batchmode.
Press <return> and forget ;-)
so short
Christoph Zurnieden
-
-
-
<img src="http://www.8ung.at/etwas/william.png" border=0 alt="">
ff
Übrigens - Amayas MathML Editor schreibt ⫬
Hast du gute Erfahrungen mit Formeln in Amaya gemacht?
Ist ein Formeleditor integriert?-
Hallo!
Hast du gute Erfahrungen mit Formeln in Amaya gemacht?
Nein, nicht besonders - zusätzlich zu der sehr beschränkten Möglichkeit ist er auch recht mühevoll zu bedienen. Ob er validen Code schreibt kann ich nicht beurteilen, aber er eignet sich bestenfalls für kurze Formeln oder Benutzer, die so etwas nur selten brauchen. Zum herumspielen ist er allerdings ganz nett :-)
Ist ein Formeleditor integriert?
Ja, die dazugehörige Schaltfläche schaut etwa so aus:
______
| x |
| - |
| y |
^^^^^^^emu
[...]
-
-
-
-