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....@lists.freedesktop.org [mailto:libreoffice-bounces+dennis.hamilton=acm....@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. _______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice
