/  
Man dürfte also die Erklärung von ξ = ( ) = ( ) nicht so schreiben:
ξ = ξ ≝ Taut.
ξ = η ≝ Cont.
sondern man müßte sagen: Wenn ˇ & nur wenn „ξ” & „η” den Zeichenregeln zu Folge die gleiche Bedeutung haben dann ist „ξ = η” Taut.; wenn „ξ” & „η” den Zeichenregeln zu Folge nicht dieselbe Bedeutung haben dann ist „ξ = η” Cont..
Es wird vielleicht zweckmäßig sein daß so erklärte Gleichheitszeichen anders zu schreiben etwa „ξ↔η” zum [u|U]nterschied von „ξ = η” welches eine Zeichenregel darstellt & besagt daß wir ξ durch η ersetzen dürfen. Das nämlich kann ich aus ξ↔η nicht ersehen sondern nur daraus daß ξ↔η eine Tautologie ist aber auch das weiß ich ja erst wenn ich schon die Ersetzungsregeln kenne.