Re: [Libreoffice] New symbol in Math ?

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@lists.freedesktop.org 
[mailto:libreoffice-bounces+dennis.hamilton=acm.org@lists.freedesktop.org] On Behalf Of Olivier 
Hallot
Sent: Saturday, June 04, 2011 18:39
To: libreoffice@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.