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.


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

You must log in to answer this question.

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