Inform 7 Home Page / Documentation
§27.25. Naming Unicode characters
Inform allows the Unicode characters to be identified either with a decimal number or by name, but it has none of the character names built-in, and for efficiency reasons it only learns them when necessary.
Users normally teach these names to Inform by including one of the extensions "Unicode Character Names" or "Unicode Full Character Names", which consist of many hundreds of sentences like so:
anticlockwise open circle arrow translates into Unicode as 8634.
Nothing restricts this usage to those extensions.