⊯

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.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.