x-symbol and 21.4.3-nomule