Ich schreibe also nicht „f(a,b).a=b“, sondern „f(a,a)“ (oder „f(b,b)“). Und nicht „f(a,b).~a=b“, sondern „f(a,b)“.
« 5.5303 5.532 »