Omit "∅∅∅" abbreviations
Update version