17 Marzo 2011 alle 11:33
#57208
::
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