続・演算子の優先度

※ 2023-01-17に書いたけど投稿忘れ。演算子の優先度 - (新) 檜山正幸のキマイラ飼育記 メモ編 の続き

Leanの場合、まだ調整は必要かも知れない:

  1. PrefixSuffixPrecidence 1024 = max
  2. ArgumentPrecidence 1023 = arg
  3. CompositionPrecedence 90 ($`\circ`$)
  4. ExponentialPrecedence 80 (^)
  5. MultiplicationPrecedence 70 (*)
  6. AdditionPrecedence 65 (+)
  7. BindPrecedence 55 (>>=)
  8. ComparisonPrecedence 50 (=)
  9. LogicalNegationPrecedence 40 (¬)
  10. LogicalConjunctionPrecedence 35 (∧)
  11. LogicalDisjunctionPrecedence 30 (∨)
  12. TernaryPrecedence 25 ( ? : )
  13. AssignmentPrecedence 20 (:←)
  14. PipePrecedence 10 = min (|>)

NOTE: If parameters of a notation are not explicitly given a precedence they will
implicitly be tagged with precedence 0.