\[Nor]

  • Unicode: 22BD.
  • エイリアス：nor
  • 評価規則組込みの中置形演算子．
  • x y はデフォルトでNor[x,y]として解釈される．