[Libreoffice] New symbol in Math ?

[Dennis E. Hamilton]

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.