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:

(1) -> )set output tex on

true

(1)

Category: => Axiom Library Severity: => normal Status: => open