abbreviator [pl. abbreviators]