Changing spacing around in the formal definition, in order to avoid latex overflowing the box.