Hi Olivier, *,

On Sun, Jun 5, 2011 at 3:38 AM, Olivier Hallot
<[email protected]> 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
_______________________________________________
LibreOffice mailing list
[email protected]
http://lists.freedesktop.org/mailman/listinfo/libreoffice

Reply via email to