>>50
TeX の質問というより論理の質問?
例えば \forall a,b (a\ne b\rightarrow\sim)