Re: Simboli \downvdash e \upvdash

esistevano comandi così facili e io mi ero andato a complicare la vita 🙄

vabbè grazie a entrambi, uso i semplici \top e \bot