abbreviatores