Take the 2-minute tour ×
TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. It's 100% free, no registration required.

While finishing an article for TUGboat I came across a strange behavior of the protrusion mechanism of pdfTeX (as implemented by the microtype package). The character \ in typewriter has a negative left margin protrusion, i.e., it normally sticks out by 1.57498pt into the left margin. However, if the same text is used within a quote environment of LaTeX, the protrusion on the first line vanishes as can be seen in the following example:

\documentclass{article}

\usepackage{microtype}
\microtypesetup{protrusion=true}

\begin{document}

\noindent
\verb=\foo= \\
\verb=\foo= \\
\smash{\rule{.4pt}{34pt}}aaaaaaaa

\begin{quote}
\verb=\foo= \\
\verb=\foo= \\
\smash{\rule{.4pt}{34pt}}aaaaaaaa
\end{quote}
\end{document}

As a result we get

enter image description here

Now the problem is clearly related to how pdfTeX implements protrusion and in Unexpected interaction between microtype and \parindent this is already discussed in relation to the intentation box.

In this case here there is no indentation box. Instead we do have a hidden "label" box added by the quote environment as that is really a trival form of list. Thus there is a hidden \item without any visible output (like a zero width indentation box).

So here are my question(s):

  • is my analysis correct (it basically only an assumption around midnight)
  • if so, should pdfTeX try harder to do protusion across "non-visible" material at line ends? I.e., would that be a pdfTeX bug at least an improvement topic?
  • or should/could this be fixed by code in LaTeX (or microtype) implementing such things differently?
share|improve this question
    
    
And see also tex.stackexchange.com/questions/13666/… –  Lev Bishop Jan 15 '13 at 23:29
3  
@Lev why is this a duplicate? it is about the same topic, right, but it is not asking the same question about it, does it? –  Frank Mittelbach Jan 15 '13 at 23:42

1 Answer 1

up vote 15 down vote accepted
  • Your analysis is correct.

  • A couple of years ago, the pdftex team has been discussing whether pdftex should indeed try harder. No clear conclusion transpired except that it would probably be too difficult to get it right in all cases, hence the issue was postponed for later consideration ... maybe too late for pdftex now, and to be passed on to luatex.

  • Without pdftex providing any suitable means it would be very hard for microtype to fix the situation; see this kludge. It would be easier to do (though still messy) with a command telling pdftex that it should regard the current point as the beginning/end of a line. There even is a patch providing such a command, which never seems to have made it into a release, however.

  • (Of course, implementing the quote environment as a list with an empty item (verbatim being another such case) may be considered a rather unfortunate choice by LaTeX2e, anyway – something that should be investigated for LaTeX3 IMHO.)

share|improve this answer
5  
I agree the the way LaTeX "mis"uses the list environment is at least questionable. However, even in an itemize with a real label one could argue that protusion should happen. So the issue is more that (pdf)TeX doesn't support embellishing a paragraph with material that sticks out but requires that this material becomes part of the paragraph data. If that would be the case (plus a different implementation of lists in that case) it would solve the issue in a general fashion and - as I think - on the right level. –  Frank Mittelbach Jan 16 '13 at 7:53

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.