5.533 Das Gleichheitszeichen ist also kein wesentlicher Bestandteil der Begriffsschrift.