Hat die italic correction \texttt{-\/-option} einen Effekt?
Ich habe bemerkt, dass der Pandoc bei der Markdown->LaTeX-Transformation aus
`--option`
das hier macht:
\texttt{-\/-option}
Ich hätte einfach \texttt{--option}erwartet und kann beim generierten PDF auch keinen Unterschied sehen. Gibt es überhaupt eine Situation, in der das \/ an dieser Stelle einen Effekt hätte?