\[Succeeds]

  • Unicode: 227B.
  • 中置形の比較演算子．
  • x y はデフォルトでSucceeds[x,y]として解釈される．
  • 数学で各種の部分順序を示すのに使用される．
  • しばしば関数に適用され，「x はy を支配する」と読む．