[quietbritishjim]

Thanks, that was ambiguous and the way you read it wasn't what I intended. I meant it was unusual for an author to use a new symbolic notation at all, without saying anything about whether they define it in those cases where they do use something new. I've edited "introduced" to "used".