The equality predicate (usually written '=') is also treated as a logical constant in many systems of logic.
等式述語（通常'='と書かれる）もまた、多くの論理体系において論理定項として扱われる。