>>53
>>54
⇒の左側に仮定としてa≠bを持ってくる書き方だと、

例えば
∀a,b∈Z、∀c,d∈Q、・・・・、(a≠b　⇒　～)
と、最初にa,bが出てくるところとaとbの間の条件が示されるところが離れてしまい、
理解しずらくなるケースが発生すると思うんです。

日本語で読んでいた場合、
「任意のa≠bとなるの２つの整数a,bが～」となって、理解しやすいですよね？

このように理解しやすく書くにはどうすればいいんでしょうか。
皆さんはこういう命題をTeXで書くときどうしていますか？