(<EURO SIGN>): Use `->denotational' to separate JX1-2921 and B-A3E1.