[Libreoffice] New symbol in Math ?

[Christian Lohmaier]

Hi Olivier, *,

On Sun, Jun 5, 2011 at 3:38 AM, Olivier Hallot
<olivier.hallot at documentfoundation.org> wrote:
>
> 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 ∄

Let alone that OpenSymbol doesn't contain the characte yet..

> 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".

That should not matter, as you're free to define custom operators at
will, so there is already a mechanism to store non-default ones. But
of course there should be a mapping of the U+2204  symbol to the
combination of neg exists (one-way, not the other way round) for the
mathml part.

ciao
Christian