Wolfram Language & System 10.3 (2015)|Legacy Documentation

This is documentation for an earlier version of the Wolfram Language.View current documentation (Version 11.2)


  • Unicode: 22A3.
  • Alias: EsclTEsc.
  • Infix operator.
  • x y is by default interpreted as LeftTee[x,y].
  • x y z groups as (x y) z.
  • Used in mathematics to indicate the lack of logical implication or proof.
Introduced in 1996