09/04/14 02:07:02
>>53
>>54
⇒の左側に仮定としてa≠bを持ってくる書き方だと、
例えば
∀a,b∈Z、∀c,d∈Q、・・・・、(a≠b ⇒ ～)
と、最初にa,bが出てくるところとaとbの間の条件が示されるところが離れてしまい、
理解しずらくなるケースが発生すると思うんです。
日本語で読んでいた場合、
「任意のa≠bとなるの２つの整数a,bが～」となって、理解しやすいですよね？
このように理解しやすく書くにはどうすればいいんでしょうか。
皆さんはこういう命題をTeXで書くときどうしていますか？