5.533

The identity sign is therefore not an essential constituent of logical notation.