>>210
超準解析の公理系では同値関係をイコール記号ではなくへにょ線（〜）ふたつ重ねて示しますよね
そういうことです