"If the identifier begins with an _, then it must be followed an arbitrarily long combination that contains at least an occurrence of a or d."

To avoid any misunderstanding, I add a short redundant phrase, as follows.

If the identifier begins with an _, then it must be followed an arbitrarily long combination of "_", "a", and "d" that contains at least one occurrence of "a" or "d".