[Libreoffice-bugs] [Bug 53208] New: FORMULAEDITOR: Logical / Boolean Expressions make little sense

[bugzilla-daemon at freedesktop.org]

https://bugs.freedesktop.org/show_bug.cgi?id=53208

             Bug #: 53208
           Summary: FORMULAEDITOR: Logical / Boolean Expressions make
                    little sense
    Classification: Unclassified
           Product: LibreOffice
           Version: 3.5.4 release
          Platform: Other
        OS/Version: All
            Status: UNCONFIRMED
 Status Whiteboard: BSA
          Severity: normal
          Priority: medium
         Component: Formula Editor
        AssignedTo: libreoffice-bugs at lists.freedesktop.org
        ReportedBy: udippel at gmail.com


Created attachment 65227
  --> https://bugs.freedesktop.org/attachment.cgi?id=65227
Some examples on how it looks currently, and how the current workaround looks
like in Writer. There is none for the formula editor.

Problem description: 

With the usual notation of 'overline' as negation indicator, I cannot suitably
write logical terms.

Either, with uppercase terms, the overline makes it a logical combination
(NOT-A and NOT-B is different from NOT (A and B)); same with lowercase; and
with the formula editor it looks just ugly.

Steps to reproduce:
1. ....
2. ....
3. ....

Current behavior:

NOT-A and NOT-B show as NOT (A and B)

Expected behavior:

NOT-A and NOT-B show as NOT-A and NOT-B; that is, there must exist an overline
that is slightly more narrow than the character width.

The formula editor ought to keep all 'NOT' (overlines) in the same height.

The current workaround is the artificial addition of a space in between the
terms. That makes it logically correct, but looks unusually wide.

Platform (if different from the browser): 

Browser: Mozilla/5.0 (X11; Linux i686) AppleWebKit/535.19 (KHTML, like Gecko)
Ubuntu/12.04 Chromium/18.0.1025.168 Chrome/18.0.1025.168 Safari/535.19

-- 
Configure bugmail: https://bugs.freedesktop.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.