[Libreoffice] New symbol in Math ?
Dennis E. Hamilton
dennis.hamilton at acm.org
Sat Jun 4 20:35:49 PDT 2011
The ODF 1.1 OASIS Standard and the ODF 1.2 Committee Specification 01 support MathML 2.0. There are fonts available in LibreOffice that have the symbol, so I don't think there is an issue with ODF. It may be an issue with MathML 2.0 though. You may have to settle for "neg exists X" which is logically equivalent, I trust, as in
neg exists x [P(x)]
There are provisions in MathML 2.0 for user-defined additions to the function and operator symbols, but I don't think LibreOffice Math has any provision for that. Specific ones could be wired into LibreOffice Math. I am not the one to offer an assessment of the feasibility and relative benefit of such an effort.
- Dennis
-----Original Message-----
From: libreoffice-bounces+dennis.hamilton=acm.org at lists.freedesktop.org [mailto:libreoffice-bounces+dennis.hamilton=acm.org at lists.freedesktop.org] On Behalf Of Olivier Hallot
Sent: Saturday, June 04, 2011 18:39
To: libreoffice at lists.freedesktop.org
Subject: [Libreoffice] New symbol in Math ?
Hi
Just a simple question on adding new math symbols to LO Math.
In a recent post in the info list, a professor asked to add the symbol
∄
non exist
Unicode symbol: U+2204 THERE DOES NOT EXIST ∄
to Math elements windows.
However, it looks like Math formulas are based on MathML 2.0
http://www.w3.org/TR/MathML2/chapter4.html#contm.exists
and no mention to "There does not exists".
Shall I imply that implementing this symbol will break the ODF Standard, and therefore should not be implemented?
Thanks for the advise.
More information about the LibreOffice
mailing list