Formula: How to type in some Logic symbols

[L-user]

LibreOffice 4.1 Formula editor.
I would like to type in some of the “Logic symbols”, but can’t find all of the one I needed.



Bellow are the one I have found and there is XOR totally missing (or I can’t find it) and some of the symbols are similar in Formula but not the same.

Please copy/paste bellow code into Formula and compare it with the following first column Symbol: List of logic symbols - Wikipedia

"Material implication:" newline
p drarrow q newline
p toward q " (similar)" newline
p supset q newline newline newline
"Material equivalence" newline
p dlrarrow q newline
p equiv q newline
(missing single double arrow header) newline newline newline
"Negation" newline
neg p  newline
"~"p newline
"!"p newline newline newline
"Logical conjunction" newline
p and q newline
p cdot q "," p circ q " (similar)" newline
p "&" q newline newline newline
"Logical disjunction" newline
p or q newline
p "+" q newline
p parallel q newline newline newline
"Exclusive disjunction" newline
"(no symbol avaliable)"

[oweng]

Not all mathematical symbols are supported via native expression in the Math / Formula component of LO. You can generally use the related Unicode character (from the U2200 range) but the typesetting is questionable. There are some open enhancement requests for specific symbols that are not presently represented e.g., fdo#32420 (TeX \not) and fdo#65253 (line AB). Bug fdo#39750 lists a general collection of related outstanding AOO issues, but none apply specifically to logic symbols, although there is a general request cited to make adding new symbols easier, aoo#50100, which fdo#32418 would appear to mirror.

The XOR character is U+22bb. I cannot presently upload non-image files to this site as a result of ongoing maintenance, but here is a screenshot of what I produced from your example:

Please file an enhancement bug and provide as much information about this new feature as possible. Don’t forget to mark your bug as an ‘enhancement’. The QA team will be happy to help you triage your feature request in the bugtracker. Post a link to any bugs you file in a comment below using the format “fdo#123456”. Thanks!

[L-user]

I have checked this out and I see %Ux222A is the union character. But for others there is just no real support. What is the best font to get this mathematical-logical characters displayed.

[oweng]

Very few fonts include all 256 characters from the Mathematical Operators range. The OpenSymbol v102.3 font, which is used by default by LO for formulas, only includes 81. Linux Libertine v5.1.3 includes 82. DejaVu Serif v2.33 includes 100, DejaVu SansMono v2.33 includes 159, and the other DejaVu Sans v2.33 include all 256. Most people tend to prefer a serif font for formulas though. Also: [Feature Request] Make FreeSerif the default font for Math