diff options
-rw-r--r-- | etc/nxml/0FFF0-0FFFF.el | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/etc/nxml/0FFF0-0FFFF.el b/etc/nxml/0FFF0-0FFFF.el new file mode 100644 index 00000000000..392312be01e --- /dev/null +++ b/etc/nxml/0FFF0-0FFFF.el @@ -0,0 +1,9 @@ +(nxml-define-char-name-set 'specials + '(("INTERLINEAR ANNOTATION ANCHOR" #xFFF9) + ("INTERLINEAR ANNOTATION SEPARATOR" #xFFFA) + ("INTERLINEAR ANNOTATION TERMINATOR" #xFFFB) + ("OBJECT REPLACEMENT CHARACTER" #xFFFC) + ("REPLACEMENT CHARACTER" #xFFFD) + )) + +;; arch-tag: 0bef6e81-4857-4032-a18a-18784233cc81 |