(For definitions of the other symbols see paragraph 4.1.1.). a0c0