Definition of Abbreviators