login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for #242 TeX display of long variable names is broken revision 2 of 2

1 2
Editor: Bill Page
Time: 2010/08/23 20:47:38 GMT-7
Note: fix typo

changed:
-)set ouput tex on
)set output tex on

Submitted by : (unknown) at: 2007-11-17T22:14:11-08:00 (16 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

Savannah bug #5906:

  overview: TeX display of long variable names is broken
  Submitted on:  Mon 10/13/03 at 07:21   

  Category:  interpreter
  Severity:  3 - Normal 
  Originator Name:  Dylan Thurston
  Summary:  TeX display of long variable names is broken 
  Original Submission:  The TeX output of long variable names is broken: they are just output as a string. In all versions of TeX, this means that the spacing will be adjusted to make it clear that this is a product of separate variables, exactly what is not intended. For instance, 'fi's in the output will not be replaced by ligatures. Long variable names need to be put into (say) an hbox in order to get the spacing correct.

  This is particularly obvious in the TeXmacs interface, which seems to add more space than standard TeX, but it is always a bug. 

Example of code trigerring the bug:

fricas
)set output tex on
true

\label{eq1} \mbox{\rm true} (1)
Type: Boolean

transferred --billpage, Tue, 03 Jan 2006 13:18:42 -0600 reply
Category: => Axiom Library Severity: => normal Status: => open