\urcorner e altri simboli

Ciao a tutti, ho bisogno di usare il carattere speciale \urcorner, che è parte del pacchetto amssymb.
Non riesco però a trovare questo pacchetto in MikTeX package manbnager, né in CTAN.
Potreste aiutarmi, per cortesia?
Grazie.

Benvenuto! Ce l’hai di sicuro; altrimenti la tua installazione è bacata.

Ciao
Enrico

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

No, quando dichiaro il pacchetto non dà errore (anche se nell’elenco dei pèacchetti in MikTEK package manager non è elencato). Quando però uso il comando \urcorner mi dà errore e mi dice che non lo riconosce.

Esempio minimo, per favore. Questo funziona:
`\documentclass[a4paper]{article}
\usepackage{amssymb}
\begin{document}
$\urcorner$
\end{document}`
Ciao
Enrico