Bonjour,
Est-ce que le remplacement de ... par \dots dans un document latex est une bonne idée ou il vaudrait mieux que j'arrête immédiatement de faire ça ?
Je vous demande parce que j'écris des documents dans lesquels les gens envoient des fichiers indépendants que je combine en un document LaTeX, et pour gagner du temps je fais ce remplacement automatiquement.
Sachant que je change le catcode du point (.), y a-t-il un risque d'interférence avec autre chose interne à TeX ?
Three little dots or \dots, that's the question...
Merci pour votre aide![]()
Partager