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

\[DoubleRightTee]

  • 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.