bugGNU TeXmacs - Bugs: bug #35766, LaTeX logical operator \lnot is...

 
 

You are not allowed to post comments on this tracker with your current authentication level.

bug #35766: LaTeX logical operator \lnot is not supported

Submitted by:  Kemal Ilgar Eroğlu <kieroglu>
Submitted on:  Thu 08 Mar 2012 08:13:29 PM UTC  
 
Category: ConversionPriority: 5 - Normal
Item Group: WishlistStatus: Fixed
Privacy: PublicAssigned to: Francois Poulain <fpoulain>
Originator Name: Open/Closed: Closed
Release: 1.0.7.14Release: None
Fixed Release: NoneFixed Release: 
Keywords: 

Thu 22 Mar 2012 11:08:13 AM UTC, comment #3:

Sorry, I just realized that somehow I totally missed your last post. The patch works perfectly, thank you very much!

Kemal Ilgar Eroğlu <kieroglu>
Fri 09 Mar 2012 09:49:03 AM UTC, comment #2:

Does the following patch work for you ?

(file #25301)

Francois Poulain <fpoulain>
Project MemberIn charge of this item.
Fri 09 Mar 2012 09:15:08 AM UTC, comment #1:

The bug is confirmed with \lnot, \land and \lor.

Francois Poulain <fpoulain>
Project MemberIn charge of this item.
Thu 08 Mar 2012 08:13:29 PM UTC, original submission:

For the logical operator "not" there are two symbols in LaTeX: \neg and \lnot (they are simply the same). TeXmacs recognizes \neg but not \lnot, so LaTeX imports involving the latter don't display correctly.

Kemal Ilgar Eroğlu <kieroglu>

 

Attached Files
file #25301:  bug_35766.diff added by fpoulain (2KiB - text/x-patch)

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -unavailable- added by kieroglu (Submitted the item)
  •  

    Do you think this task is very important?
    If so, you can click here to add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.

     

    Please enter the title of George Orwell's famous dystopian book (it's a date):

     

     

    Follow 10 latest changes.

    Date Changed By Updated Field Previous Value => Replaced By
    Wed 21 Mar 2012 01:28:49 PM UTCfpoulainOpen/ClosedOpen=>Closed
      SummaryLaTeX logical operator \\lnot is not supported=>LaTeX logical operator \lnot is not supported
    Wed 21 Mar 2012 01:28:32 PM UTCfpoulainStatusConfirmed=>Fixed
      SummaryLaTeX logical operator \\lnot is not supported=>LaTeX logical operator \lnot is not supported
    Fri 09 Mar 2012 09:49:03 AM UTCfpoulainAttached File-=>Added bug_35766.diff, #25301
      SummaryLaTeX logical operator \\lnot is not supported=>LaTeX logical operator \lnot is not supported
    Fri 09 Mar 2012 09:15:08 AM UTCfpoulainStatusNone=>Confirmed
      SummaryLaTeX logical operator \\lnot is not supported=>LaTeX logical operator \lnot is not supported
    Thu 08 Mar 2012 08:19:26 PM UTCfpoulainAssigned toNone=>fpoulain
      SummaryLaTeX logical operator \\lnot is not supported=>LaTeX logical operator \lnot is not supported

    Back to the top


    Powered by Savane 3.1-cleanup1