\[Therefore]

  • Unicode: 2234.
  • Alias: tf.
  • Infix operator.
  • x y is by default interpreted as Therefore[x,y].
  • x y z groups as x (y z).