bugGNU TeXmacs - Bugs: bug #15616, latex export of big sqcap requires...

 
 

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

bug #15616: latex export of big sqcap requires stmaryrd package

Submitter:  Ralf Treinen <treinen>
Submitted:  Fri 03 Feb 2006 06:24:56 PM UTC
   
 
Category:  Conversion Priority:  5 - Normal
Item Group:  Error Status:  Fixed
Privacy:  Public Assigned to:  fpoulain
Originator Name:  Francesco Potorti Open/Closed:  Closed
Release:  None Release:  1.0.6
Fixed Release:  None Fixed Release: 
Keywords:  latex

Wed 01 Feb 2012 03:04:17 PM UTC, comment #1: 

The bug affect at least all those big symbols (took from the intersection between latex-drd.scm and stmaryrd.sty, minus \bigtriangleup and \bigtriangledown ever provided by LaTeX) :
\bigbox
\bigcurlyvee
\bigcurlywedge
\biginterleave
\bignplus
\bigparallel
\bigsqcap

The following patch correct the bug. Export/reimport tested correctly.

Anyway, the "<big|nplus>" symbol is defined and present in latex-drd.scm but seems not to be accessible from GUI.

(file #24950)

Francois Poulain <fpoulain>
Group Member
Fri 03 Feb 2006 06:24:56 PM UTC, original submission:  

When using the big symbol \bigsqcap, latex
output does not work, because the package stmaryrd should be used.

Adding
 \usepackage{stmaryrd}
to the produced Latex file solves the problem.

TeXmacs to reproduce the error attached.

Ralf Treinen <treinen>
Group Member

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attached Files
file #24950:  bug_15616.patch added by fpoulain (588B - text/x-diff)
file #2068:  bug351247.tm added by treinen (184B - text/texmacs - sample texmacs file to reproduce the error)

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by fpoulain
  •  

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

     

    Follow 10 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2012-02-26 fpoulain Open/ClosedOpen Closed
    2012-02-23 fpoulain StatusReady For Test Fixed
    2012-02-01 fpoulain Attached File- Added bug_15616.patch, #24950
        StatusConfirmed Ready For Test
        Carbon-Copy- Added -email is unavailable-
    2012-01-24 fpoulain StatusNone Confirmed
        Assigned toNone fpoulain
    2006-06-15 #48748 Carbon-Copy- Added rvb
    2006-02-03 treinen CategoryDocumentation Conversion
    2006-02-03 treinen Attached File- Added bug351247.tm, #3364

    Back to the top

    Powered by Savane 3.13-f8d8.
    Corresponding source code