TeXipedia
Find LaTeX symbols fast

A logical relation symbol representing semantic consequence or strong forcing in modal and intuitionistic logic.

\Vvdash image