A collection of abbreviations for tex documents