Re: \vdash & \dashv

Grazie, ma un file del genere l’avevo già visionato, cercando “dash” non trovo però il simbolo che fa al caso mio…