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

`\newcommand{\vdashv}{{\ooalign{$\vdash$\cr$\dashv$}}}`
Al posto di metti uno fra
– \mathord
– \mathbin
– \mathrel
– \mathop
Dipende da che tipo di simbolo ti serve: ordinario, operatore binario, simbolo di relazione oppure operatore unario (come \log, per intenderci).

Ciao
Enrico