Re: \vdash & \dashv

Buon pomeriggio!
Questo post pre-pasquale per chiedervi se esiste in LaTeX un simbolo del tipo “barra verticale-lineetta-barra verticale”, una sorta di “unione” di \vdash e \dashv, quel simboletto, per intenderci, che si usa nella definizione di classi per variabili continue…
Grazie e cari saluti,
Olotiv

Prova a guardare qui.