Unicode definition module in extras
aliasing ↦ as -> hardcoded in the parser