\[Conditioned]

  • Unicode: 0F3D3.
  • Aliases: cond .
  • Infix operator with built-in evaluation rules.
  • exprpred is by default interpreted as Conditioned[expr,pred].