Simboli \downvdash e \upvdash

Salve, avrei bisogno di avere il simbolo della perpendicolare (la T capovolta) e della T normale (ma con lo stesso font) perchè sono utilizzati in un linguaggio chiamato ALC

Ho provato i seguenti simboli `$\downvdash$ $\upvdash$` ma il compilatore non me li accetta

` ! Undefined control sequence.
\downvdash

l.137 $\downvdash
$ & Concetto universale & \\
`
Premetto che ho scritto bene i $ non ho lasciato spazio dopo il comando come sembrerebbe dal compilatore.

Sono simboli particolari che richiedono un pacchetto? Thanks

P.s. ma su questo forum è installato il latex? Volevo provare a inserire direttamente i simboli per farveli vedere ma non so come fare

Dal symbols-a4 leggo che è richiesto il pacchetto MnSymbol.

Ciao,
ansys.

Salve, avrei bisogno di avere il simbolo della perpendicolare (la T capovolta) e della T normale (ma con lo stesso font) perchè sono utilizzati in un linguaggio chiamato ALC

Ho provato i seguenti simboli `$\downvdash$ $\upvdash$` ma il compilatore non me li accetta

` ! Undefined control sequence.
\downvdash

l.137 $\downvdash
$ & Concetto universale & \\
`
Premetto che ho scritto bene i $ non ho lasciato spazio dopo il comando come sembrerebbe dal compilatore.

Sono simboli particolari che richiedono un pacchetto? Thanks

P.s. ma su questo forum è installato il latex? Volevo provare a inserire direttamente i simboli per farveli vedere ma non so come fare

\top e \bot

Ciao
Enrico