Simbolo matematico “non equivalente a”

Ciao a tutti. Come è meglio rendere il simbolo “non equivalente a”? Il semplice
`$\not\equiv$`
mi sa di troppo artigianale (come \not\in in luogo del più appropriato \notin). Nella Comprehensive list ho visto che esitono due comandi
$`\nequiv$`
e
$`\notequiv$`
I comandi però richiedono il caricamento di due pacchetti, txfonts e mathabx, e ho paura che vadano a toccare i font dell’intero documento.

Si usa \notin perché la sbarra trasversale non verrebbe posizionata correttamente con \not\in. Con quasi tutti gli altri simboli, \not funziona bene.

Arguisci bene che txfonts e mathabx ti mettono un po’ in disordine il tutto. Il primo perché è un simil-Times, il secondo perché, pur se compatibile con i Computer Modern, è solo in formati bitmap.

Ciao
Enrico