[latexrefman] tie character

Vincent Belaïche vincent.belaiche at gmail.com
Fri Aug 13 13:41:16 CEST 2021

Looking how to translate this term, I found that it is ambiguous, see

It seems that « tie » is some sort of Texinfo jargon rather than a
typographical term.

I think that the term « tie » should be removed throughout the English
version, and replaced by non-breaking space.

Comments/feedback welcome …

More information about the latexrefman mailing list.