bugGNU TeXmacs - Bugs: bug #62828, Incorrect LaTeX export of...

 
 

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

bug #62828: Incorrect LaTeX export of "norm" delimiters

Submitter:  Gennady Uraltsev <guraltsev>
Submitted:  Thu 28 Jul 2022 05:36:12 AM UTC
   
 
Category:  Conversion Priority:  5 - Normal
Item Group:  Error Status:  Fixed
Privacy:  Public Assigned to:  vdhoeven
Originator Name:  Open/Closed:  Closed
Release:  None Release: 
Fixed Release:  None Fixed Release: 
Keywords: 

Mon 10 Oct 2022 04:04:57 PM UTC, comment #2: 

Partially fixed in revision 13917.

I fixed the "gibberish" bug.

As to the other "bug", bear in mind that TeXmacs offers more
control over the sizes of brackets than LaTeX, so some of
this functionality is hard to export.  At least,
the mathematical semantics is not lost when using a wrong size,
so it is a low priority for me to do better.

If you have any better idea or a patch, then please let me know.

Joris van der Hoeven <vdhoeven>
Group administrator
Thu 28 Jul 2022 05:48:04 AM UTC, comment #1: 

Here is the link to the crossposted discussion on the forum:

http://forum.texmacs.cn/t/incorrect-latex-export-of-norm-delimiters/999

Gennady Uraltsev <guraltsev>
Thu 28 Jul 2022 05:36:12 AM UTC, original submission:  

The export of the "norm" (double bar) delimiters is messed up when exporting norm symbols that have been resized (made larger).

Note that the exporter does not know how to export resized norm symbols. That would be ok if it just exported the non-resized ones. Instead, it often adds arbitrary bars mangling the math.

I am attaching a tm file that illustrates the different behavior and also the exported TeX file.

Gennady Uraltsev <guraltsev>

 

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

Attached Files
file #53479:  double-norm.tm added by guraltsev (520B - application/octet-stream)
file #53480:  double-norm.tex added by guraltsev (263B - application/octet-stream)

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by vdhoeven (Posted a comment)
  • -email is unavailable- added by guraltsev (Submitted the item)
  •  

    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 5 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2022-10-10 vdhoeven StatusNone Fixed
        Assigned toNone vdhoeven
        Open/ClosedOpen Closed
    2022-07-28 guraltsev Attached File- Added double-norm.tm, #53479
        Attached File- Added double-norm.tex, #53480

    Back to the top

    Powered by Savane 3.13-758e.
    Corresponding source code