■anond:20210605214455

門外漢なのでよく知らんのだけど、

≧が先にあって、a=b⇔a≧bかつb≧a、a＞b⇔a≧bかつ￢b≧a、で=と＞を定義してるんじゃなかったっけ？

Permalink | 記事への反応(0) | 22:01

ツイートシェア