Re: \urcorner e altri simboli

Ti ringrazio, ma di fatto non c’è.
Come faccio per aggiornare MikTEX?
Grazie mille.

Cioè il seguente documento ti dà errore?
`\documentclass{minimal}
\usepackage{amssymb}
\stop`
Ti dice che il pacchetto non è trovato?

Ciao
Enrico