::
ivan” post=70426
È il comportamento normale.
Un comando viene terminato o da un altro comando o da un segno di punteggiatura o da un gruppo. Quindi uno dei seguenti dà il risultato desiderato:
`
\op,
\op{}
\op\`
Questo lo ignoravo. Grazie di avermelo detto!