Bug 32420

Summary: Add TeX like "\not" to Math
Product: LibreOffice Reporter: RGB <rgb.mldc>
Component: Formula EditorAssignee: Not Assigned <libreoffice-bugs>
Status: NEW ---    
Severity: enhancement CC: dante19031999, martin.sourada, samsonov.box
Priority: medium    
Version: 3.3.0 RC1   
Hardware: x86-64 (AMD64)   
OS: Linux (All)   
Whiteboard:
Crash report or crash signature: Regression By:
Bug Depends on:    
Bug Blocks: 39750    

Description RGB 2010-12-15 10:05:35 UTC
When writing mathematics, it is usually needed to "negate" an expression. For example, on Math you can insert "exists" but not "not exists". On mathematics there are almost an equal number of normal and "negated" symbols: adding a "not" operator will simplify using them without the need to define all those symbols again.
Comment 1 Björn Michaelsen 2011-12-23 11:33:02 UTC Comment hidden (obsolete)
Comment 2 RGB 2011-12-23 16:39:35 UTC
The feature requested is not implemented on 3.5 beta2 yet.
Comment 3 Marcos Souza 2013-05-21 18:55:45 UTC
So, the neg <?> solves your problem?
Comment 4 Frédéric Wang 2013-06-23 13:12:03 UTC
(In reply to comment #3)
> So, the neg <?> solves your problem?

"neg" is to take the negation of a Boolean expression. In LaTeX "\not" strikes its argument. For example "\not \in" will produce the same as \notin. In Math, you can do "in" and "notin", but you don't have a general way to strike with a slash (you may however use "overstrike" do draw an horizontal strike)

FYI, to implement \not, MathJax tries to get the corresponding negation of a given Unicode character if it exists or uses 'COMBINING LONG SOLIDUS OVERLAY' (U+0338) otherwise. Alternatively, <menclose notation="updiagonalstrike"> could be implemented in Math.
Comment 5 QA Administrators 2014-10-23 17:31:36 UTC Comment hidden (obsolete)
Comment 6 Regis Perdreau 2019-04-04 22:30:53 UTC
I understand that is it requested a feature to add easily a strike over a
Comment 7 Regis Perdreau 2019-04-04 22:35:25 UTC
up diagonal strike still missing in 6.3 master...
May be something we can derivate from overstrike.