2011/5/4 Olivier Hallot<firstname.lastname@example.org>
Thanks Mike for the tip
As I see, this character U+2204, does not exist in Opensymbol font, used by
Math by default. At least not in the displayed characters of Math UI.
So, if this symbol get implemented in Opensymbol, it will be trivial to
make it show in the Element window....
Olivier, in Linux operating systems such as, e g, Ubuntu, symbols like the ∄
symbol can easily be inserted in a LibreOffice document by holding the Ctrl
and Shift keys and pressing u (Ctrl+Shift+u) and then typing the hexdecimal
code (in this case) 2204 and pressing the space bar. But I agree, this type
of logic symbol should certainly be included in the list of special
characters in LibreOffice Math....
Impressum (Legal Info)
: Unless otherwise specified, all text and images
on this website are licensed under the
Creative Commons Attribution-Share Alike 3.0 License
This does not include the source code of LibreOffice, which is
licensed under the Mozilla Public License (MPLv2
"LibreOffice" and "The Document Foundation" are
registered trademarks of their corresponding registered owners or are
in actual use as trademarks in one or more countries. Their respective
logos and icons are also subject to international copyright laws. Use
thereof is explained in our trademark policy