::
Potrebbe essere una soluzione (anche se dovrei capire come fare per inserire un \input dentro a verbatim), ma preferirei di no perché sinora, nello stesso documento non ho usato verbatim in circostanze analoghe (ma ovviamente, finora, non avevo problemi di $).
Grazie per la risposta
