>>174
あなた読んでないんですねｗ

定義のところとは別に、外部二項演算のところで別の流儀が示されています
まぁ普通は定義のところの通りなんですが、一応確認しましょう