Ask Your Question

Formula: How to type in some Logic symbols [closed]

asked 2013-07-29 14:00:33 +0200

L-user gravatar image

updated 2015-11-04 04:52:05 +0200

Alex Kemp gravatar image

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:

"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)"
edit retag flag offensive reopen merge delete

Closed for the following reason the question is answered, right answer was accepted by Alex Kemp
close date 2015-11-04 04:52:36.932899

1 Answer

Sort by » oldest newest most voted

answered 2013-07-30 05:11:04 +0200

oweng gravatar image

updated 2013-07-31 08:57:23 +0200

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:

some math operators

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!

edit flag offensive delete link more


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.

L-user gravatar imageL-user ( 2013-07-30 13:52:57 +0200 )edit

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:

oweng gravatar imageoweng ( 2013-07-31 09:12:18 +0200 )edit

Question Tools

1 follower


Asked: 2013-07-29 14:00:33 +0200

Seen: 12,606 times

Last updated: Jul 31 '13