⊯

See also: Appendix:Variations of "="

⊯ U+22AF, ⊯ NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE Composition: ⊫ [U+22AB] + ◌̸ [U+0338] ← ⊮ [U+22AE] Mathematical Operators ⊰ → [U+22B0]

Translingual

Description

Negated double vertical bar double right turnstile.

Symbol

⊯

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