How do you write "forces" in set theory, in Latex?

Question

I just learned forcing in my Set theory class. I am wondering how do we write "forces" denoted by a symbol that looks somewhat similar to, but different, o$\models$o.

Answer 1

I believe the symbol you're looking for is \Vdash available by loading the amssymb package.

Also, you want to put your whole math expression inside the $…$, not just the special symbol, so $o \Vdash o$.

Finally, when you're trying to find a symbol, the Detexify site (there's also an off-line tool) is handy for being able to draw a symbol and see what TeX commands will generate something similar.