で、大学ではなぜか≡を「定義」と称した代入記号として使われいた
かのような。うまい説明ではないが。