discrepancy between FTML and PDF:

[kohlhase]

In MathHub/courses/FAU/AI/course/source/prolog/slides/prolog-lists.en.tex, the FTML is

but the PDF is

The culprit sTeX is

      \begin{enumerate}
      \item \defemph{\lstinline[mathescape]![a,b,c,$\ldots$]!} for \sn{list}
        \sns{literal}, and 
      \item a \sn{first}/\sr{rest list}{rest} \sn{adt?constructor} that \sns{represent} a
        \sn{list} with \sr{first}{head} \lstinline|F| and \sn{rest list} \lstinline|R| as
        \defemph{\lstinline![F|R]!}.
      \end{enumerate}
    \end{sdefinition}