This is documentation for Mathematica 6, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)
Mathematica Character Name


  • Unicode: 22A8.
  • Infix operator.
  • x ⊨ y is by default interpreted as DoubleRightTee[x, y].
  • x ⊨ y ⊨ z groups as x ⊨ (y ⊨ z).
  • Used in mathematics to indicate various strong forms of logical implication—often tautological implication.
  • In prefix form, used to indicate a tautology.