I'm basically looking for a nicely type-set version of the symbol ||~, or a way to make it myself.

Is there a way to generate a math-mode symbol that looks like a \VDash, but with a tilde in place of a horizontal line?


1 Answer 1


Do you mean something like this? EDITED to make it a \mathbin macro.

a \mathbin{\Vsym} b

enter image description here

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .