2011/5/4 Robert Derman <robert.der...@pressenter.com> > Olivier Hallot wrote: > >> >> >> Em 04-05-2011 13:11, M Henri Day escreveu: >> >>> 2011/5/4 Olivier Hallot<olivier.hal...@documentfoundation.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 >>>> >>>> >>> 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.... >>> >>> Henri >>> >>> >> Hi >> Yes, in a Mandriva system as well, although I run out of fingers to type >> such key combination!!!!!! >> >> Does not work in Windows... >> > Since the majority of computer users have the Windows OS, it sounds like we > need to specifically add this character to the set of Math characters. >
As I noted above, I quite agree that these logical symbols should be added to the list of special characters in LibreOffice Math. However, until they are, there exists a workaround for Windows users, which even works with Windows 7 (checked on 64-bit Win7 Pro) ; namely, to install UnicodeInput ( http://www.fileformat.info/tool/unicodeinput/index.htm). Note, however, that (for me at least), it is not the hex code, but rather the decimal code that must be used to import the glyph ; thus entering «2204» (without the quotation marks) in the tool gives me the desired ∄, whereas entering «089c»gives me a glyph I cannot read ࢜ with the fonts I have installed on Win7.... Henri -- Unsubscribe instructions: E-mail to discuss+h...@documentfoundation.org Posting guidelines + more: http://wiki.documentfoundation.org/Netiquette List archive: http://listarchives.documentfoundation.org/www/discuss/ All messages sent to this list will be publicly archived and cannot be deleted