4.2.2. The following additional symbol: a0c0