⊯
See also: Appendix:Variations of "="
|
Translingual
editDescription
editNegated double vertical bar double right turnstile.
Symbol
edit⊯
- (mathematics) In model theory, a structure does not model a formula.
- (mathematics) In proof theory, a set of formulas does not force a formula to be true.