# \Vdash with a tilde instead of a horizontal line?

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?

• – egreg May 15 '17 at 7:26

$a \mathbin{\Vsym} b$