5.533

Das Gleichheitszeichen ist also kein wesentlicher Bestandteil der Begriffsschrift.