lista con simboli matematici

Se cerco di creare una lista del genere:`\begin{description}
\item[$\top$] concetto universale
\item[$\bot$] insieme vuoto
\item[A] atomo
\item[$\neg A$] negazione atomica
\item[$C\cap D$] intersezione
\item[$\forall R.C$]
\item[$\exists R$]
\item[$(\geq \mbox{R.C})(\leq)(\eq)$]
\end{description}`mi viene fuori un msg di errore con il seguente suggerimento:
“You need to provide a definition with \DeclareInputText or \DeclareInputMath before using this key.”
Qualcuno sa cosa sbaglio, o cosa dovrei dichiarare?

Non viene nessun errore, a parte che il comando \eq non è definito. Sostituendolo con “=” la compilazione è perfetta.
Evidentemente c’è dell’altro: per esempio, come hai definito \eq?. Bisogna che tu ci mostri un preambolo con il quale l’errore si presenta. Cerca di togliere tutti i comandi e pacchetti che non hanno rilevanza.

Un’occhiata a “inputenc.sty” mi fa sospettare che il messaggio di errore non riguardi la lista, ma un carattere in input che non ha definizione; come carichi \inputenc?

Ciao
Enrico

forse nomencl potrebbe fare al caso tuo
ciao
f