⊯

Description
Negated double vertical bar double right turnstile.

Symbol

 * 1)  In model theory, a structure does not model a formula.
 * 2)  In proof theory, a set of formulas does not force a formula to be true.