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?
TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. It only takes a minute to sign up.Sign up to join this community