For obsolete reasons, that no longer seem to apply, we used ∅ as the
unit.