>>696
別の記号を使っても何ら矛盾は生じない。