>>962
a〜b ⇔ 0<a<2 b = a+1 or 0<b<2 a = b+1 or a=b