Der Formelchecker ist noch nicht ausgiebig getestet, kann also fehlerhafte Ausgaben erzeugen.
Fehlermeldungen sind willkommen (email an):
andre dot frochaux at informatik dot hu-berlin dot de
Für alle die MathML nicht nativ unterstützen wird MathJax eingebunden, hapert es an der Darstellung, sollte javascript aktiviert werden.
Erlaubte Namen für Relationen, Funktionen und Konstanten beginnen mit einem Buchstaben, gefolgt von Buchstaben und Ziffern. Indizierung ist mittels _ möglich. Darüber hinaus sind das + und das * -Zeichen als Symbole für Relationen oder Funktionen erlaubt.
| Formelzeichen | zulässige Eingaben |
|---|---|
| ~ (mittels Tilde) oder alternativ ! oder &n |
|
| /\ (mittels Slash und Backslash) oder alternativ && oder &w |
|
| \/ (mittels Backslash und Slash) oder alternativ || oder &v |
|
| -> oder alternativ &r |
|
| <-> oder alternativ &l |
|
| .c ,d.h. Konstanten werden mit führenden Punkt gekennzeichnet |
|
| &a | |
| &e |
