\[Conditioned]

  • Unicode: 0F3D3.
  • エイリアス： cond
  • 組込みの評価規則を持つ中置形演算子．
  • exprpred はデフォルトでConditioned[expr,pred]として解釈される．