\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.

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

Peccato, c’ho provato… anche se mi sembra strano perché ha praticamente tutti i simboli. Mi spiace! Attendiamo altri esperti.

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