In this case the author literally gives the full names sometimes. And in fact he leads a paragraph with "Asserting the non-existence (2) of the ciphertext" so whether something gets a one letter variable and some formal logic operator or whether it gets expressed in plain English seems totally arbitrary.
