├── .gitignore ├── LICENSE ├── Makefile ├── README.markdown ├── h5-maint.el ├── html5-langs.el ├── html5-ncr.el ├── html5-tok.el ├── schemas.xml ├── tools ├── build-langs.py ├── build-ncr.py └── extract-parsing-algorithm.py └── whattf-dt.el /.gitignore: -------------------------------------------------------------------------------- 1 | html5lib 2 | syntax 3 | webapps 4 | *.elc 5 | /relaxng 6 | language-subtag-registry 7 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- 1 | Copyright (C) 2009, 2010 Edward O'Connor 2 | 3 | Permission is hereby granted, free of charge, to any person obtaining a 4 | copy of this software and associated documentation files (the 5 | "Software"), to deal in the Software without restriction, including 6 | without limitation the rights to use, copy, modify, merge, publish, 7 | distribute, sublicense, and/or sell copies of the Software, and to 8 | permit persons to whom the Software is furnished to do so, subject to 9 | the following conditions: 10 | 11 | The above copyright notice and this permission notice shall be included 12 | in all copies or substantial portions of the Software. 13 | 14 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS 15 | OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF 16 | MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. 17 | IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY 18 | CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, 19 | TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE 20 | SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. 21 | -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- 1 | # Copyright (C) 2009, 2010 Edward O'Connor 2 | # 3 | # Permission is hereby granted, free of charge, to any person obtaining 4 | # a copy of this software and associated documentation files (the 5 | # "Software"), to deal in the Software without restriction, including 6 | # without limitation the rights to use, copy, modify, merge, publish, 7 | # distribute, sublicense, and/or sell copies of the Software, and to 8 | # permit persons to whom the Software is furnished to do so, subject to 9 | # the following conditions: 10 | # 11 | # The above copyright notice and this permission notice shall be 12 | # included in all copies or substantial portions of the Software. 13 | # 14 | # THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, 15 | # EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF 16 | # MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND 17 | # NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS 18 | # BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN 19 | # ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN 20 | # CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE 21 | # SOFTWARE. 22 | 23 | EMACS=emacs 24 | 25 | dummy: 26 | echo "USAGE: $(make) [html5-ncr.el]" 27 | 28 | clean: 29 | rm -f language-subtag-registry parsing-algorithm *~ *.elc 30 | 31 | distclean: 32 | rm -rf relaxng webapps 33 | 34 | parsing-algorithm: webapps tools/extract-parsing-algorithm.py 35 | python tools/extract-parsing-algorithm.py < webapps/source > parsing-algorithm 36 | 37 | html5-ncr.el: webapps tools/build-ncr.py 38 | python tools/build-ncr.py webapps/entities-legacy.inc webapps/entities-unicode.inc > $@ 39 | 40 | html5-langs.el: tools/build-langs.py language-subtag-registry 41 | python tools/build-langs.py language-subtag-registry > html5-langs.el 42 | 43 | test: html5lib/testdata/tokenizer/test1.test 44 | @$(EMACS) -batch -l h5-maint.el -f h5-run-tests html5lib/testdata/tokenizer/*.test 45 | 46 | .el.elc: 47 | @$(EMACS) -batch -f batch-byte-compile $*.el \ 48 | || (echo "Perhaps you should specifcy LOAD_PATH to make?" \ 49 | "(e.g. \"gmake LOAD_PATH=~/elisp\".)" \ 50 | && echo "Please see README for compilation instructions." \ 51 | && exit 1) 52 | 53 | ## External repositories 54 | 55 | # (non-normative) RELAX NG schema for HTML5 56 | relaxng: 57 | svn co http://whattf.svn.cvsdude.com/syntax/trunk/relaxng/ relaxng 58 | # The HTML5 spec source 59 | webapps: 60 | svn co http://svn.whatwg.org/webapps webapps 61 | # Two- and three-letter language codes 62 | language-subtag-registry: 63 | curl -O http://www.iana.org/assignments/language-subtag-registry 64 | html5lib/testdata/tokenizer/test1.test: html5lib 65 | html5lib: 66 | hg clone https://html5lib.googlecode.com/hg/ html5lib 67 | 68 | update: 69 | cd relaxng; svn up 70 | cd webapps; svn up 71 | -------------------------------------------------------------------------------- /README.markdown: -------------------------------------------------------------------------------- 1 | # html5-el 2 | 3 | This is an umbrella repository for various projects of mine involving 4 | working with HTML5 in Emacs Lisp. 5 | 6 | ## Edit XHTML5 documents with `nxml-mode` 7 | 8 | This provides the ability to use `nxml-mode` to edit XHTML5 documents 9 | with RELAX NG validation. 10 | 11 | ### How to use 12 | 13 | First, you'll need to fetch the RELAX NG schema from the WHAT Task Force 14 | subversion repository; a simple `make relaxng` in this directory should 15 | do the trick. 16 | 17 | Next, you'll need to add this directory to your `load-path`. Let's 18 | assume you've placed it in `~/code/html5-el/`. 19 | 20 | (add-to-list 'load-path "~/code/html5-el/") 21 | 22 | Finally, wire this stuff into `nxml-mode` like so, altering the path to 23 | `schemas.xml` appropriately. 24 | 25 | (eval-after-load "rng-loc" 26 | '(add-to-list 'rng-schema-locating-files "~/code/html5-el/schemas.xml")) 27 | 28 | (require 'whattf-dt) 29 | 30 | ## Experimental Emacs Lisp HTML5 tokenizer (`html5-tok.el`) 31 | 32 | This is an implementation of the HTML5 tokenizer in Emacs Lisp. The API 33 | is relatively simple: with point at the location in a buffer where you'd 34 | like to start tokenizing, call `html5-tok-forward` to move forward one 35 | token. The token moved over is returned. 36 | 37 | Despite the fact that all the tokenizer states are implemented, this is 38 | very early on in its life and the interface is likely to change 39 | significantly. 40 | -------------------------------------------------------------------------------- /h5-maint.el: -------------------------------------------------------------------------------- 1 | (add-to-list 'load-path default-directory) 2 | (mapc (lambda (dir) (add-to-list 'load-path dir)) 3 | (parse-colon-path (getenv "LOAD_PATH"))) 4 | 5 | (require 'json) 6 | (require 'html5-tok) 7 | 8 | (defun h5-explore-text-properties () 9 | (when (< (point) (point-max)) 10 | (describe-text-properties (point)))) 11 | 12 | (define-minor-mode h5-explore-text-properties-mode 13 | "Explore the text properties in this buffer." 14 | nil " xtp" nil 15 | (if explore-text-properties-mode 16 | (add-hook 'post-command-hook 'h5-explore-text-properties nil t) 17 | (remove-hook 'post-command-hook 'h5-explore-text-properties t))) 18 | 19 | (defun h5-munge-state-name (state-name) 20 | (intern (format "h5-%s" 21 | (mapconcat 'identity (split-string state-name) "-")))) 22 | 23 | (defsubst h5-test-input (test) 24 | (cdr (assoc 'input test))) 25 | (defsubst h5-test-initial-states (test) 26 | (cdr (assoc 'initialStates test))) 27 | (defsubst h5-test-last-start-tag (test) 28 | (cdr (assoc 'lastStartTag test))) 29 | (defsubst h5-test-output (test) 30 | (cdr (assoc 'output test))) 31 | (defsubst h5-test-description (test) 32 | (cdr (assoc 'description test))) 33 | 34 | (defun h5-coalesce-chars (in-toks) 35 | (let ((out-toks '()) 36 | (in-charrun nil) 37 | (charrun '())) 38 | (dolist (tok in-toks) 39 | (cond 40 | ((and (numberp tok) (not in-charrun)) 41 | (setq in-charrun t 42 | charrun '()) 43 | (push tok charrun)) 44 | ((and (numberp tok) in-charrun) 45 | (push tok charrun)) 46 | (in-charrun 47 | (push (apply 'string (nreverse charrun)) out-toks) 48 | (push tok out-toks) 49 | (setq in-charrun nil 50 | charrun '())) 51 | (t 52 | (push tok out-toks)))) 53 | (if in-charrun 54 | (push (apply 'string (nreverse charrun)) out-toks)) 55 | (nreverse out-toks))) 56 | 57 | (defun h5-compare-doctype-to-expected (doctype expected) 58 | (and (listp expected) 59 | (string-equal (nth 0 expected) "DOCTYPE") 60 | (let ((expected-name (nth 1 expected)) 61 | (expected-public-id (or (nth 2 expected) 'missing)) 62 | (expected-system-id (or (nth 3 expected) 'missing)) 63 | (expected-force-quirks (nth 4 expected))) 64 | (and 65 | (string-equal (h5-doctype-token-name actual) expected-name) 66 | (equal (h5-doctype-token-public-id actual) expected-public-id) 67 | (equal (h5-doctype-token-system-id actual) expected-system-id) 68 | (equal (h5-doctype-token-force-quirks actual) 69 | expected-force-quirks))))) 70 | 71 | (defun h5-compare-attr (actual expected) 72 | (and (consp expected) 73 | (h5-attr-p actual) 74 | (string-equal (h5-attr-name actual) 75 | (symbol-name (car expected))) 76 | (string-equal (h5-attr-value actual) 77 | (cdr expected)))) 78 | 79 | (defun h5-compare-attrs (actual expected) 80 | (and (listp actual) 81 | (listp expected) 82 | (eq (length actual) (length expected)) 83 | (every 'identity 84 | (loop for a-attr in actual 85 | for e-attr in expected 86 | collect (h5-compare-attr a-attr e-attr))))) 87 | 88 | (defun h5-compare-start-tag-to-expected (start-tag expected) 89 | (and (listp expected) 90 | (string-equal (nth 0 expected) "StartTag") 91 | (string-equal (h5-tag-token-name start-tag) (nth 1 expected)) 92 | (h5-compare-attrs (h5-start-tag-token-attributes start-tag) 93 | (nth 2 expected)))) 94 | 95 | (defun h5-compare-token-to-expected (actual expected) 96 | (cond ((and 97 | (stringp actual) 98 | (listp expected) 99 | (string-equal (car expected) "Character")) 100 | (string-equal actual (cadr expected))) 101 | ((h5-end-tag-token-p actual) 102 | (and (listp expected) 103 | (string-equal (car expected) "EndTag") 104 | (string-equal (h5-tag-token-name actual) 105 | (cadr expected)))) 106 | ((eq actual :parse-error) 107 | (and (stringp expected) 108 | (string-equal expected "ParseError"))) 109 | ((h5-doctype-token-p actual) 110 | (h5-compare-doctype-to-expected actual expected)) 111 | ((h5-start-tag-token-p actual) 112 | (h5-compare-start-tag-to-expected actual expected)) 113 | ((h5-comment-token-p actual) 114 | (and (listp expected) 115 | (string-equal (car expected) "Comment") 116 | (string-equal (h5-comment-token-data actual) 117 | (cadr expected)))) 118 | (t 119 | ;; (princ (make-string 72 ?-)) 120 | ;; (terpri) 121 | ;; (princ (format "actual %S\n" actual)) 122 | ;; (princ (format "expected %S\n" expected)) 123 | (error "comparing apples and oranges?")))) 124 | 125 | (defun h5-compare-tokens-to-expected-output (actual expected) 126 | (every 'identity 127 | (loop for actual-tok in actual 128 | for expected-tok in expected 129 | collect (h5-compare-token-to-expected actual-tok expected-tok)))) 130 | 131 | (defun h5-run-test-1 (test initial-state) 132 | (let ((tokens '()) 133 | (token t) 134 | (passed nil) 135 | (h5-last-start-tag-emitted 136 | (if (h5-test-last-start-tag test) 137 | (make-h5-start-tag-token 138 | :name (h5-test-last-start-tag test)) 139 | nil))) 140 | (setq initial-state 141 | (if initial-state 142 | (h5-munge-state-name initial-state) 143 | nil)) 144 | (with-temp-buffer 145 | (insert (h5-test-input test)) 146 | (goto-char (point-min)) 147 | (while (not (eq token :eof)) 148 | (setq token (html5-tok-forward nil initial-state)) 149 | (setq initial-state nil) 150 | (unless (eq token :eof) 151 | (push token tokens))) 152 | (setq tokens (h5-coalesce-chars (nreverse tokens))) 153 | (setq passed 154 | (h5-compare-tokens-to-expected-output tokens (h5-test-output test)))) 155 | passed)) 156 | 157 | (defun h5-run-test (test) 158 | (let ((initial-states (or (h5-test-initial-states test) (list "data state")))) 159 | (condition-case e 160 | (every 'identity 161 | (mapcar 162 | (lambda (initial-state) 163 | (h5-run-test-1 test initial-state)) 164 | initial-states)) 165 | (error 166 | ;; (princ (format "Blew up: %S!\n" e)) 167 | nil)))) 168 | 169 | (defun h5-run-tests () 170 | (let ((total 0) 171 | (passed 0) 172 | (PASSED "\033[32;1mPASS\033[0m") 173 | (FAILED "\033[31;1mFAIL\033[0m")) 174 | (dolist (testfile command-line-args-left) 175 | (princ (format "Running tests from %s:\n" 176 | (file-name-nondirectory testfile))) 177 | (let ((testdata 178 | (let ((json-object-type 'alist) 179 | (json-array-type 'list)) 180 | (json-read-file testfile)))) 181 | (dolist (test (cdr (assoc 'tests testdata))) 182 | (incf total) 183 | (princ (format "\t'%s': %s\n" 184 | (h5-test-description test) 185 | (if (h5-run-test test) 186 | (prog1 PASSED (incf passed)) 187 | FAILED)))))) 188 | (princ (format "Passed %d out of %d tests (%02.1f%%)" 189 | passed total 190 | (* 100 (/ (float passed) (float total)))))) 191 | (setq command-line-args-left nil)) 192 | -------------------------------------------------------------------------------- /html5-ncr.el: -------------------------------------------------------------------------------- 1 | ;;; html5-ncr.el --- Named Character References in HTML5 2 | 3 | ;; Copyright (C) 2009, 2010 Edward O'Connor 4 | ;; A derivative work of the HTML5 specification, which is 5 | ;; Copyright (C) 2004-2009 Apple Computer, Inc., Mozilla Foundation, and 6 | ;; Opera Software ASA. 7 | 8 | ;; Author: Edward O'Connor 9 | ;; Keywords: hypermedia, wp 10 | 11 | ;; You are granted a license to use, reproduce and create 12 | ;; derivative works of this document. 13 | 14 | ;;; Commentary: 15 | 16 | ;; Table of named character entity references in HTML5. 17 | 18 | ;;; Code: 19 | 20 | (require 'cl) 21 | 22 | (defstruct h5-trie 23 | (code-point nil) 24 | (children nil)) 25 | 26 | (defun h5-trie-insert (trie str &optional code-point) 27 | (if (zerop (length str)) 28 | (setf (h5-trie-code-point trie) code-point) 29 | (let* ((char (elt str 0)) 30 | (child (gethash char (h5-trie-children trie)))) 31 | (unless child 32 | (setq child (make-h5-trie 33 | :code-point nil 34 | :children (make-hash-table :test 'eq))) 35 | (puthash char child (h5-trie-children trie))) 36 | (h5-trie-insert child (substring str 1) code-point)))) 37 | 38 | (defun h5-trie-member-p (trie str) 39 | (if (zerop (length str)) 40 | (h5-trie-code-point trie) 41 | (let* ((char (elt str 0)) 42 | (child (gethash char (h5-trie-children trie)))) 43 | (if child 44 | (h5-trie-member-p child (substring str 1)) 45 | nil)))) 46 | 47 | (defun h5-trie-subtrie (trie prefix) 48 | (if (zerop (length prefix)) 49 | trie 50 | (let* ((char (elt prefix 0)) 51 | (child (gethash char (h5-trie-children trie)))) 52 | (if child 53 | (h5-trie-subtrie child (substring prefix 1)) 54 | nil)))) 55 | 56 | (defvar html5-named-character-references 57 | (let ((trie (make-h5-trie :code-point nil 58 | :children (make-hash-table :test 'eq)))) 59 | (h5-trie-insert trie "AElig" #x000C6) 60 | (h5-trie-insert trie "AMP" #x00026) 61 | (h5-trie-insert trie "Aacute" #x000C1) 62 | (h5-trie-insert trie "Acirc" #x000C2) 63 | (h5-trie-insert trie "Agrave" #x000C0) 64 | (h5-trie-insert trie "Aring" #x000C5) 65 | (h5-trie-insert trie "Atilde" #x000C3) 66 | (h5-trie-insert trie "Auml" #x000C4) 67 | (h5-trie-insert trie "COPY" #x000A9) 68 | (h5-trie-insert trie "Ccedil" #x000C7) 69 | (h5-trie-insert trie "ETH" #x000D0) 70 | (h5-trie-insert trie "Eacute" #x000C9) 71 | (h5-trie-insert trie "Ecirc" #x000CA) 72 | (h5-trie-insert trie "Egrave" #x000C8) 73 | (h5-trie-insert trie "Euml" #x000CB) 74 | (h5-trie-insert trie "GT" #x0003E) 75 | (h5-trie-insert trie "Iacute" #x000CD) 76 | (h5-trie-insert trie "Icirc" #x000CE) 77 | (h5-trie-insert trie "Igrave" #x000CC) 78 | (h5-trie-insert trie "Iuml" #x000CF) 79 | (h5-trie-insert trie "LT" #x0003C) 80 | (h5-trie-insert trie "Ntilde" #x000D1) 81 | (h5-trie-insert trie "Oacute" #x000D3) 82 | (h5-trie-insert trie "Ocirc" #x000D4) 83 | (h5-trie-insert trie "Ograve" #x000D2) 84 | (h5-trie-insert trie "Oslash" #x000D8) 85 | (h5-trie-insert trie "Otilde" #x000D5) 86 | (h5-trie-insert trie "Ouml" #x000D6) 87 | (h5-trie-insert trie "QUOT" #x00022) 88 | (h5-trie-insert trie "REG" #x000AE) 89 | (h5-trie-insert trie "THORN" #x000DE) 90 | (h5-trie-insert trie "Uacute" #x000DA) 91 | (h5-trie-insert trie "Ucirc" #x000DB) 92 | (h5-trie-insert trie "Ugrave" #x000D9) 93 | (h5-trie-insert trie "Uuml" #x000DC) 94 | (h5-trie-insert trie "Yacute" #x000DD) 95 | (h5-trie-insert trie "aacute" #x000E1) 96 | (h5-trie-insert trie "acirc" #x000E2) 97 | (h5-trie-insert trie "acute" #x000B4) 98 | (h5-trie-insert trie "aelig" #x000E6) 99 | (h5-trie-insert trie "agrave" #x000E0) 100 | (h5-trie-insert trie "amp" #x00026) 101 | (h5-trie-insert trie "aring" #x000E5) 102 | (h5-trie-insert trie "atilde" #x000E3) 103 | (h5-trie-insert trie "auml" #x000E4) 104 | (h5-trie-insert trie "brvbar" #x000A6) 105 | (h5-trie-insert trie "ccedil" #x000E7) 106 | (h5-trie-insert trie "cedil" #x000B8) 107 | (h5-trie-insert trie "cent" #x000A2) 108 | (h5-trie-insert trie "copy" #x000A9) 109 | (h5-trie-insert trie "curren" #x000A4) 110 | (h5-trie-insert trie "deg" #x000B0) 111 | (h5-trie-insert trie "divide" #x000F7) 112 | (h5-trie-insert trie "eacute" #x000E9) 113 | (h5-trie-insert trie "ecirc" #x000EA) 114 | (h5-trie-insert trie "egrave" #x000E8) 115 | (h5-trie-insert trie "eth" #x000F0) 116 | (h5-trie-insert trie "euml" #x000EB) 117 | (h5-trie-insert trie "frac12" #x000BD) 118 | (h5-trie-insert trie "frac14" #x000BC) 119 | (h5-trie-insert trie "frac34" #x000BE) 120 | (h5-trie-insert trie "gt" #x0003E) 121 | (h5-trie-insert trie "iacute" #x000ED) 122 | (h5-trie-insert trie "icirc" #x000EE) 123 | (h5-trie-insert trie "iexcl" #x000A1) 124 | (h5-trie-insert trie "igrave" #x000EC) 125 | (h5-trie-insert trie "iquest" #x000BF) 126 | (h5-trie-insert trie "iuml" #x000EF) 127 | (h5-trie-insert trie "laquo" #x000AB) 128 | (h5-trie-insert trie "lt" #x0003C) 129 | (h5-trie-insert trie "macr" #x000AF) 130 | (h5-trie-insert trie "micro" #x000B5) 131 | (h5-trie-insert trie "middot" #x000B7) 132 | (h5-trie-insert trie "nbsp" #x000A0) 133 | (h5-trie-insert trie "not" #x000AC) 134 | (h5-trie-insert trie "ntilde" #x000F1) 135 | (h5-trie-insert trie "oacute" #x000F3) 136 | (h5-trie-insert trie "ocirc" #x000F4) 137 | (h5-trie-insert trie "ograve" #x000F2) 138 | (h5-trie-insert trie "ordf" #x000AA) 139 | (h5-trie-insert trie "ordm" #x000BA) 140 | (h5-trie-insert trie "oslash" #x000F8) 141 | (h5-trie-insert trie "otilde" #x000F5) 142 | (h5-trie-insert trie "ouml" #x000F6) 143 | (h5-trie-insert trie "para" #x000B6) 144 | (h5-trie-insert trie "plusmn" #x000B1) 145 | (h5-trie-insert trie "pound" #x000A3) 146 | (h5-trie-insert trie "quot" #x00022) 147 | (h5-trie-insert trie "raquo" #x000BB) 148 | (h5-trie-insert trie "reg" #x000AE) 149 | (h5-trie-insert trie "sect" #x000A7) 150 | (h5-trie-insert trie "shy" #x000AD) 151 | (h5-trie-insert trie "sup1" #x000B9) 152 | (h5-trie-insert trie "sup2" #x000B2) 153 | (h5-trie-insert trie "sup3" #x000B3) 154 | (h5-trie-insert trie "szlig" #x000DF) 155 | (h5-trie-insert trie "thorn" #x000FE) 156 | (h5-trie-insert trie "times" #x000D7) 157 | (h5-trie-insert trie "uacute" #x000FA) 158 | (h5-trie-insert trie "ucirc" #x000FB) 159 | (h5-trie-insert trie "ugrave" #x000F9) 160 | (h5-trie-insert trie "uml" #x000A8) 161 | (h5-trie-insert trie "uuml" #x000FC) 162 | (h5-trie-insert trie "yacute" #x000FD) 163 | (h5-trie-insert trie "yen" #x000A5) 164 | (h5-trie-insert trie "yuml" #x000FF) 165 | (h5-trie-insert trie "Tab;" #x00009) 166 | (h5-trie-insert trie "NewLine;" #x0000A) 167 | (h5-trie-insert trie "excl;" #x00021) 168 | (h5-trie-insert trie "quot;" #x00022) 169 | (h5-trie-insert trie "QUOT;" #x00022) 170 | (h5-trie-insert trie "num;" #x00023) 171 | (h5-trie-insert trie "dollar;" #x00024) 172 | (h5-trie-insert trie "percnt;" #x00025) 173 | (h5-trie-insert trie "amp;" #x00026) 174 | (h5-trie-insert trie "AMP;" #x00026) 175 | (h5-trie-insert trie "apos;" #x00027) 176 | (h5-trie-insert trie "lpar;" #x00028) 177 | (h5-trie-insert trie "rpar;" #x00029) 178 | (h5-trie-insert trie "ast;" #x0002A) 179 | (h5-trie-insert trie "midast;" #x0002A) 180 | (h5-trie-insert trie "plus;" #x0002B) 181 | (h5-trie-insert trie "comma;" #x0002C) 182 | (h5-trie-insert trie "period;" #x0002E) 183 | (h5-trie-insert trie "sol;" #x0002F) 184 | (h5-trie-insert trie "colon;" #x0003A) 185 | (h5-trie-insert trie "semi;" #x0003B) 186 | (h5-trie-insert trie "lt;" #x0003C) 187 | (h5-trie-insert trie "LT;" #x0003C) 188 | (h5-trie-insert trie "equals;" #x0003D) 189 | (h5-trie-insert trie "gt;" #x0003E) 190 | (h5-trie-insert trie "GT;" #x0003E) 191 | (h5-trie-insert trie "quest;" #x0003F) 192 | (h5-trie-insert trie "commat;" #x00040) 193 | (h5-trie-insert trie "lsqb;" #x0005B) 194 | (h5-trie-insert trie "lbrack;" #x0005B) 195 | (h5-trie-insert trie "bsol;" #x0005C) 196 | (h5-trie-insert trie "rsqb;" #x0005D) 197 | (h5-trie-insert trie "rbrack;" #x0005D) 198 | (h5-trie-insert trie "Hat;" #x0005E) 199 | (h5-trie-insert trie "lowbar;" #x0005F) 200 | (h5-trie-insert trie "UnderBar;" #x0005F) 201 | (h5-trie-insert trie "grave;" #x00060) 202 | (h5-trie-insert trie "DiacriticalGrave;" #x00060) 203 | (h5-trie-insert trie "lcub;" #x0007B) 204 | (h5-trie-insert trie "lbrace;" #x0007B) 205 | (h5-trie-insert trie "verbar;" #x0007C) 206 | (h5-trie-insert trie "vert;" #x0007C) 207 | (h5-trie-insert trie "VerticalLine;" #x0007C) 208 | (h5-trie-insert trie "rcub;" #x0007D) 209 | (h5-trie-insert trie "rbrace;" #x0007D) 210 | (h5-trie-insert trie "nbsp;" #x000A0) 211 | (h5-trie-insert trie "NonBreakingSpace;" #x000A0) 212 | (h5-trie-insert trie "iexcl;" #x000A1) 213 | (h5-trie-insert trie "cent;" #x000A2) 214 | (h5-trie-insert trie "pound;" #x000A3) 215 | (h5-trie-insert trie "curren;" #x000A4) 216 | (h5-trie-insert trie "yen;" #x000A5) 217 | (h5-trie-insert trie "brvbar;" #x000A6) 218 | (h5-trie-insert trie "sect;" #x000A7) 219 | (h5-trie-insert trie "Dot;" #x000A8) 220 | (h5-trie-insert trie "die;" #x000A8) 221 | (h5-trie-insert trie "DoubleDot;" #x000A8) 222 | (h5-trie-insert trie "uml;" #x000A8) 223 | (h5-trie-insert trie "copy;" #x000A9) 224 | (h5-trie-insert trie "COPY;" #x000A9) 225 | (h5-trie-insert trie "ordf;" #x000AA) 226 | (h5-trie-insert trie "laquo;" #x000AB) 227 | (h5-trie-insert trie "not;" #x000AC) 228 | (h5-trie-insert trie "shy;" #x000AD) 229 | (h5-trie-insert trie "reg;" #x000AE) 230 | (h5-trie-insert trie "circledR;" #x000AE) 231 | (h5-trie-insert trie "REG;" #x000AE) 232 | (h5-trie-insert trie "macr;" #x000AF) 233 | (h5-trie-insert trie "strns;" #x000AF) 234 | (h5-trie-insert trie "deg;" #x000B0) 235 | (h5-trie-insert trie "plusmn;" #x000B1) 236 | (h5-trie-insert trie "pm;" #x000B1) 237 | (h5-trie-insert trie "PlusMinus;" #x000B1) 238 | (h5-trie-insert trie "sup2;" #x000B2) 239 | (h5-trie-insert trie "sup3;" #x000B3) 240 | (h5-trie-insert trie "acute;" #x000B4) 241 | (h5-trie-insert trie "DiacriticalAcute;" #x000B4) 242 | (h5-trie-insert trie "micro;" #x000B5) 243 | (h5-trie-insert trie "para;" #x000B6) 244 | (h5-trie-insert trie "middot;" #x000B7) 245 | (h5-trie-insert trie "centerdot;" #x000B7) 246 | (h5-trie-insert trie "CenterDot;" #x000B7) 247 | (h5-trie-insert trie "cedil;" #x000B8) 248 | (h5-trie-insert trie "Cedilla;" #x000B8) 249 | (h5-trie-insert trie "sup1;" #x000B9) 250 | (h5-trie-insert trie "ordm;" #x000BA) 251 | (h5-trie-insert trie "raquo;" #x000BB) 252 | (h5-trie-insert trie "frac14;" #x000BC) 253 | (h5-trie-insert trie "frac12;" #x000BD) 254 | (h5-trie-insert trie "half;" #x000BD) 255 | (h5-trie-insert trie "frac34;" #x000BE) 256 | (h5-trie-insert trie "iquest;" #x000BF) 257 | (h5-trie-insert trie "Agrave;" #x000C0) 258 | (h5-trie-insert trie "Aacute;" #x000C1) 259 | (h5-trie-insert trie "Acirc;" #x000C2) 260 | (h5-trie-insert trie "Atilde;" #x000C3) 261 | (h5-trie-insert trie "Auml;" #x000C4) 262 | (h5-trie-insert trie "Aring;" #x000C5) 263 | (h5-trie-insert trie "angst;" #x000C5) 264 | (h5-trie-insert trie "AElig;" #x000C6) 265 | (h5-trie-insert trie "Ccedil;" #x000C7) 266 | (h5-trie-insert trie "Egrave;" #x000C8) 267 | (h5-trie-insert trie "Eacute;" #x000C9) 268 | (h5-trie-insert trie "Ecirc;" #x000CA) 269 | (h5-trie-insert trie "Euml;" #x000CB) 270 | (h5-trie-insert trie "Igrave;" #x000CC) 271 | (h5-trie-insert trie "Iacute;" #x000CD) 272 | (h5-trie-insert trie "Icirc;" #x000CE) 273 | (h5-trie-insert trie "Iuml;" #x000CF) 274 | (h5-trie-insert trie "ETH;" #x000D0) 275 | (h5-trie-insert trie "Ntilde;" #x000D1) 276 | (h5-trie-insert trie "Ograve;" #x000D2) 277 | (h5-trie-insert trie "Oacute;" #x000D3) 278 | (h5-trie-insert trie "Ocirc;" #x000D4) 279 | (h5-trie-insert trie "Otilde;" #x000D5) 280 | (h5-trie-insert trie "Ouml;" #x000D6) 281 | (h5-trie-insert trie "times;" #x000D7) 282 | (h5-trie-insert trie "Oslash;" #x000D8) 283 | (h5-trie-insert trie "Ugrave;" #x000D9) 284 | (h5-trie-insert trie "Uacute;" #x000DA) 285 | (h5-trie-insert trie "Ucirc;" #x000DB) 286 | (h5-trie-insert trie "Uuml;" #x000DC) 287 | (h5-trie-insert trie "Yacute;" #x000DD) 288 | (h5-trie-insert trie "THORN;" #x000DE) 289 | (h5-trie-insert trie "szlig;" #x000DF) 290 | (h5-trie-insert trie "agrave;" #x000E0) 291 | (h5-trie-insert trie "aacute;" #x000E1) 292 | (h5-trie-insert trie "acirc;" #x000E2) 293 | (h5-trie-insert trie "atilde;" #x000E3) 294 | (h5-trie-insert trie "auml;" #x000E4) 295 | (h5-trie-insert trie "aring;" #x000E5) 296 | (h5-trie-insert trie "aelig;" #x000E6) 297 | (h5-trie-insert trie "ccedil;" #x000E7) 298 | (h5-trie-insert trie "egrave;" #x000E8) 299 | (h5-trie-insert trie "eacute;" #x000E9) 300 | (h5-trie-insert trie "ecirc;" #x000EA) 301 | (h5-trie-insert trie "euml;" #x000EB) 302 | (h5-trie-insert trie "igrave;" #x000EC) 303 | (h5-trie-insert trie "iacute;" #x000ED) 304 | (h5-trie-insert trie "icirc;" #x000EE) 305 | (h5-trie-insert trie "iuml;" #x000EF) 306 | (h5-trie-insert trie "eth;" #x000F0) 307 | (h5-trie-insert trie "ntilde;" #x000F1) 308 | (h5-trie-insert trie "ograve;" #x000F2) 309 | (h5-trie-insert trie "oacute;" #x000F3) 310 | (h5-trie-insert trie "ocirc;" #x000F4) 311 | (h5-trie-insert trie "otilde;" #x000F5) 312 | (h5-trie-insert trie "ouml;" #x000F6) 313 | (h5-trie-insert trie "divide;" #x000F7) 314 | (h5-trie-insert trie "div;" #x000F7) 315 | (h5-trie-insert trie "oslash;" #x000F8) 316 | (h5-trie-insert trie "ugrave;" #x000F9) 317 | (h5-trie-insert trie "uacute;" #x000FA) 318 | (h5-trie-insert trie "ucirc;" #x000FB) 319 | (h5-trie-insert trie "uuml;" #x000FC) 320 | (h5-trie-insert trie "yacute;" #x000FD) 321 | (h5-trie-insert trie "thorn;" #x000FE) 322 | (h5-trie-insert trie "yuml;" #x000FF) 323 | (h5-trie-insert trie "Amacr;" #x00100) 324 | (h5-trie-insert trie "amacr;" #x00101) 325 | (h5-trie-insert trie "Abreve;" #x00102) 326 | (h5-trie-insert trie "abreve;" #x00103) 327 | (h5-trie-insert trie "Aogon;" #x00104) 328 | (h5-trie-insert trie "aogon;" #x00105) 329 | (h5-trie-insert trie "Cacute;" #x00106) 330 | (h5-trie-insert trie "cacute;" #x00107) 331 | (h5-trie-insert trie "Ccirc;" #x00108) 332 | (h5-trie-insert trie "ccirc;" #x00109) 333 | (h5-trie-insert trie "Cdot;" #x0010A) 334 | (h5-trie-insert trie "cdot;" #x0010B) 335 | (h5-trie-insert trie "Ccaron;" #x0010C) 336 | (h5-trie-insert trie "ccaron;" #x0010D) 337 | (h5-trie-insert trie "Dcaron;" #x0010E) 338 | (h5-trie-insert trie "dcaron;" #x0010F) 339 | (h5-trie-insert trie "Dstrok;" #x00110) 340 | (h5-trie-insert trie "dstrok;" #x00111) 341 | (h5-trie-insert trie "Emacr;" #x00112) 342 | (h5-trie-insert trie "emacr;" #x00113) 343 | (h5-trie-insert trie "Edot;" #x00116) 344 | (h5-trie-insert trie "edot;" #x00117) 345 | (h5-trie-insert trie "Eogon;" #x00118) 346 | (h5-trie-insert trie "eogon;" #x00119) 347 | (h5-trie-insert trie "Ecaron;" #x0011A) 348 | (h5-trie-insert trie "ecaron;" #x0011B) 349 | (h5-trie-insert trie "Gcirc;" #x0011C) 350 | (h5-trie-insert trie "gcirc;" #x0011D) 351 | (h5-trie-insert trie "Gbreve;" #x0011E) 352 | (h5-trie-insert trie "gbreve;" #x0011F) 353 | (h5-trie-insert trie "Gdot;" #x00120) 354 | (h5-trie-insert trie "gdot;" #x00121) 355 | (h5-trie-insert trie "Gcedil;" #x00122) 356 | (h5-trie-insert trie "Hcirc;" #x00124) 357 | (h5-trie-insert trie "hcirc;" #x00125) 358 | (h5-trie-insert trie "Hstrok;" #x00126) 359 | (h5-trie-insert trie "hstrok;" #x00127) 360 | (h5-trie-insert trie "Itilde;" #x00128) 361 | (h5-trie-insert trie "itilde;" #x00129) 362 | (h5-trie-insert trie "Imacr;" #x0012A) 363 | (h5-trie-insert trie "imacr;" #x0012B) 364 | (h5-trie-insert trie "Iogon;" #x0012E) 365 | (h5-trie-insert trie "iogon;" #x0012F) 366 | (h5-trie-insert trie "Idot;" #x00130) 367 | (h5-trie-insert trie "imath;" #x00131) 368 | (h5-trie-insert trie "inodot;" #x00131) 369 | (h5-trie-insert trie "IJlig;" #x00132) 370 | (h5-trie-insert trie "ijlig;" #x00133) 371 | (h5-trie-insert trie "Jcirc;" #x00134) 372 | (h5-trie-insert trie "jcirc;" #x00135) 373 | (h5-trie-insert trie "Kcedil;" #x00136) 374 | (h5-trie-insert trie "kcedil;" #x00137) 375 | (h5-trie-insert trie "kgreen;" #x00138) 376 | (h5-trie-insert trie "Lacute;" #x00139) 377 | (h5-trie-insert trie "lacute;" #x0013A) 378 | (h5-trie-insert trie "Lcedil;" #x0013B) 379 | (h5-trie-insert trie "lcedil;" #x0013C) 380 | (h5-trie-insert trie "Lcaron;" #x0013D) 381 | (h5-trie-insert trie "lcaron;" #x0013E) 382 | (h5-trie-insert trie "Lmidot;" #x0013F) 383 | (h5-trie-insert trie "lmidot;" #x00140) 384 | (h5-trie-insert trie "Lstrok;" #x00141) 385 | (h5-trie-insert trie "lstrok;" #x00142) 386 | (h5-trie-insert trie "Nacute;" #x00143) 387 | (h5-trie-insert trie "nacute;" #x00144) 388 | (h5-trie-insert trie "Ncedil;" #x00145) 389 | (h5-trie-insert trie "ncedil;" #x00146) 390 | (h5-trie-insert trie "Ncaron;" #x00147) 391 | (h5-trie-insert trie "ncaron;" #x00148) 392 | (h5-trie-insert trie "napos;" #x00149) 393 | (h5-trie-insert trie "ENG;" #x0014A) 394 | (h5-trie-insert trie "eng;" #x0014B) 395 | (h5-trie-insert trie "Omacr;" #x0014C) 396 | (h5-trie-insert trie "omacr;" #x0014D) 397 | (h5-trie-insert trie "Odblac;" #x00150) 398 | (h5-trie-insert trie "odblac;" #x00151) 399 | (h5-trie-insert trie "OElig;" #x00152) 400 | (h5-trie-insert trie "oelig;" #x00153) 401 | (h5-trie-insert trie "Racute;" #x00154) 402 | (h5-trie-insert trie "racute;" #x00155) 403 | (h5-trie-insert trie "Rcedil;" #x00156) 404 | (h5-trie-insert trie "rcedil;" #x00157) 405 | (h5-trie-insert trie "Rcaron;" #x00158) 406 | (h5-trie-insert trie "rcaron;" #x00159) 407 | (h5-trie-insert trie "Sacute;" #x0015A) 408 | (h5-trie-insert trie "sacute;" #x0015B) 409 | (h5-trie-insert trie "Scirc;" #x0015C) 410 | (h5-trie-insert trie "scirc;" #x0015D) 411 | (h5-trie-insert trie "Scedil;" #x0015E) 412 | (h5-trie-insert trie "scedil;" #x0015F) 413 | (h5-trie-insert trie "Scaron;" #x00160) 414 | (h5-trie-insert trie "scaron;" #x00161) 415 | (h5-trie-insert trie "Tcedil;" #x00162) 416 | (h5-trie-insert trie "tcedil;" #x00163) 417 | (h5-trie-insert trie "Tcaron;" #x00164) 418 | (h5-trie-insert trie "tcaron;" #x00165) 419 | (h5-trie-insert trie "Tstrok;" #x00166) 420 | (h5-trie-insert trie "tstrok;" #x00167) 421 | (h5-trie-insert trie "Utilde;" #x00168) 422 | (h5-trie-insert trie "utilde;" #x00169) 423 | (h5-trie-insert trie "Umacr;" #x0016A) 424 | (h5-trie-insert trie "umacr;" #x0016B) 425 | (h5-trie-insert trie "Ubreve;" #x0016C) 426 | (h5-trie-insert trie "ubreve;" #x0016D) 427 | (h5-trie-insert trie "Uring;" #x0016E) 428 | (h5-trie-insert trie "uring;" #x0016F) 429 | (h5-trie-insert trie "Udblac;" #x00170) 430 | (h5-trie-insert trie "udblac;" #x00171) 431 | (h5-trie-insert trie "Uogon;" #x00172) 432 | (h5-trie-insert trie "uogon;" #x00173) 433 | (h5-trie-insert trie "Wcirc;" #x00174) 434 | (h5-trie-insert trie "wcirc;" #x00175) 435 | (h5-trie-insert trie "Ycirc;" #x00176) 436 | (h5-trie-insert trie "ycirc;" #x00177) 437 | (h5-trie-insert trie "Yuml;" #x00178) 438 | (h5-trie-insert trie "Zacute;" #x00179) 439 | (h5-trie-insert trie "zacute;" #x0017A) 440 | (h5-trie-insert trie "Zdot;" #x0017B) 441 | (h5-trie-insert trie "zdot;" #x0017C) 442 | (h5-trie-insert trie "Zcaron;" #x0017D) 443 | (h5-trie-insert trie "zcaron;" #x0017E) 444 | (h5-trie-insert trie "fnof;" #x00192) 445 | (h5-trie-insert trie "imped;" #x001B5) 446 | (h5-trie-insert trie "gacute;" #x001F5) 447 | (h5-trie-insert trie "jmath;" #x00237) 448 | (h5-trie-insert trie "circ;" #x002C6) 449 | (h5-trie-insert trie "caron;" #x002C7) 450 | (h5-trie-insert trie "Hacek;" #x002C7) 451 | (h5-trie-insert trie "breve;" #x002D8) 452 | (h5-trie-insert trie "Breve;" #x002D8) 453 | (h5-trie-insert trie "dot;" #x002D9) 454 | (h5-trie-insert trie "DiacriticalDot;" #x002D9) 455 | (h5-trie-insert trie "ring;" #x002DA) 456 | (h5-trie-insert trie "ogon;" #x002DB) 457 | (h5-trie-insert trie "tilde;" #x002DC) 458 | (h5-trie-insert trie "DiacriticalTilde;" #x002DC) 459 | (h5-trie-insert trie "dblac;" #x002DD) 460 | (h5-trie-insert trie "DiacriticalDoubleAcute;" #x002DD) 461 | (h5-trie-insert trie "DownBreve;" #x00311) 462 | (h5-trie-insert trie "Alpha;" #x00391) 463 | (h5-trie-insert trie "Beta;" #x00392) 464 | (h5-trie-insert trie "Gamma;" #x00393) 465 | (h5-trie-insert trie "Delta;" #x00394) 466 | (h5-trie-insert trie "Epsilon;" #x00395) 467 | (h5-trie-insert trie "Zeta;" #x00396) 468 | (h5-trie-insert trie "Eta;" #x00397) 469 | (h5-trie-insert trie "Theta;" #x00398) 470 | (h5-trie-insert trie "Iota;" #x00399) 471 | (h5-trie-insert trie "Kappa;" #x0039A) 472 | (h5-trie-insert trie "Lambda;" #x0039B) 473 | (h5-trie-insert trie "Mu;" #x0039C) 474 | (h5-trie-insert trie "Nu;" #x0039D) 475 | (h5-trie-insert trie "Xi;" #x0039E) 476 | (h5-trie-insert trie "Omicron;" #x0039F) 477 | (h5-trie-insert trie "Pi;" #x003A0) 478 | (h5-trie-insert trie "Rho;" #x003A1) 479 | (h5-trie-insert trie "Sigma;" #x003A3) 480 | (h5-trie-insert trie "Tau;" #x003A4) 481 | (h5-trie-insert trie "Upsilon;" #x003A5) 482 | (h5-trie-insert trie "Phi;" #x003A6) 483 | (h5-trie-insert trie "Chi;" #x003A7) 484 | (h5-trie-insert trie "Psi;" #x003A8) 485 | (h5-trie-insert trie "Omega;" #x003A9) 486 | (h5-trie-insert trie "ohm;" #x003A9) 487 | (h5-trie-insert trie "alpha;" #x003B1) 488 | (h5-trie-insert trie "beta;" #x003B2) 489 | (h5-trie-insert trie "gamma;" #x003B3) 490 | (h5-trie-insert trie "delta;" #x003B4) 491 | (h5-trie-insert trie "epsi;" #x003B5) 492 | (h5-trie-insert trie "epsilon;" #x003B5) 493 | (h5-trie-insert trie "zeta;" #x003B6) 494 | (h5-trie-insert trie "eta;" #x003B7) 495 | (h5-trie-insert trie "theta;" #x003B8) 496 | (h5-trie-insert trie "iota;" #x003B9) 497 | (h5-trie-insert trie "kappa;" #x003BA) 498 | (h5-trie-insert trie "lambda;" #x003BB) 499 | (h5-trie-insert trie "mu;" #x003BC) 500 | (h5-trie-insert trie "nu;" #x003BD) 501 | (h5-trie-insert trie "xi;" #x003BE) 502 | (h5-trie-insert trie "omicron;" #x003BF) 503 | (h5-trie-insert trie "pi;" #x003C0) 504 | (h5-trie-insert trie "rho;" #x003C1) 505 | (h5-trie-insert trie "sigmav;" #x003C2) 506 | (h5-trie-insert trie "varsigma;" #x003C2) 507 | (h5-trie-insert trie "sigmaf;" #x003C2) 508 | (h5-trie-insert trie "sigma;" #x003C3) 509 | (h5-trie-insert trie "tau;" #x003C4) 510 | (h5-trie-insert trie "upsi;" #x003C5) 511 | (h5-trie-insert trie "upsilon;" #x003C5) 512 | (h5-trie-insert trie "phi;" #x003C6) 513 | (h5-trie-insert trie "chi;" #x003C7) 514 | (h5-trie-insert trie "psi;" #x003C8) 515 | (h5-trie-insert trie "omega;" #x003C9) 516 | (h5-trie-insert trie "thetav;" #x003D1) 517 | (h5-trie-insert trie "vartheta;" #x003D1) 518 | (h5-trie-insert trie "thetasym;" #x003D1) 519 | (h5-trie-insert trie "Upsi;" #x003D2) 520 | (h5-trie-insert trie "upsih;" #x003D2) 521 | (h5-trie-insert trie "straightphi;" #x003D5) 522 | (h5-trie-insert trie "phiv;" #x003D5) 523 | (h5-trie-insert trie "varphi;" #x003D5) 524 | (h5-trie-insert trie "piv;" #x003D6) 525 | (h5-trie-insert trie "varpi;" #x003D6) 526 | (h5-trie-insert trie "Gammad;" #x003DC) 527 | (h5-trie-insert trie "gammad;" #x003DD) 528 | (h5-trie-insert trie "digamma;" #x003DD) 529 | (h5-trie-insert trie "kappav;" #x003F0) 530 | (h5-trie-insert trie "varkappa;" #x003F0) 531 | (h5-trie-insert trie "rhov;" #x003F1) 532 | (h5-trie-insert trie "varrho;" #x003F1) 533 | (h5-trie-insert trie "epsiv;" #x003F5) 534 | (h5-trie-insert trie "straightepsilon;" #x003F5) 535 | (h5-trie-insert trie "varepsilon;" #x003F5) 536 | (h5-trie-insert trie "bepsi;" #x003F6) 537 | (h5-trie-insert trie "backepsilon;" #x003F6) 538 | (h5-trie-insert trie "IOcy;" #x00401) 539 | (h5-trie-insert trie "DJcy;" #x00402) 540 | (h5-trie-insert trie "GJcy;" #x00403) 541 | (h5-trie-insert trie "Jukcy;" #x00404) 542 | (h5-trie-insert trie "DScy;" #x00405) 543 | (h5-trie-insert trie "Iukcy;" #x00406) 544 | (h5-trie-insert trie "YIcy;" #x00407) 545 | (h5-trie-insert trie "Jsercy;" #x00408) 546 | (h5-trie-insert trie "LJcy;" #x00409) 547 | (h5-trie-insert trie "NJcy;" #x0040A) 548 | (h5-trie-insert trie "TSHcy;" #x0040B) 549 | (h5-trie-insert trie "KJcy;" #x0040C) 550 | (h5-trie-insert trie "Ubrcy;" #x0040E) 551 | (h5-trie-insert trie "DZcy;" #x0040F) 552 | (h5-trie-insert trie "Acy;" #x00410) 553 | (h5-trie-insert trie "Bcy;" #x00411) 554 | (h5-trie-insert trie "Vcy;" #x00412) 555 | (h5-trie-insert trie "Gcy;" #x00413) 556 | (h5-trie-insert trie "Dcy;" #x00414) 557 | (h5-trie-insert trie "IEcy;" #x00415) 558 | (h5-trie-insert trie "ZHcy;" #x00416) 559 | (h5-trie-insert trie "Zcy;" #x00417) 560 | (h5-trie-insert trie "Icy;" #x00418) 561 | (h5-trie-insert trie "Jcy;" #x00419) 562 | (h5-trie-insert trie "Kcy;" #x0041A) 563 | (h5-trie-insert trie "Lcy;" #x0041B) 564 | (h5-trie-insert trie "Mcy;" #x0041C) 565 | (h5-trie-insert trie "Ncy;" #x0041D) 566 | (h5-trie-insert trie "Ocy;" #x0041E) 567 | (h5-trie-insert trie "Pcy;" #x0041F) 568 | (h5-trie-insert trie "Rcy;" #x00420) 569 | (h5-trie-insert trie "Scy;" #x00421) 570 | (h5-trie-insert trie "Tcy;" #x00422) 571 | (h5-trie-insert trie "Ucy;" #x00423) 572 | (h5-trie-insert trie "Fcy;" #x00424) 573 | (h5-trie-insert trie "KHcy;" #x00425) 574 | (h5-trie-insert trie "TScy;" #x00426) 575 | (h5-trie-insert trie "CHcy;" #x00427) 576 | (h5-trie-insert trie "SHcy;" #x00428) 577 | (h5-trie-insert trie "SHCHcy;" #x00429) 578 | (h5-trie-insert trie "HARDcy;" #x0042A) 579 | (h5-trie-insert trie "Ycy;" #x0042B) 580 | (h5-trie-insert trie "SOFTcy;" #x0042C) 581 | (h5-trie-insert trie "Ecy;" #x0042D) 582 | (h5-trie-insert trie "YUcy;" #x0042E) 583 | (h5-trie-insert trie "YAcy;" #x0042F) 584 | (h5-trie-insert trie "acy;" #x00430) 585 | (h5-trie-insert trie "bcy;" #x00431) 586 | (h5-trie-insert trie "vcy;" #x00432) 587 | (h5-trie-insert trie "gcy;" #x00433) 588 | (h5-trie-insert trie "dcy;" #x00434) 589 | (h5-trie-insert trie "iecy;" #x00435) 590 | (h5-trie-insert trie "zhcy;" #x00436) 591 | (h5-trie-insert trie "zcy;" #x00437) 592 | (h5-trie-insert trie "icy;" #x00438) 593 | (h5-trie-insert trie "jcy;" #x00439) 594 | (h5-trie-insert trie "kcy;" #x0043A) 595 | (h5-trie-insert trie "lcy;" #x0043B) 596 | (h5-trie-insert trie "mcy;" #x0043C) 597 | (h5-trie-insert trie "ncy;" #x0043D) 598 | (h5-trie-insert trie "ocy;" #x0043E) 599 | (h5-trie-insert trie "pcy;" #x0043F) 600 | (h5-trie-insert trie "rcy;" #x00440) 601 | (h5-trie-insert trie "scy;" #x00441) 602 | (h5-trie-insert trie "tcy;" #x00442) 603 | (h5-trie-insert trie "ucy;" #x00443) 604 | (h5-trie-insert trie "fcy;" #x00444) 605 | (h5-trie-insert trie "khcy;" #x00445) 606 | (h5-trie-insert trie "tscy;" #x00446) 607 | (h5-trie-insert trie "chcy;" #x00447) 608 | (h5-trie-insert trie "shcy;" #x00448) 609 | (h5-trie-insert trie "shchcy;" #x00449) 610 | (h5-trie-insert trie "hardcy;" #x0044A) 611 | (h5-trie-insert trie "ycy;" #x0044B) 612 | (h5-trie-insert trie "softcy;" #x0044C) 613 | (h5-trie-insert trie "ecy;" #x0044D) 614 | (h5-trie-insert trie "yucy;" #x0044E) 615 | (h5-trie-insert trie "yacy;" #x0044F) 616 | (h5-trie-insert trie "iocy;" #x00451) 617 | (h5-trie-insert trie "djcy;" #x00452) 618 | (h5-trie-insert trie "gjcy;" #x00453) 619 | (h5-trie-insert trie "jukcy;" #x00454) 620 | (h5-trie-insert trie "dscy;" #x00455) 621 | (h5-trie-insert trie "iukcy;" #x00456) 622 | (h5-trie-insert trie "yicy;" #x00457) 623 | (h5-trie-insert trie "jsercy;" #x00458) 624 | (h5-trie-insert trie "ljcy;" #x00459) 625 | (h5-trie-insert trie "njcy;" #x0045A) 626 | (h5-trie-insert trie "tshcy;" #x0045B) 627 | (h5-trie-insert trie "kjcy;" #x0045C) 628 | (h5-trie-insert trie "ubrcy;" #x0045E) 629 | (h5-trie-insert trie "dzcy;" #x0045F) 630 | (h5-trie-insert trie "ensp;" #x02002) 631 | (h5-trie-insert trie "emsp;" #x02003) 632 | (h5-trie-insert trie "emsp13;" #x02004) 633 | (h5-trie-insert trie "emsp14;" #x02005) 634 | (h5-trie-insert trie "numsp;" #x02007) 635 | (h5-trie-insert trie "puncsp;" #x02008) 636 | (h5-trie-insert trie "thinsp;" #x02009) 637 | (h5-trie-insert trie "ThinSpace;" #x02009) 638 | (h5-trie-insert trie "hairsp;" #x0200A) 639 | (h5-trie-insert trie "VeryThinSpace;" #x0200A) 640 | (h5-trie-insert trie "ZeroWidthSpace;" #x0200B) 641 | (h5-trie-insert trie "NegativeVeryThinSpace;" #x0200B) 642 | (h5-trie-insert trie "NegativeThinSpace;" #x0200B) 643 | (h5-trie-insert trie "NegativeMediumSpace;" #x0200B) 644 | (h5-trie-insert trie "NegativeThickSpace;" #x0200B) 645 | (h5-trie-insert trie "zwnj;" #x0200C) 646 | (h5-trie-insert trie "zwj;" #x0200D) 647 | (h5-trie-insert trie "lrm;" #x0200E) 648 | (h5-trie-insert trie "rlm;" #x0200F) 649 | (h5-trie-insert trie "hyphen;" #x02010) 650 | (h5-trie-insert trie "dash;" #x02010) 651 | (h5-trie-insert trie "ndash;" #x02013) 652 | (h5-trie-insert trie "mdash;" #x02014) 653 | (h5-trie-insert trie "horbar;" #x02015) 654 | (h5-trie-insert trie "Verbar;" #x02016) 655 | (h5-trie-insert trie "Vert;" #x02016) 656 | (h5-trie-insert trie "lsquo;" #x02018) 657 | (h5-trie-insert trie "OpenCurlyQuote;" #x02018) 658 | (h5-trie-insert trie "rsquo;" #x02019) 659 | (h5-trie-insert trie "rsquor;" #x02019) 660 | (h5-trie-insert trie "CloseCurlyQuote;" #x02019) 661 | (h5-trie-insert trie "lsquor;" #x0201A) 662 | (h5-trie-insert trie "sbquo;" #x0201A) 663 | (h5-trie-insert trie "ldquo;" #x0201C) 664 | (h5-trie-insert trie "OpenCurlyDoubleQuote;" #x0201C) 665 | (h5-trie-insert trie "rdquo;" #x0201D) 666 | (h5-trie-insert trie "rdquor;" #x0201D) 667 | (h5-trie-insert trie "CloseCurlyDoubleQuote;" #x0201D) 668 | (h5-trie-insert trie "ldquor;" #x0201E) 669 | (h5-trie-insert trie "bdquo;" #x0201E) 670 | (h5-trie-insert trie "dagger;" #x02020) 671 | (h5-trie-insert trie "Dagger;" #x02021) 672 | (h5-trie-insert trie "ddagger;" #x02021) 673 | (h5-trie-insert trie "bull;" #x02022) 674 | (h5-trie-insert trie "bullet;" #x02022) 675 | (h5-trie-insert trie "nldr;" #x02025) 676 | (h5-trie-insert trie "hellip;" #x02026) 677 | (h5-trie-insert trie "mldr;" #x02026) 678 | (h5-trie-insert trie "permil;" #x02030) 679 | (h5-trie-insert trie "pertenk;" #x02031) 680 | (h5-trie-insert trie "prime;" #x02032) 681 | (h5-trie-insert trie "Prime;" #x02033) 682 | (h5-trie-insert trie "tprime;" #x02034) 683 | (h5-trie-insert trie "bprime;" #x02035) 684 | (h5-trie-insert trie "backprime;" #x02035) 685 | (h5-trie-insert trie "lsaquo;" #x02039) 686 | (h5-trie-insert trie "rsaquo;" #x0203A) 687 | (h5-trie-insert trie "oline;" #x0203E) 688 | (h5-trie-insert trie "OverBar;" #x0203E) 689 | (h5-trie-insert trie "caret;" #x02041) 690 | (h5-trie-insert trie "hybull;" #x02043) 691 | (h5-trie-insert trie "frasl;" #x02044) 692 | (h5-trie-insert trie "bsemi;" #x0204F) 693 | (h5-trie-insert trie "qprime;" #x02057) 694 | (h5-trie-insert trie "MediumSpace;" #x0205F) 695 | (h5-trie-insert trie "NoBreak;" #x02060) 696 | (h5-trie-insert trie "ApplyFunction;" #x02061) 697 | (h5-trie-insert trie "af;" #x02061) 698 | (h5-trie-insert trie "InvisibleTimes;" #x02062) 699 | (h5-trie-insert trie "it;" #x02062) 700 | (h5-trie-insert trie "InvisibleComma;" #x02063) 701 | (h5-trie-insert trie "ic;" #x02063) 702 | (h5-trie-insert trie "euro;" #x020AC) 703 | (h5-trie-insert trie "tdot;" #x020DB) 704 | (h5-trie-insert trie "TripleDot;" #x020DB) 705 | (h5-trie-insert trie "DotDot;" #x020DC) 706 | (h5-trie-insert trie "Copf;" #x02102) 707 | (h5-trie-insert trie "complexes;" #x02102) 708 | (h5-trie-insert trie "incare;" #x02105) 709 | (h5-trie-insert trie "gscr;" #x0210A) 710 | (h5-trie-insert trie "hamilt;" #x0210B) 711 | (h5-trie-insert trie "HilbertSpace;" #x0210B) 712 | (h5-trie-insert trie "Hscr;" #x0210B) 713 | (h5-trie-insert trie "Hfr;" #x0210C) 714 | (h5-trie-insert trie "Poincareplane;" #x0210C) 715 | (h5-trie-insert trie "quaternions;" #x0210D) 716 | (h5-trie-insert trie "Hopf;" #x0210D) 717 | (h5-trie-insert trie "planckh;" #x0210E) 718 | (h5-trie-insert trie "planck;" #x0210F) 719 | (h5-trie-insert trie "hbar;" #x0210F) 720 | (h5-trie-insert trie "plankv;" #x0210F) 721 | (h5-trie-insert trie "hslash;" #x0210F) 722 | (h5-trie-insert trie "Iscr;" #x02110) 723 | (h5-trie-insert trie "imagline;" #x02110) 724 | (h5-trie-insert trie "image;" #x02111) 725 | (h5-trie-insert trie "Im;" #x02111) 726 | (h5-trie-insert trie "imagpart;" #x02111) 727 | (h5-trie-insert trie "Ifr;" #x02111) 728 | (h5-trie-insert trie "Lscr;" #x02112) 729 | (h5-trie-insert trie "lagran;" #x02112) 730 | (h5-trie-insert trie "Laplacetrf;" #x02112) 731 | (h5-trie-insert trie "ell;" #x02113) 732 | (h5-trie-insert trie "Nopf;" #x02115) 733 | (h5-trie-insert trie "naturals;" #x02115) 734 | (h5-trie-insert trie "numero;" #x02116) 735 | (h5-trie-insert trie "copysr;" #x02117) 736 | (h5-trie-insert trie "weierp;" #x02118) 737 | (h5-trie-insert trie "wp;" #x02118) 738 | (h5-trie-insert trie "Popf;" #x02119) 739 | (h5-trie-insert trie "primes;" #x02119) 740 | (h5-trie-insert trie "rationals;" #x0211A) 741 | (h5-trie-insert trie "Qopf;" #x0211A) 742 | (h5-trie-insert trie "Rscr;" #x0211B) 743 | (h5-trie-insert trie "realine;" #x0211B) 744 | (h5-trie-insert trie "real;" #x0211C) 745 | (h5-trie-insert trie "Re;" #x0211C) 746 | (h5-trie-insert trie "realpart;" #x0211C) 747 | (h5-trie-insert trie "Rfr;" #x0211C) 748 | (h5-trie-insert trie "reals;" #x0211D) 749 | (h5-trie-insert trie "Ropf;" #x0211D) 750 | (h5-trie-insert trie "rx;" #x0211E) 751 | (h5-trie-insert trie "trade;" #x02122) 752 | (h5-trie-insert trie "TRADE;" #x02122) 753 | (h5-trie-insert trie "integers;" #x02124) 754 | (h5-trie-insert trie "Zopf;" #x02124) 755 | (h5-trie-insert trie "mho;" #x02127) 756 | (h5-trie-insert trie "Zfr;" #x02128) 757 | (h5-trie-insert trie "zeetrf;" #x02128) 758 | (h5-trie-insert trie "iiota;" #x02129) 759 | (h5-trie-insert trie "bernou;" #x0212C) 760 | (h5-trie-insert trie "Bernoullis;" #x0212C) 761 | (h5-trie-insert trie "Bscr;" #x0212C) 762 | (h5-trie-insert trie "Cfr;" #x0212D) 763 | (h5-trie-insert trie "Cayleys;" #x0212D) 764 | (h5-trie-insert trie "escr;" #x0212F) 765 | (h5-trie-insert trie "Escr;" #x02130) 766 | (h5-trie-insert trie "expectation;" #x02130) 767 | (h5-trie-insert trie "Fscr;" #x02131) 768 | (h5-trie-insert trie "Fouriertrf;" #x02131) 769 | (h5-trie-insert trie "phmmat;" #x02133) 770 | (h5-trie-insert trie "Mellintrf;" #x02133) 771 | (h5-trie-insert trie "Mscr;" #x02133) 772 | (h5-trie-insert trie "order;" #x02134) 773 | (h5-trie-insert trie "orderof;" #x02134) 774 | (h5-trie-insert trie "oscr;" #x02134) 775 | (h5-trie-insert trie "alefsym;" #x02135) 776 | (h5-trie-insert trie "aleph;" #x02135) 777 | (h5-trie-insert trie "beth;" #x02136) 778 | (h5-trie-insert trie "gimel;" #x02137) 779 | (h5-trie-insert trie "daleth;" #x02138) 780 | (h5-trie-insert trie "CapitalDifferentialD;" #x02145) 781 | (h5-trie-insert trie "DD;" #x02145) 782 | (h5-trie-insert trie "DifferentialD;" #x02146) 783 | (h5-trie-insert trie "dd;" #x02146) 784 | (h5-trie-insert trie "ExponentialE;" #x02147) 785 | (h5-trie-insert trie "exponentiale;" #x02147) 786 | (h5-trie-insert trie "ee;" #x02147) 787 | (h5-trie-insert trie "ImaginaryI;" #x02148) 788 | (h5-trie-insert trie "ii;" #x02148) 789 | (h5-trie-insert trie "frac13;" #x02153) 790 | (h5-trie-insert trie "frac23;" #x02154) 791 | (h5-trie-insert trie "frac15;" #x02155) 792 | (h5-trie-insert trie "frac25;" #x02156) 793 | (h5-trie-insert trie "frac35;" #x02157) 794 | (h5-trie-insert trie "frac45;" #x02158) 795 | (h5-trie-insert trie "frac16;" #x02159) 796 | (h5-trie-insert trie "frac56;" #x0215A) 797 | (h5-trie-insert trie "frac18;" #x0215B) 798 | (h5-trie-insert trie "frac38;" #x0215C) 799 | (h5-trie-insert trie "frac58;" #x0215D) 800 | (h5-trie-insert trie "frac78;" #x0215E) 801 | (h5-trie-insert trie "larr;" #x02190) 802 | (h5-trie-insert trie "leftarrow;" #x02190) 803 | (h5-trie-insert trie "LeftArrow;" #x02190) 804 | (h5-trie-insert trie "slarr;" #x02190) 805 | (h5-trie-insert trie "ShortLeftArrow;" #x02190) 806 | (h5-trie-insert trie "uarr;" #x02191) 807 | (h5-trie-insert trie "uparrow;" #x02191) 808 | (h5-trie-insert trie "UpArrow;" #x02191) 809 | (h5-trie-insert trie "ShortUpArrow;" #x02191) 810 | (h5-trie-insert trie "rarr;" #x02192) 811 | (h5-trie-insert trie "rightarrow;" #x02192) 812 | (h5-trie-insert trie "RightArrow;" #x02192) 813 | (h5-trie-insert trie "srarr;" #x02192) 814 | (h5-trie-insert trie "ShortRightArrow;" #x02192) 815 | (h5-trie-insert trie "darr;" #x02193) 816 | (h5-trie-insert trie "downarrow;" #x02193) 817 | (h5-trie-insert trie "DownArrow;" #x02193) 818 | (h5-trie-insert trie "ShortDownArrow;" #x02193) 819 | (h5-trie-insert trie "harr;" #x02194) 820 | (h5-trie-insert trie "leftrightarrow;" #x02194) 821 | (h5-trie-insert trie "LeftRightArrow;" #x02194) 822 | (h5-trie-insert trie "varr;" #x02195) 823 | (h5-trie-insert trie "updownarrow;" #x02195) 824 | (h5-trie-insert trie "UpDownArrow;" #x02195) 825 | (h5-trie-insert trie "nwarr;" #x02196) 826 | (h5-trie-insert trie "UpperLeftArrow;" #x02196) 827 | (h5-trie-insert trie "nwarrow;" #x02196) 828 | (h5-trie-insert trie "nearr;" #x02197) 829 | (h5-trie-insert trie "UpperRightArrow;" #x02197) 830 | (h5-trie-insert trie "nearrow;" #x02197) 831 | (h5-trie-insert trie "searr;" #x02198) 832 | (h5-trie-insert trie "searrow;" #x02198) 833 | (h5-trie-insert trie "LowerRightArrow;" #x02198) 834 | (h5-trie-insert trie "swarr;" #x02199) 835 | (h5-trie-insert trie "swarrow;" #x02199) 836 | (h5-trie-insert trie "LowerLeftArrow;" #x02199) 837 | (h5-trie-insert trie "nlarr;" #x0219A) 838 | (h5-trie-insert trie "nleftarrow;" #x0219A) 839 | (h5-trie-insert trie "nrarr;" #x0219B) 840 | (h5-trie-insert trie "nrightarrow;" #x0219B) 841 | (h5-trie-insert trie "rarrw;" #x0219D) 842 | (h5-trie-insert trie "rightsquigarrow;" #x0219D) 843 | (h5-trie-insert trie "Larr;" #x0219E) 844 | (h5-trie-insert trie "twoheadleftarrow;" #x0219E) 845 | (h5-trie-insert trie "Uarr;" #x0219F) 846 | (h5-trie-insert trie "Rarr;" #x021A0) 847 | (h5-trie-insert trie "twoheadrightarrow;" #x021A0) 848 | (h5-trie-insert trie "Darr;" #x021A1) 849 | (h5-trie-insert trie "larrtl;" #x021A2) 850 | (h5-trie-insert trie "leftarrowtail;" #x021A2) 851 | (h5-trie-insert trie "rarrtl;" #x021A3) 852 | (h5-trie-insert trie "rightarrowtail;" #x021A3) 853 | (h5-trie-insert trie "LeftTeeArrow;" #x021A4) 854 | (h5-trie-insert trie "mapstoleft;" #x021A4) 855 | (h5-trie-insert trie "UpTeeArrow;" #x021A5) 856 | (h5-trie-insert trie "mapstoup;" #x021A5) 857 | (h5-trie-insert trie "map;" #x021A6) 858 | (h5-trie-insert trie "RightTeeArrow;" #x021A6) 859 | (h5-trie-insert trie "mapsto;" #x021A6) 860 | (h5-trie-insert trie "DownTeeArrow;" #x021A7) 861 | (h5-trie-insert trie "mapstodown;" #x021A7) 862 | (h5-trie-insert trie "larrhk;" #x021A9) 863 | (h5-trie-insert trie "hookleftarrow;" #x021A9) 864 | (h5-trie-insert trie "rarrhk;" #x021AA) 865 | (h5-trie-insert trie "hookrightarrow;" #x021AA) 866 | (h5-trie-insert trie "larrlp;" #x021AB) 867 | (h5-trie-insert trie "looparrowleft;" #x021AB) 868 | (h5-trie-insert trie "rarrlp;" #x021AC) 869 | (h5-trie-insert trie "looparrowright;" #x021AC) 870 | (h5-trie-insert trie "harrw;" #x021AD) 871 | (h5-trie-insert trie "leftrightsquigarrow;" #x021AD) 872 | (h5-trie-insert trie "nharr;" #x021AE) 873 | (h5-trie-insert trie "nleftrightarrow;" #x021AE) 874 | (h5-trie-insert trie "lsh;" #x021B0) 875 | (h5-trie-insert trie "Lsh;" #x021B0) 876 | (h5-trie-insert trie "rsh;" #x021B1) 877 | (h5-trie-insert trie "Rsh;" #x021B1) 878 | (h5-trie-insert trie "ldsh;" #x021B2) 879 | (h5-trie-insert trie "rdsh;" #x021B3) 880 | (h5-trie-insert trie "crarr;" #x021B5) 881 | (h5-trie-insert trie "cularr;" #x021B6) 882 | (h5-trie-insert trie "curvearrowleft;" #x021B6) 883 | (h5-trie-insert trie "curarr;" #x021B7) 884 | (h5-trie-insert trie "curvearrowright;" #x021B7) 885 | (h5-trie-insert trie "olarr;" #x021BA) 886 | (h5-trie-insert trie "circlearrowleft;" #x021BA) 887 | (h5-trie-insert trie "orarr;" #x021BB) 888 | (h5-trie-insert trie "circlearrowright;" #x021BB) 889 | (h5-trie-insert trie "lharu;" #x021BC) 890 | (h5-trie-insert trie "LeftVector;" #x021BC) 891 | (h5-trie-insert trie "leftharpoonup;" #x021BC) 892 | (h5-trie-insert trie "lhard;" #x021BD) 893 | (h5-trie-insert trie "leftharpoondown;" #x021BD) 894 | (h5-trie-insert trie "DownLeftVector;" #x021BD) 895 | (h5-trie-insert trie "uharr;" #x021BE) 896 | (h5-trie-insert trie "upharpoonright;" #x021BE) 897 | (h5-trie-insert trie "RightUpVector;" #x021BE) 898 | (h5-trie-insert trie "uharl;" #x021BF) 899 | (h5-trie-insert trie "upharpoonleft;" #x021BF) 900 | (h5-trie-insert trie "LeftUpVector;" #x021BF) 901 | (h5-trie-insert trie "rharu;" #x021C0) 902 | (h5-trie-insert trie "RightVector;" #x021C0) 903 | (h5-trie-insert trie "rightharpoonup;" #x021C0) 904 | (h5-trie-insert trie "rhard;" #x021C1) 905 | (h5-trie-insert trie "rightharpoondown;" #x021C1) 906 | (h5-trie-insert trie "DownRightVector;" #x021C1) 907 | (h5-trie-insert trie "dharr;" #x021C2) 908 | (h5-trie-insert trie "RightDownVector;" #x021C2) 909 | (h5-trie-insert trie "downharpoonright;" #x021C2) 910 | (h5-trie-insert trie "dharl;" #x021C3) 911 | (h5-trie-insert trie "LeftDownVector;" #x021C3) 912 | (h5-trie-insert trie "downharpoonleft;" #x021C3) 913 | (h5-trie-insert trie "rlarr;" #x021C4) 914 | (h5-trie-insert trie "rightleftarrows;" #x021C4) 915 | (h5-trie-insert trie "RightArrowLeftArrow;" #x021C4) 916 | (h5-trie-insert trie "udarr;" #x021C5) 917 | (h5-trie-insert trie "UpArrowDownArrow;" #x021C5) 918 | (h5-trie-insert trie "lrarr;" #x021C6) 919 | (h5-trie-insert trie "leftrightarrows;" #x021C6) 920 | (h5-trie-insert trie "LeftArrowRightArrow;" #x021C6) 921 | (h5-trie-insert trie "llarr;" #x021C7) 922 | (h5-trie-insert trie "leftleftarrows;" #x021C7) 923 | (h5-trie-insert trie "uuarr;" #x021C8) 924 | (h5-trie-insert trie "upuparrows;" #x021C8) 925 | (h5-trie-insert trie "rrarr;" #x021C9) 926 | (h5-trie-insert trie "rightrightarrows;" #x021C9) 927 | (h5-trie-insert trie "ddarr;" #x021CA) 928 | (h5-trie-insert trie "downdownarrows;" #x021CA) 929 | (h5-trie-insert trie "lrhar;" #x021CB) 930 | (h5-trie-insert trie "ReverseEquilibrium;" #x021CB) 931 | (h5-trie-insert trie "leftrightharpoons;" #x021CB) 932 | (h5-trie-insert trie "rlhar;" #x021CC) 933 | (h5-trie-insert trie "rightleftharpoons;" #x021CC) 934 | (h5-trie-insert trie "Equilibrium;" #x021CC) 935 | (h5-trie-insert trie "nlArr;" #x021CD) 936 | (h5-trie-insert trie "nLeftarrow;" #x021CD) 937 | (h5-trie-insert trie "nhArr;" #x021CE) 938 | (h5-trie-insert trie "nLeftrightarrow;" #x021CE) 939 | (h5-trie-insert trie "nrArr;" #x021CF) 940 | (h5-trie-insert trie "nRightarrow;" #x021CF) 941 | (h5-trie-insert trie "lArr;" #x021D0) 942 | (h5-trie-insert trie "Leftarrow;" #x021D0) 943 | (h5-trie-insert trie "DoubleLeftArrow;" #x021D0) 944 | (h5-trie-insert trie "uArr;" #x021D1) 945 | (h5-trie-insert trie "Uparrow;" #x021D1) 946 | (h5-trie-insert trie "DoubleUpArrow;" #x021D1) 947 | (h5-trie-insert trie "rArr;" #x021D2) 948 | (h5-trie-insert trie "Rightarrow;" #x021D2) 949 | (h5-trie-insert trie "Implies;" #x021D2) 950 | (h5-trie-insert trie "DoubleRightArrow;" #x021D2) 951 | (h5-trie-insert trie "dArr;" #x021D3) 952 | (h5-trie-insert trie "Downarrow;" #x021D3) 953 | (h5-trie-insert trie "DoubleDownArrow;" #x021D3) 954 | (h5-trie-insert trie "hArr;" #x021D4) 955 | (h5-trie-insert trie "Leftrightarrow;" #x021D4) 956 | (h5-trie-insert trie "DoubleLeftRightArrow;" #x021D4) 957 | (h5-trie-insert trie "iff;" #x021D4) 958 | (h5-trie-insert trie "vArr;" #x021D5) 959 | (h5-trie-insert trie "Updownarrow;" #x021D5) 960 | (h5-trie-insert trie "DoubleUpDownArrow;" #x021D5) 961 | (h5-trie-insert trie "nwArr;" #x021D6) 962 | (h5-trie-insert trie "neArr;" #x021D7) 963 | (h5-trie-insert trie "seArr;" #x021D8) 964 | (h5-trie-insert trie "swArr;" #x021D9) 965 | (h5-trie-insert trie "lAarr;" #x021DA) 966 | (h5-trie-insert trie "Lleftarrow;" #x021DA) 967 | (h5-trie-insert trie "rAarr;" #x021DB) 968 | (h5-trie-insert trie "Rrightarrow;" #x021DB) 969 | (h5-trie-insert trie "zigrarr;" #x021DD) 970 | (h5-trie-insert trie "larrb;" #x021E4) 971 | (h5-trie-insert trie "LeftArrowBar;" #x021E4) 972 | (h5-trie-insert trie "rarrb;" #x021E5) 973 | (h5-trie-insert trie "RightArrowBar;" #x021E5) 974 | (h5-trie-insert trie "duarr;" #x021F5) 975 | (h5-trie-insert trie "DownArrowUpArrow;" #x021F5) 976 | (h5-trie-insert trie "loarr;" #x021FD) 977 | (h5-trie-insert trie "roarr;" #x021FE) 978 | (h5-trie-insert trie "hoarr;" #x021FF) 979 | (h5-trie-insert trie "forall;" #x02200) 980 | (h5-trie-insert trie "ForAll;" #x02200) 981 | (h5-trie-insert trie "comp;" #x02201) 982 | (h5-trie-insert trie "complement;" #x02201) 983 | (h5-trie-insert trie "part;" #x02202) 984 | (h5-trie-insert trie "PartialD;" #x02202) 985 | (h5-trie-insert trie "exist;" #x02203) 986 | (h5-trie-insert trie "Exists;" #x02203) 987 | (h5-trie-insert trie "nexist;" #x02204) 988 | (h5-trie-insert trie "NotExists;" #x02204) 989 | (h5-trie-insert trie "nexists;" #x02204) 990 | (h5-trie-insert trie "empty;" #x02205) 991 | (h5-trie-insert trie "emptyset;" #x02205) 992 | (h5-trie-insert trie "emptyv;" #x02205) 993 | (h5-trie-insert trie "varnothing;" #x02205) 994 | (h5-trie-insert trie "nabla;" #x02207) 995 | (h5-trie-insert trie "Del;" #x02207) 996 | (h5-trie-insert trie "isin;" #x02208) 997 | (h5-trie-insert trie "isinv;" #x02208) 998 | (h5-trie-insert trie "Element;" #x02208) 999 | (h5-trie-insert trie "in;" #x02208) 1000 | (h5-trie-insert trie "notin;" #x02209) 1001 | (h5-trie-insert trie "NotElement;" #x02209) 1002 | (h5-trie-insert trie "notinva;" #x02209) 1003 | (h5-trie-insert trie "niv;" #x0220B) 1004 | (h5-trie-insert trie "ReverseElement;" #x0220B) 1005 | (h5-trie-insert trie "ni;" #x0220B) 1006 | (h5-trie-insert trie "SuchThat;" #x0220B) 1007 | (h5-trie-insert trie "notni;" #x0220C) 1008 | (h5-trie-insert trie "notniva;" #x0220C) 1009 | (h5-trie-insert trie "NotReverseElement;" #x0220C) 1010 | (h5-trie-insert trie "prod;" #x0220F) 1011 | (h5-trie-insert trie "Product;" #x0220F) 1012 | (h5-trie-insert trie "coprod;" #x02210) 1013 | (h5-trie-insert trie "Coproduct;" #x02210) 1014 | (h5-trie-insert trie "sum;" #x02211) 1015 | (h5-trie-insert trie "Sum;" #x02211) 1016 | (h5-trie-insert trie "minus;" #x02212) 1017 | (h5-trie-insert trie "mnplus;" #x02213) 1018 | (h5-trie-insert trie "mp;" #x02213) 1019 | (h5-trie-insert trie "MinusPlus;" #x02213) 1020 | (h5-trie-insert trie "plusdo;" #x02214) 1021 | (h5-trie-insert trie "dotplus;" #x02214) 1022 | (h5-trie-insert trie "setmn;" #x02216) 1023 | (h5-trie-insert trie "setminus;" #x02216) 1024 | (h5-trie-insert trie "Backslash;" #x02216) 1025 | (h5-trie-insert trie "ssetmn;" #x02216) 1026 | (h5-trie-insert trie "smallsetminus;" #x02216) 1027 | (h5-trie-insert trie "lowast;" #x02217) 1028 | (h5-trie-insert trie "compfn;" #x02218) 1029 | (h5-trie-insert trie "SmallCircle;" #x02218) 1030 | (h5-trie-insert trie "radic;" #x0221A) 1031 | (h5-trie-insert trie "Sqrt;" #x0221A) 1032 | (h5-trie-insert trie "prop;" #x0221D) 1033 | (h5-trie-insert trie "propto;" #x0221D) 1034 | (h5-trie-insert trie "Proportional;" #x0221D) 1035 | (h5-trie-insert trie "vprop;" #x0221D) 1036 | (h5-trie-insert trie "varpropto;" #x0221D) 1037 | (h5-trie-insert trie "infin;" #x0221E) 1038 | (h5-trie-insert trie "angrt;" #x0221F) 1039 | (h5-trie-insert trie "ang;" #x02220) 1040 | (h5-trie-insert trie "angle;" #x02220) 1041 | (h5-trie-insert trie "angmsd;" #x02221) 1042 | (h5-trie-insert trie "measuredangle;" #x02221) 1043 | (h5-trie-insert trie "angsph;" #x02222) 1044 | (h5-trie-insert trie "mid;" #x02223) 1045 | (h5-trie-insert trie "VerticalBar;" #x02223) 1046 | (h5-trie-insert trie "smid;" #x02223) 1047 | (h5-trie-insert trie "shortmid;" #x02223) 1048 | (h5-trie-insert trie "nmid;" #x02224) 1049 | (h5-trie-insert trie "NotVerticalBar;" #x02224) 1050 | (h5-trie-insert trie "nsmid;" #x02224) 1051 | (h5-trie-insert trie "nshortmid;" #x02224) 1052 | (h5-trie-insert trie "par;" #x02225) 1053 | (h5-trie-insert trie "parallel;" #x02225) 1054 | (h5-trie-insert trie "DoubleVerticalBar;" #x02225) 1055 | (h5-trie-insert trie "spar;" #x02225) 1056 | (h5-trie-insert trie "shortparallel;" #x02225) 1057 | (h5-trie-insert trie "npar;" #x02226) 1058 | (h5-trie-insert trie "nparallel;" #x02226) 1059 | (h5-trie-insert trie "NotDoubleVerticalBar;" #x02226) 1060 | (h5-trie-insert trie "nspar;" #x02226) 1061 | (h5-trie-insert trie "nshortparallel;" #x02226) 1062 | (h5-trie-insert trie "and;" #x02227) 1063 | (h5-trie-insert trie "wedge;" #x02227) 1064 | (h5-trie-insert trie "or;" #x02228) 1065 | (h5-trie-insert trie "vee;" #x02228) 1066 | (h5-trie-insert trie "cap;" #x02229) 1067 | (h5-trie-insert trie "cup;" #x0222A) 1068 | (h5-trie-insert trie "int;" #x0222B) 1069 | (h5-trie-insert trie "Integral;" #x0222B) 1070 | (h5-trie-insert trie "Int;" #x0222C) 1071 | (h5-trie-insert trie "tint;" #x0222D) 1072 | (h5-trie-insert trie "iiint;" #x0222D) 1073 | (h5-trie-insert trie "conint;" #x0222E) 1074 | (h5-trie-insert trie "oint;" #x0222E) 1075 | (h5-trie-insert trie "ContourIntegral;" #x0222E) 1076 | (h5-trie-insert trie "Conint;" #x0222F) 1077 | (h5-trie-insert trie "DoubleContourIntegral;" #x0222F) 1078 | (h5-trie-insert trie "Cconint;" #x02230) 1079 | (h5-trie-insert trie "cwint;" #x02231) 1080 | (h5-trie-insert trie "cwconint;" #x02232) 1081 | (h5-trie-insert trie "ClockwiseContourIntegral;" #x02232) 1082 | (h5-trie-insert trie "awconint;" #x02233) 1083 | (h5-trie-insert trie "CounterClockwiseContourIntegral;" #x02233) 1084 | (h5-trie-insert trie "there4;" #x02234) 1085 | (h5-trie-insert trie "therefore;" #x02234) 1086 | (h5-trie-insert trie "Therefore;" #x02234) 1087 | (h5-trie-insert trie "becaus;" #x02235) 1088 | (h5-trie-insert trie "because;" #x02235) 1089 | (h5-trie-insert trie "Because;" #x02235) 1090 | (h5-trie-insert trie "ratio;" #x02236) 1091 | (h5-trie-insert trie "Colon;" #x02237) 1092 | (h5-trie-insert trie "Proportion;" #x02237) 1093 | (h5-trie-insert trie "minusd;" #x02238) 1094 | (h5-trie-insert trie "dotminus;" #x02238) 1095 | (h5-trie-insert trie "mDDot;" #x0223A) 1096 | (h5-trie-insert trie "homtht;" #x0223B) 1097 | (h5-trie-insert trie "sim;" #x0223C) 1098 | (h5-trie-insert trie "Tilde;" #x0223C) 1099 | (h5-trie-insert trie "thksim;" #x0223C) 1100 | (h5-trie-insert trie "thicksim;" #x0223C) 1101 | (h5-trie-insert trie "bsim;" #x0223D) 1102 | (h5-trie-insert trie "backsim;" #x0223D) 1103 | (h5-trie-insert trie "ac;" #x0223E) 1104 | (h5-trie-insert trie "mstpos;" #x0223E) 1105 | (h5-trie-insert trie "acd;" #x0223F) 1106 | (h5-trie-insert trie "wreath;" #x02240) 1107 | (h5-trie-insert trie "VerticalTilde;" #x02240) 1108 | (h5-trie-insert trie "wr;" #x02240) 1109 | (h5-trie-insert trie "nsim;" #x02241) 1110 | (h5-trie-insert trie "NotTilde;" #x02241) 1111 | (h5-trie-insert trie "esim;" #x02242) 1112 | (h5-trie-insert trie "EqualTilde;" #x02242) 1113 | (h5-trie-insert trie "eqsim;" #x02242) 1114 | (h5-trie-insert trie "sime;" #x02243) 1115 | (h5-trie-insert trie "TildeEqual;" #x02243) 1116 | (h5-trie-insert trie "simeq;" #x02243) 1117 | (h5-trie-insert trie "nsime;" #x02244) 1118 | (h5-trie-insert trie "nsimeq;" #x02244) 1119 | (h5-trie-insert trie "NotTildeEqual;" #x02244) 1120 | (h5-trie-insert trie "cong;" #x02245) 1121 | (h5-trie-insert trie "TildeFullEqual;" #x02245) 1122 | (h5-trie-insert trie "simne;" #x02246) 1123 | (h5-trie-insert trie "ncong;" #x02247) 1124 | (h5-trie-insert trie "NotTildeFullEqual;" #x02247) 1125 | (h5-trie-insert trie "asymp;" #x02248) 1126 | (h5-trie-insert trie "ap;" #x02248) 1127 | (h5-trie-insert trie "TildeTilde;" #x02248) 1128 | (h5-trie-insert trie "approx;" #x02248) 1129 | (h5-trie-insert trie "thkap;" #x02248) 1130 | (h5-trie-insert trie "thickapprox;" #x02248) 1131 | (h5-trie-insert trie "nap;" #x02249) 1132 | (h5-trie-insert trie "NotTildeTilde;" #x02249) 1133 | (h5-trie-insert trie "napprox;" #x02249) 1134 | (h5-trie-insert trie "ape;" #x0224A) 1135 | (h5-trie-insert trie "approxeq;" #x0224A) 1136 | (h5-trie-insert trie "apid;" #x0224B) 1137 | (h5-trie-insert trie "bcong;" #x0224C) 1138 | (h5-trie-insert trie "backcong;" #x0224C) 1139 | (h5-trie-insert trie "asympeq;" #x0224D) 1140 | (h5-trie-insert trie "CupCap;" #x0224D) 1141 | (h5-trie-insert trie "bump;" #x0224E) 1142 | (h5-trie-insert trie "HumpDownHump;" #x0224E) 1143 | (h5-trie-insert trie "Bumpeq;" #x0224E) 1144 | (h5-trie-insert trie "bumpe;" #x0224F) 1145 | (h5-trie-insert trie "HumpEqual;" #x0224F) 1146 | (h5-trie-insert trie "bumpeq;" #x0224F) 1147 | (h5-trie-insert trie "esdot;" #x02250) 1148 | (h5-trie-insert trie "DotEqual;" #x02250) 1149 | (h5-trie-insert trie "doteq;" #x02250) 1150 | (h5-trie-insert trie "eDot;" #x02251) 1151 | (h5-trie-insert trie "doteqdot;" #x02251) 1152 | (h5-trie-insert trie "efDot;" #x02252) 1153 | (h5-trie-insert trie "fallingdotseq;" #x02252) 1154 | (h5-trie-insert trie "erDot;" #x02253) 1155 | (h5-trie-insert trie "risingdotseq;" #x02253) 1156 | (h5-trie-insert trie "colone;" #x02254) 1157 | (h5-trie-insert trie "coloneq;" #x02254) 1158 | (h5-trie-insert trie "Assign;" #x02254) 1159 | (h5-trie-insert trie "ecolon;" #x02255) 1160 | (h5-trie-insert trie "eqcolon;" #x02255) 1161 | (h5-trie-insert trie "ecir;" #x02256) 1162 | (h5-trie-insert trie "eqcirc;" #x02256) 1163 | (h5-trie-insert trie "cire;" #x02257) 1164 | (h5-trie-insert trie "circeq;" #x02257) 1165 | (h5-trie-insert trie "wedgeq;" #x02259) 1166 | (h5-trie-insert trie "veeeq;" #x0225A) 1167 | (h5-trie-insert trie "trie;" #x0225C) 1168 | (h5-trie-insert trie "triangleq;" #x0225C) 1169 | (h5-trie-insert trie "equest;" #x0225F) 1170 | (h5-trie-insert trie "questeq;" #x0225F) 1171 | (h5-trie-insert trie "ne;" #x02260) 1172 | (h5-trie-insert trie "NotEqual;" #x02260) 1173 | (h5-trie-insert trie "equiv;" #x02261) 1174 | (h5-trie-insert trie "Congruent;" #x02261) 1175 | (h5-trie-insert trie "nequiv;" #x02262) 1176 | (h5-trie-insert trie "NotCongruent;" #x02262) 1177 | (h5-trie-insert trie "le;" #x02264) 1178 | (h5-trie-insert trie "leq;" #x02264) 1179 | (h5-trie-insert trie "ge;" #x02265) 1180 | (h5-trie-insert trie "GreaterEqual;" #x02265) 1181 | (h5-trie-insert trie "geq;" #x02265) 1182 | (h5-trie-insert trie "lE;" #x02266) 1183 | (h5-trie-insert trie "LessFullEqual;" #x02266) 1184 | (h5-trie-insert trie "leqq;" #x02266) 1185 | (h5-trie-insert trie "gE;" #x02267) 1186 | (h5-trie-insert trie "GreaterFullEqual;" #x02267) 1187 | (h5-trie-insert trie "geqq;" #x02267) 1188 | (h5-trie-insert trie "lnE;" #x02268) 1189 | (h5-trie-insert trie "lneqq;" #x02268) 1190 | (h5-trie-insert trie "gnE;" #x02269) 1191 | (h5-trie-insert trie "gneqq;" #x02269) 1192 | (h5-trie-insert trie "Lt;" #x0226A) 1193 | (h5-trie-insert trie "NestedLessLess;" #x0226A) 1194 | (h5-trie-insert trie "ll;" #x0226A) 1195 | (h5-trie-insert trie "Gt;" #x0226B) 1196 | (h5-trie-insert trie "NestedGreaterGreater;" #x0226B) 1197 | (h5-trie-insert trie "gg;" #x0226B) 1198 | (h5-trie-insert trie "twixt;" #x0226C) 1199 | (h5-trie-insert trie "between;" #x0226C) 1200 | (h5-trie-insert trie "NotCupCap;" #x0226D) 1201 | (h5-trie-insert trie "nlt;" #x0226E) 1202 | (h5-trie-insert trie "NotLess;" #x0226E) 1203 | (h5-trie-insert trie "nless;" #x0226E) 1204 | (h5-trie-insert trie "ngt;" #x0226F) 1205 | (h5-trie-insert trie "NotGreater;" #x0226F) 1206 | (h5-trie-insert trie "ngtr;" #x0226F) 1207 | (h5-trie-insert trie "nle;" #x02270) 1208 | (h5-trie-insert trie "NotLessEqual;" #x02270) 1209 | (h5-trie-insert trie "nleq;" #x02270) 1210 | (h5-trie-insert trie "nge;" #x02271) 1211 | (h5-trie-insert trie "NotGreaterEqual;" #x02271) 1212 | (h5-trie-insert trie "ngeq;" #x02271) 1213 | (h5-trie-insert trie "lsim;" #x02272) 1214 | (h5-trie-insert trie "LessTilde;" #x02272) 1215 | (h5-trie-insert trie "lesssim;" #x02272) 1216 | (h5-trie-insert trie "gsim;" #x02273) 1217 | (h5-trie-insert trie "gtrsim;" #x02273) 1218 | (h5-trie-insert trie "GreaterTilde;" #x02273) 1219 | (h5-trie-insert trie "nlsim;" #x02274) 1220 | (h5-trie-insert trie "NotLessTilde;" #x02274) 1221 | (h5-trie-insert trie "ngsim;" #x02275) 1222 | (h5-trie-insert trie "NotGreaterTilde;" #x02275) 1223 | (h5-trie-insert trie "lg;" #x02276) 1224 | (h5-trie-insert trie "lessgtr;" #x02276) 1225 | (h5-trie-insert trie "LessGreater;" #x02276) 1226 | (h5-trie-insert trie "gl;" #x02277) 1227 | (h5-trie-insert trie "gtrless;" #x02277) 1228 | (h5-trie-insert trie "GreaterLess;" #x02277) 1229 | (h5-trie-insert trie "ntlg;" #x02278) 1230 | (h5-trie-insert trie "NotLessGreater;" #x02278) 1231 | (h5-trie-insert trie "ntgl;" #x02279) 1232 | (h5-trie-insert trie "NotGreaterLess;" #x02279) 1233 | (h5-trie-insert trie "pr;" #x0227A) 1234 | (h5-trie-insert trie "Precedes;" #x0227A) 1235 | (h5-trie-insert trie "prec;" #x0227A) 1236 | (h5-trie-insert trie "sc;" #x0227B) 1237 | (h5-trie-insert trie "Succeeds;" #x0227B) 1238 | (h5-trie-insert trie "succ;" #x0227B) 1239 | (h5-trie-insert trie "prcue;" #x0227C) 1240 | (h5-trie-insert trie "PrecedesSlantEqual;" #x0227C) 1241 | (h5-trie-insert trie "preccurlyeq;" #x0227C) 1242 | (h5-trie-insert trie "sccue;" #x0227D) 1243 | (h5-trie-insert trie "SucceedsSlantEqual;" #x0227D) 1244 | (h5-trie-insert trie "succcurlyeq;" #x0227D) 1245 | (h5-trie-insert trie "prsim;" #x0227E) 1246 | (h5-trie-insert trie "precsim;" #x0227E) 1247 | (h5-trie-insert trie "PrecedesTilde;" #x0227E) 1248 | (h5-trie-insert trie "scsim;" #x0227F) 1249 | (h5-trie-insert trie "succsim;" #x0227F) 1250 | (h5-trie-insert trie "SucceedsTilde;" #x0227F) 1251 | (h5-trie-insert trie "npr;" #x02280) 1252 | (h5-trie-insert trie "nprec;" #x02280) 1253 | (h5-trie-insert trie "NotPrecedes;" #x02280) 1254 | (h5-trie-insert trie "nsc;" #x02281) 1255 | (h5-trie-insert trie "nsucc;" #x02281) 1256 | (h5-trie-insert trie "NotSucceeds;" #x02281) 1257 | (h5-trie-insert trie "sub;" #x02282) 1258 | (h5-trie-insert trie "subset;" #x02282) 1259 | (h5-trie-insert trie "sup;" #x02283) 1260 | (h5-trie-insert trie "supset;" #x02283) 1261 | (h5-trie-insert trie "Superset;" #x02283) 1262 | (h5-trie-insert trie "nsub;" #x02284) 1263 | (h5-trie-insert trie "nsup;" #x02285) 1264 | (h5-trie-insert trie "sube;" #x02286) 1265 | (h5-trie-insert trie "SubsetEqual;" #x02286) 1266 | (h5-trie-insert trie "subseteq;" #x02286) 1267 | (h5-trie-insert trie "supe;" #x02287) 1268 | (h5-trie-insert trie "supseteq;" #x02287) 1269 | (h5-trie-insert trie "SupersetEqual;" #x02287) 1270 | (h5-trie-insert trie "nsube;" #x02288) 1271 | (h5-trie-insert trie "nsubseteq;" #x02288) 1272 | (h5-trie-insert trie "NotSubsetEqual;" #x02288) 1273 | (h5-trie-insert trie "nsupe;" #x02289) 1274 | (h5-trie-insert trie "nsupseteq;" #x02289) 1275 | (h5-trie-insert trie "NotSupersetEqual;" #x02289) 1276 | (h5-trie-insert trie "subne;" #x0228A) 1277 | (h5-trie-insert trie "subsetneq;" #x0228A) 1278 | (h5-trie-insert trie "supne;" #x0228B) 1279 | (h5-trie-insert trie "supsetneq;" #x0228B) 1280 | (h5-trie-insert trie "cupdot;" #x0228D) 1281 | (h5-trie-insert trie "uplus;" #x0228E) 1282 | (h5-trie-insert trie "UnionPlus;" #x0228E) 1283 | (h5-trie-insert trie "sqsub;" #x0228F) 1284 | (h5-trie-insert trie "SquareSubset;" #x0228F) 1285 | (h5-trie-insert trie "sqsubset;" #x0228F) 1286 | (h5-trie-insert trie "sqsup;" #x02290) 1287 | (h5-trie-insert trie "SquareSuperset;" #x02290) 1288 | (h5-trie-insert trie "sqsupset;" #x02290) 1289 | (h5-trie-insert trie "sqsube;" #x02291) 1290 | (h5-trie-insert trie "SquareSubsetEqual;" #x02291) 1291 | (h5-trie-insert trie "sqsubseteq;" #x02291) 1292 | (h5-trie-insert trie "sqsupe;" #x02292) 1293 | (h5-trie-insert trie "SquareSupersetEqual;" #x02292) 1294 | (h5-trie-insert trie "sqsupseteq;" #x02292) 1295 | (h5-trie-insert trie "sqcap;" #x02293) 1296 | (h5-trie-insert trie "SquareIntersection;" #x02293) 1297 | (h5-trie-insert trie "sqcup;" #x02294) 1298 | (h5-trie-insert trie "SquareUnion;" #x02294) 1299 | (h5-trie-insert trie "oplus;" #x02295) 1300 | (h5-trie-insert trie "CirclePlus;" #x02295) 1301 | (h5-trie-insert trie "ominus;" #x02296) 1302 | (h5-trie-insert trie "CircleMinus;" #x02296) 1303 | (h5-trie-insert trie "otimes;" #x02297) 1304 | (h5-trie-insert trie "CircleTimes;" #x02297) 1305 | (h5-trie-insert trie "osol;" #x02298) 1306 | (h5-trie-insert trie "odot;" #x02299) 1307 | (h5-trie-insert trie "CircleDot;" #x02299) 1308 | (h5-trie-insert trie "ocir;" #x0229A) 1309 | (h5-trie-insert trie "circledcirc;" #x0229A) 1310 | (h5-trie-insert trie "oast;" #x0229B) 1311 | (h5-trie-insert trie "circledast;" #x0229B) 1312 | (h5-trie-insert trie "odash;" #x0229D) 1313 | (h5-trie-insert trie "circleddash;" #x0229D) 1314 | (h5-trie-insert trie "plusb;" #x0229E) 1315 | (h5-trie-insert trie "boxplus;" #x0229E) 1316 | (h5-trie-insert trie "minusb;" #x0229F) 1317 | (h5-trie-insert trie "boxminus;" #x0229F) 1318 | (h5-trie-insert trie "timesb;" #x022A0) 1319 | (h5-trie-insert trie "boxtimes;" #x022A0) 1320 | (h5-trie-insert trie "sdotb;" #x022A1) 1321 | (h5-trie-insert trie "dotsquare;" #x022A1) 1322 | (h5-trie-insert trie "vdash;" #x022A2) 1323 | (h5-trie-insert trie "RightTee;" #x022A2) 1324 | (h5-trie-insert trie "dashv;" #x022A3) 1325 | (h5-trie-insert trie "LeftTee;" #x022A3) 1326 | (h5-trie-insert trie "top;" #x022A4) 1327 | (h5-trie-insert trie "DownTee;" #x022A4) 1328 | (h5-trie-insert trie "bottom;" #x022A5) 1329 | (h5-trie-insert trie "bot;" #x022A5) 1330 | (h5-trie-insert trie "perp;" #x022A5) 1331 | (h5-trie-insert trie "UpTee;" #x022A5) 1332 | (h5-trie-insert trie "models;" #x022A7) 1333 | (h5-trie-insert trie "vDash;" #x022A8) 1334 | (h5-trie-insert trie "DoubleRightTee;" #x022A8) 1335 | (h5-trie-insert trie "Vdash;" #x022A9) 1336 | (h5-trie-insert trie "Vvdash;" #x022AA) 1337 | (h5-trie-insert trie "VDash;" #x022AB) 1338 | (h5-trie-insert trie "nvdash;" #x022AC) 1339 | (h5-trie-insert trie "nvDash;" #x022AD) 1340 | (h5-trie-insert trie "nVdash;" #x022AE) 1341 | (h5-trie-insert trie "nVDash;" #x022AF) 1342 | (h5-trie-insert trie "prurel;" #x022B0) 1343 | (h5-trie-insert trie "vltri;" #x022B2) 1344 | (h5-trie-insert trie "vartriangleleft;" #x022B2) 1345 | (h5-trie-insert trie "LeftTriangle;" #x022B2) 1346 | (h5-trie-insert trie "vrtri;" #x022B3) 1347 | (h5-trie-insert trie "vartriangleright;" #x022B3) 1348 | (h5-trie-insert trie "RightTriangle;" #x022B3) 1349 | (h5-trie-insert trie "ltrie;" #x022B4) 1350 | (h5-trie-insert trie "trianglelefteq;" #x022B4) 1351 | (h5-trie-insert trie "LeftTriangleEqual;" #x022B4) 1352 | (h5-trie-insert trie "rtrie;" #x022B5) 1353 | (h5-trie-insert trie "trianglerighteq;" #x022B5) 1354 | (h5-trie-insert trie "RightTriangleEqual;" #x022B5) 1355 | (h5-trie-insert trie "origof;" #x022B6) 1356 | (h5-trie-insert trie "imof;" #x022B7) 1357 | (h5-trie-insert trie "mumap;" #x022B8) 1358 | (h5-trie-insert trie "multimap;" #x022B8) 1359 | (h5-trie-insert trie "hercon;" #x022B9) 1360 | (h5-trie-insert trie "intcal;" #x022BA) 1361 | (h5-trie-insert trie "intercal;" #x022BA) 1362 | (h5-trie-insert trie "veebar;" #x022BB) 1363 | (h5-trie-insert trie "barvee;" #x022BD) 1364 | (h5-trie-insert trie "angrtvb;" #x022BE) 1365 | (h5-trie-insert trie "lrtri;" #x022BF) 1366 | (h5-trie-insert trie "xwedge;" #x022C0) 1367 | (h5-trie-insert trie "Wedge;" #x022C0) 1368 | (h5-trie-insert trie "bigwedge;" #x022C0) 1369 | (h5-trie-insert trie "xvee;" #x022C1) 1370 | (h5-trie-insert trie "Vee;" #x022C1) 1371 | (h5-trie-insert trie "bigvee;" #x022C1) 1372 | (h5-trie-insert trie "xcap;" #x022C2) 1373 | (h5-trie-insert trie "Intersection;" #x022C2) 1374 | (h5-trie-insert trie "bigcap;" #x022C2) 1375 | (h5-trie-insert trie "xcup;" #x022C3) 1376 | (h5-trie-insert trie "Union;" #x022C3) 1377 | (h5-trie-insert trie "bigcup;" #x022C3) 1378 | (h5-trie-insert trie "diam;" #x022C4) 1379 | (h5-trie-insert trie "diamond;" #x022C4) 1380 | (h5-trie-insert trie "Diamond;" #x022C4) 1381 | (h5-trie-insert trie "sdot;" #x022C5) 1382 | (h5-trie-insert trie "sstarf;" #x022C6) 1383 | (h5-trie-insert trie "Star;" #x022C6) 1384 | (h5-trie-insert trie "divonx;" #x022C7) 1385 | (h5-trie-insert trie "divideontimes;" #x022C7) 1386 | (h5-trie-insert trie "bowtie;" #x022C8) 1387 | (h5-trie-insert trie "ltimes;" #x022C9) 1388 | (h5-trie-insert trie "rtimes;" #x022CA) 1389 | (h5-trie-insert trie "lthree;" #x022CB) 1390 | (h5-trie-insert trie "leftthreetimes;" #x022CB) 1391 | (h5-trie-insert trie "rthree;" #x022CC) 1392 | (h5-trie-insert trie "rightthreetimes;" #x022CC) 1393 | (h5-trie-insert trie "bsime;" #x022CD) 1394 | (h5-trie-insert trie "backsimeq;" #x022CD) 1395 | (h5-trie-insert trie "cuvee;" #x022CE) 1396 | (h5-trie-insert trie "curlyvee;" #x022CE) 1397 | (h5-trie-insert trie "cuwed;" #x022CF) 1398 | (h5-trie-insert trie "curlywedge;" #x022CF) 1399 | (h5-trie-insert trie "Sub;" #x022D0) 1400 | (h5-trie-insert trie "Subset;" #x022D0) 1401 | (h5-trie-insert trie "Sup;" #x022D1) 1402 | (h5-trie-insert trie "Supset;" #x022D1) 1403 | (h5-trie-insert trie "Cap;" #x022D2) 1404 | (h5-trie-insert trie "Cup;" #x022D3) 1405 | (h5-trie-insert trie "fork;" #x022D4) 1406 | (h5-trie-insert trie "pitchfork;" #x022D4) 1407 | (h5-trie-insert trie "epar;" #x022D5) 1408 | (h5-trie-insert trie "ltdot;" #x022D6) 1409 | (h5-trie-insert trie "lessdot;" #x022D6) 1410 | (h5-trie-insert trie "gtdot;" #x022D7) 1411 | (h5-trie-insert trie "gtrdot;" #x022D7) 1412 | (h5-trie-insert trie "Ll;" #x022D8) 1413 | (h5-trie-insert trie "Gg;" #x022D9) 1414 | (h5-trie-insert trie "ggg;" #x022D9) 1415 | (h5-trie-insert trie "leg;" #x022DA) 1416 | (h5-trie-insert trie "LessEqualGreater;" #x022DA) 1417 | (h5-trie-insert trie "lesseqgtr;" #x022DA) 1418 | (h5-trie-insert trie "gel;" #x022DB) 1419 | (h5-trie-insert trie "gtreqless;" #x022DB) 1420 | (h5-trie-insert trie "GreaterEqualLess;" #x022DB) 1421 | (h5-trie-insert trie "cuepr;" #x022DE) 1422 | (h5-trie-insert trie "curlyeqprec;" #x022DE) 1423 | (h5-trie-insert trie "cuesc;" #x022DF) 1424 | (h5-trie-insert trie "curlyeqsucc;" #x022DF) 1425 | (h5-trie-insert trie "nprcue;" #x022E0) 1426 | (h5-trie-insert trie "NotPrecedesSlantEqual;" #x022E0) 1427 | (h5-trie-insert trie "nsccue;" #x022E1) 1428 | (h5-trie-insert trie "NotSucceedsSlantEqual;" #x022E1) 1429 | (h5-trie-insert trie "nsqsube;" #x022E2) 1430 | (h5-trie-insert trie "NotSquareSubsetEqual;" #x022E2) 1431 | (h5-trie-insert trie "nsqsupe;" #x022E3) 1432 | (h5-trie-insert trie "NotSquareSupersetEqual;" #x022E3) 1433 | (h5-trie-insert trie "lnsim;" #x022E6) 1434 | (h5-trie-insert trie "gnsim;" #x022E7) 1435 | (h5-trie-insert trie "prnsim;" #x022E8) 1436 | (h5-trie-insert trie "precnsim;" #x022E8) 1437 | (h5-trie-insert trie "scnsim;" #x022E9) 1438 | (h5-trie-insert trie "succnsim;" #x022E9) 1439 | (h5-trie-insert trie "nltri;" #x022EA) 1440 | (h5-trie-insert trie "ntriangleleft;" #x022EA) 1441 | (h5-trie-insert trie "NotLeftTriangle;" #x022EA) 1442 | (h5-trie-insert trie "nrtri;" #x022EB) 1443 | (h5-trie-insert trie "ntriangleright;" #x022EB) 1444 | (h5-trie-insert trie "NotRightTriangle;" #x022EB) 1445 | (h5-trie-insert trie "nltrie;" #x022EC) 1446 | (h5-trie-insert trie "ntrianglelefteq;" #x022EC) 1447 | (h5-trie-insert trie "NotLeftTriangleEqual;" #x022EC) 1448 | (h5-trie-insert trie "nrtrie;" #x022ED) 1449 | (h5-trie-insert trie "ntrianglerighteq;" #x022ED) 1450 | (h5-trie-insert trie "NotRightTriangleEqual;" #x022ED) 1451 | (h5-trie-insert trie "vellip;" #x022EE) 1452 | (h5-trie-insert trie "ctdot;" #x022EF) 1453 | (h5-trie-insert trie "utdot;" #x022F0) 1454 | (h5-trie-insert trie "dtdot;" #x022F1) 1455 | (h5-trie-insert trie "disin;" #x022F2) 1456 | (h5-trie-insert trie "isinsv;" #x022F3) 1457 | (h5-trie-insert trie "isins;" #x022F4) 1458 | (h5-trie-insert trie "isindot;" #x022F5) 1459 | (h5-trie-insert trie "notinvc;" #x022F6) 1460 | (h5-trie-insert trie "notinvb;" #x022F7) 1461 | (h5-trie-insert trie "isinE;" #x022F9) 1462 | (h5-trie-insert trie "nisd;" #x022FA) 1463 | (h5-trie-insert trie "xnis;" #x022FB) 1464 | (h5-trie-insert trie "nis;" #x022FC) 1465 | (h5-trie-insert trie "notnivc;" #x022FD) 1466 | (h5-trie-insert trie "notnivb;" #x022FE) 1467 | (h5-trie-insert trie "barwed;" #x02305) 1468 | (h5-trie-insert trie "barwedge;" #x02305) 1469 | (h5-trie-insert trie "Barwed;" #x02306) 1470 | (h5-trie-insert trie "doublebarwedge;" #x02306) 1471 | (h5-trie-insert trie "lceil;" #x02308) 1472 | (h5-trie-insert trie "LeftCeiling;" #x02308) 1473 | (h5-trie-insert trie "rceil;" #x02309) 1474 | (h5-trie-insert trie "RightCeiling;" #x02309) 1475 | (h5-trie-insert trie "lfloor;" #x0230A) 1476 | (h5-trie-insert trie "LeftFloor;" #x0230A) 1477 | (h5-trie-insert trie "rfloor;" #x0230B) 1478 | (h5-trie-insert trie "RightFloor;" #x0230B) 1479 | (h5-trie-insert trie "drcrop;" #x0230C) 1480 | (h5-trie-insert trie "dlcrop;" #x0230D) 1481 | (h5-trie-insert trie "urcrop;" #x0230E) 1482 | (h5-trie-insert trie "ulcrop;" #x0230F) 1483 | (h5-trie-insert trie "bnot;" #x02310) 1484 | (h5-trie-insert trie "profline;" #x02312) 1485 | (h5-trie-insert trie "profsurf;" #x02313) 1486 | (h5-trie-insert trie "telrec;" #x02315) 1487 | (h5-trie-insert trie "target;" #x02316) 1488 | (h5-trie-insert trie "ulcorn;" #x0231C) 1489 | (h5-trie-insert trie "ulcorner;" #x0231C) 1490 | (h5-trie-insert trie "urcorn;" #x0231D) 1491 | (h5-trie-insert trie "urcorner;" #x0231D) 1492 | (h5-trie-insert trie "dlcorn;" #x0231E) 1493 | (h5-trie-insert trie "llcorner;" #x0231E) 1494 | (h5-trie-insert trie "drcorn;" #x0231F) 1495 | (h5-trie-insert trie "lrcorner;" #x0231F) 1496 | (h5-trie-insert trie "frown;" #x02322) 1497 | (h5-trie-insert trie "sfrown;" #x02322) 1498 | (h5-trie-insert trie "smile;" #x02323) 1499 | (h5-trie-insert trie "ssmile;" #x02323) 1500 | (h5-trie-insert trie "cylcty;" #x0232D) 1501 | (h5-trie-insert trie "profalar;" #x0232E) 1502 | (h5-trie-insert trie "topbot;" #x02336) 1503 | (h5-trie-insert trie "ovbar;" #x0233D) 1504 | (h5-trie-insert trie "solbar;" #x0233F) 1505 | (h5-trie-insert trie "angzarr;" #x0237C) 1506 | (h5-trie-insert trie "lmoust;" #x023B0) 1507 | (h5-trie-insert trie "lmoustache;" #x023B0) 1508 | (h5-trie-insert trie "rmoust;" #x023B1) 1509 | (h5-trie-insert trie "rmoustache;" #x023B1) 1510 | (h5-trie-insert trie "tbrk;" #x023B4) 1511 | (h5-trie-insert trie "OverBracket;" #x023B4) 1512 | (h5-trie-insert trie "bbrk;" #x023B5) 1513 | (h5-trie-insert trie "UnderBracket;" #x023B5) 1514 | (h5-trie-insert trie "bbrktbrk;" #x023B6) 1515 | (h5-trie-insert trie "OverParenthesis;" #x023DC) 1516 | (h5-trie-insert trie "UnderParenthesis;" #x023DD) 1517 | (h5-trie-insert trie "OverBrace;" #x023DE) 1518 | (h5-trie-insert trie "UnderBrace;" #x023DF) 1519 | (h5-trie-insert trie "trpezium;" #x023E2) 1520 | (h5-trie-insert trie "elinters;" #x023E7) 1521 | (h5-trie-insert trie "blank;" #x02423) 1522 | (h5-trie-insert trie "oS;" #x024C8) 1523 | (h5-trie-insert trie "circledS;" #x024C8) 1524 | (h5-trie-insert trie "boxh;" #x02500) 1525 | (h5-trie-insert trie "HorizontalLine;" #x02500) 1526 | (h5-trie-insert trie "boxv;" #x02502) 1527 | (h5-trie-insert trie "boxdr;" #x0250C) 1528 | (h5-trie-insert trie "boxdl;" #x02510) 1529 | (h5-trie-insert trie "boxur;" #x02514) 1530 | (h5-trie-insert trie "boxul;" #x02518) 1531 | (h5-trie-insert trie "boxvr;" #x0251C) 1532 | (h5-trie-insert trie "boxvl;" #x02524) 1533 | (h5-trie-insert trie "boxhd;" #x0252C) 1534 | (h5-trie-insert trie "boxhu;" #x02534) 1535 | (h5-trie-insert trie "boxvh;" #x0253C) 1536 | (h5-trie-insert trie "boxH;" #x02550) 1537 | (h5-trie-insert trie "boxV;" #x02551) 1538 | (h5-trie-insert trie "boxdR;" #x02552) 1539 | (h5-trie-insert trie "boxDr;" #x02553) 1540 | (h5-trie-insert trie "boxDR;" #x02554) 1541 | (h5-trie-insert trie "boxdL;" #x02555) 1542 | (h5-trie-insert trie "boxDl;" #x02556) 1543 | (h5-trie-insert trie "boxDL;" #x02557) 1544 | (h5-trie-insert trie "boxuR;" #x02558) 1545 | (h5-trie-insert trie "boxUr;" #x02559) 1546 | (h5-trie-insert trie "boxUR;" #x0255A) 1547 | (h5-trie-insert trie "boxuL;" #x0255B) 1548 | (h5-trie-insert trie "boxUl;" #x0255C) 1549 | (h5-trie-insert trie "boxUL;" #x0255D) 1550 | (h5-trie-insert trie "boxvR;" #x0255E) 1551 | (h5-trie-insert trie "boxVr;" #x0255F) 1552 | (h5-trie-insert trie "boxVR;" #x02560) 1553 | (h5-trie-insert trie "boxvL;" #x02561) 1554 | (h5-trie-insert trie "boxVl;" #x02562) 1555 | (h5-trie-insert trie "boxVL;" #x02563) 1556 | (h5-trie-insert trie "boxHd;" #x02564) 1557 | (h5-trie-insert trie "boxhD;" #x02565) 1558 | (h5-trie-insert trie "boxHD;" #x02566) 1559 | (h5-trie-insert trie "boxHu;" #x02567) 1560 | (h5-trie-insert trie "boxhU;" #x02568) 1561 | (h5-trie-insert trie "boxHU;" #x02569) 1562 | (h5-trie-insert trie "boxvH;" #x0256A) 1563 | (h5-trie-insert trie "boxVh;" #x0256B) 1564 | (h5-trie-insert trie "boxVH;" #x0256C) 1565 | (h5-trie-insert trie "uhblk;" #x02580) 1566 | (h5-trie-insert trie "lhblk;" #x02584) 1567 | (h5-trie-insert trie "block;" #x02588) 1568 | (h5-trie-insert trie "blk14;" #x02591) 1569 | (h5-trie-insert trie "blk12;" #x02592) 1570 | (h5-trie-insert trie "blk34;" #x02593) 1571 | (h5-trie-insert trie "squ;" #x025A1) 1572 | (h5-trie-insert trie "square;" #x025A1) 1573 | (h5-trie-insert trie "Square;" #x025A1) 1574 | (h5-trie-insert trie "squf;" #x025AA) 1575 | (h5-trie-insert trie "squarf;" #x025AA) 1576 | (h5-trie-insert trie "blacksquare;" #x025AA) 1577 | (h5-trie-insert trie "FilledVerySmallSquare;" #x025AA) 1578 | (h5-trie-insert trie "EmptyVerySmallSquare;" #x025AB) 1579 | (h5-trie-insert trie "rect;" #x025AD) 1580 | (h5-trie-insert trie "marker;" #x025AE) 1581 | (h5-trie-insert trie "fltns;" #x025B1) 1582 | (h5-trie-insert trie "xutri;" #x025B3) 1583 | (h5-trie-insert trie "bigtriangleup;" #x025B3) 1584 | (h5-trie-insert trie "utrif;" #x025B4) 1585 | (h5-trie-insert trie "blacktriangle;" #x025B4) 1586 | (h5-trie-insert trie "utri;" #x025B5) 1587 | (h5-trie-insert trie "triangle;" #x025B5) 1588 | (h5-trie-insert trie "rtrif;" #x025B8) 1589 | (h5-trie-insert trie "blacktriangleright;" #x025B8) 1590 | (h5-trie-insert trie "rtri;" #x025B9) 1591 | (h5-trie-insert trie "triangleright;" #x025B9) 1592 | (h5-trie-insert trie "xdtri;" #x025BD) 1593 | (h5-trie-insert trie "bigtriangledown;" #x025BD) 1594 | (h5-trie-insert trie "dtrif;" #x025BE) 1595 | (h5-trie-insert trie "blacktriangledown;" #x025BE) 1596 | (h5-trie-insert trie "dtri;" #x025BF) 1597 | (h5-trie-insert trie "triangledown;" #x025BF) 1598 | (h5-trie-insert trie "ltrif;" #x025C2) 1599 | (h5-trie-insert trie "blacktriangleleft;" #x025C2) 1600 | (h5-trie-insert trie "ltri;" #x025C3) 1601 | (h5-trie-insert trie "triangleleft;" #x025C3) 1602 | (h5-trie-insert trie "loz;" #x025CA) 1603 | (h5-trie-insert trie "lozenge;" #x025CA) 1604 | (h5-trie-insert trie "cir;" #x025CB) 1605 | (h5-trie-insert trie "tridot;" #x025EC) 1606 | (h5-trie-insert trie "xcirc;" #x025EF) 1607 | (h5-trie-insert trie "bigcirc;" #x025EF) 1608 | (h5-trie-insert trie "ultri;" #x025F8) 1609 | (h5-trie-insert trie "urtri;" #x025F9) 1610 | (h5-trie-insert trie "lltri;" #x025FA) 1611 | (h5-trie-insert trie "EmptySmallSquare;" #x025FB) 1612 | (h5-trie-insert trie "FilledSmallSquare;" #x025FC) 1613 | (h5-trie-insert trie "starf;" #x02605) 1614 | (h5-trie-insert trie "bigstar;" #x02605) 1615 | (h5-trie-insert trie "star;" #x02606) 1616 | (h5-trie-insert trie "phone;" #x0260E) 1617 | (h5-trie-insert trie "female;" #x02640) 1618 | (h5-trie-insert trie "male;" #x02642) 1619 | (h5-trie-insert trie "spades;" #x02660) 1620 | (h5-trie-insert trie "spadesuit;" #x02660) 1621 | (h5-trie-insert trie "clubs;" #x02663) 1622 | (h5-trie-insert trie "clubsuit;" #x02663) 1623 | (h5-trie-insert trie "hearts;" #x02665) 1624 | (h5-trie-insert trie "heartsuit;" #x02665) 1625 | (h5-trie-insert trie "diams;" #x02666) 1626 | (h5-trie-insert trie "diamondsuit;" #x02666) 1627 | (h5-trie-insert trie "sung;" #x0266A) 1628 | (h5-trie-insert trie "flat;" #x0266D) 1629 | (h5-trie-insert trie "natur;" #x0266E) 1630 | (h5-trie-insert trie "natural;" #x0266E) 1631 | (h5-trie-insert trie "sharp;" #x0266F) 1632 | (h5-trie-insert trie "check;" #x02713) 1633 | (h5-trie-insert trie "checkmark;" #x02713) 1634 | (h5-trie-insert trie "cross;" #x02717) 1635 | (h5-trie-insert trie "malt;" #x02720) 1636 | (h5-trie-insert trie "maltese;" #x02720) 1637 | (h5-trie-insert trie "sext;" #x02736) 1638 | (h5-trie-insert trie "VerticalSeparator;" #x02758) 1639 | (h5-trie-insert trie "lbbrk;" #x02772) 1640 | (h5-trie-insert trie "rbbrk;" #x02773) 1641 | (h5-trie-insert trie "bsolhsub;" #x027C8) 1642 | (h5-trie-insert trie "suphsol;" #x027C9) 1643 | (h5-trie-insert trie "lobrk;" #x027E6) 1644 | (h5-trie-insert trie "LeftDoubleBracket;" #x027E6) 1645 | (h5-trie-insert trie "robrk;" #x027E7) 1646 | (h5-trie-insert trie "RightDoubleBracket;" #x027E7) 1647 | (h5-trie-insert trie "lang;" #x027E8) 1648 | (h5-trie-insert trie "LeftAngleBracket;" #x027E8) 1649 | (h5-trie-insert trie "langle;" #x027E8) 1650 | (h5-trie-insert trie "rang;" #x027E9) 1651 | (h5-trie-insert trie "RightAngleBracket;" #x027E9) 1652 | (h5-trie-insert trie "rangle;" #x027E9) 1653 | (h5-trie-insert trie "Lang;" #x027EA) 1654 | (h5-trie-insert trie "Rang;" #x027EB) 1655 | (h5-trie-insert trie "loang;" #x027EC) 1656 | (h5-trie-insert trie "roang;" #x027ED) 1657 | (h5-trie-insert trie "xlarr;" #x027F5) 1658 | (h5-trie-insert trie "longleftarrow;" #x027F5) 1659 | (h5-trie-insert trie "LongLeftArrow;" #x027F5) 1660 | (h5-trie-insert trie "xrarr;" #x027F6) 1661 | (h5-trie-insert trie "longrightarrow;" #x027F6) 1662 | (h5-trie-insert trie "LongRightArrow;" #x027F6) 1663 | (h5-trie-insert trie "xharr;" #x027F7) 1664 | (h5-trie-insert trie "longleftrightarrow;" #x027F7) 1665 | (h5-trie-insert trie "LongLeftRightArrow;" #x027F7) 1666 | (h5-trie-insert trie "xlArr;" #x027F8) 1667 | (h5-trie-insert trie "Longleftarrow;" #x027F8) 1668 | (h5-trie-insert trie "DoubleLongLeftArrow;" #x027F8) 1669 | (h5-trie-insert trie "xrArr;" #x027F9) 1670 | (h5-trie-insert trie "Longrightarrow;" #x027F9) 1671 | (h5-trie-insert trie "DoubleLongRightArrow;" #x027F9) 1672 | (h5-trie-insert trie "xhArr;" #x027FA) 1673 | (h5-trie-insert trie "Longleftrightarrow;" #x027FA) 1674 | (h5-trie-insert trie "DoubleLongLeftRightArrow;" #x027FA) 1675 | (h5-trie-insert trie "xmap;" #x027FC) 1676 | (h5-trie-insert trie "longmapsto;" #x027FC) 1677 | (h5-trie-insert trie "dzigrarr;" #x027FF) 1678 | (h5-trie-insert trie "nvlArr;" #x02902) 1679 | (h5-trie-insert trie "nvrArr;" #x02903) 1680 | (h5-trie-insert trie "nvHarr;" #x02904) 1681 | (h5-trie-insert trie "Map;" #x02905) 1682 | (h5-trie-insert trie "lbarr;" #x0290C) 1683 | (h5-trie-insert trie "rbarr;" #x0290D) 1684 | (h5-trie-insert trie "bkarow;" #x0290D) 1685 | (h5-trie-insert trie "lBarr;" #x0290E) 1686 | (h5-trie-insert trie "rBarr;" #x0290F) 1687 | (h5-trie-insert trie "dbkarow;" #x0290F) 1688 | (h5-trie-insert trie "RBarr;" #x02910) 1689 | (h5-trie-insert trie "drbkarow;" #x02910) 1690 | (h5-trie-insert trie "DDotrahd;" #x02911) 1691 | (h5-trie-insert trie "UpArrowBar;" #x02912) 1692 | (h5-trie-insert trie "DownArrowBar;" #x02913) 1693 | (h5-trie-insert trie "Rarrtl;" #x02916) 1694 | (h5-trie-insert trie "latail;" #x02919) 1695 | (h5-trie-insert trie "ratail;" #x0291A) 1696 | (h5-trie-insert trie "lAtail;" #x0291B) 1697 | (h5-trie-insert trie "rAtail;" #x0291C) 1698 | (h5-trie-insert trie "larrfs;" #x0291D) 1699 | (h5-trie-insert trie "rarrfs;" #x0291E) 1700 | (h5-trie-insert trie "larrbfs;" #x0291F) 1701 | (h5-trie-insert trie "rarrbfs;" #x02920) 1702 | (h5-trie-insert trie "nwarhk;" #x02923) 1703 | (h5-trie-insert trie "nearhk;" #x02924) 1704 | (h5-trie-insert trie "searhk;" #x02925) 1705 | (h5-trie-insert trie "hksearow;" #x02925) 1706 | (h5-trie-insert trie "swarhk;" #x02926) 1707 | (h5-trie-insert trie "hkswarow;" #x02926) 1708 | (h5-trie-insert trie "nwnear;" #x02927) 1709 | (h5-trie-insert trie "nesear;" #x02928) 1710 | (h5-trie-insert trie "toea;" #x02928) 1711 | (h5-trie-insert trie "seswar;" #x02929) 1712 | (h5-trie-insert trie "tosa;" #x02929) 1713 | (h5-trie-insert trie "swnwar;" #x0292A) 1714 | (h5-trie-insert trie "rarrc;" #x02933) 1715 | (h5-trie-insert trie "cudarrr;" #x02935) 1716 | (h5-trie-insert trie "ldca;" #x02936) 1717 | (h5-trie-insert trie "rdca;" #x02937) 1718 | (h5-trie-insert trie "cudarrl;" #x02938) 1719 | (h5-trie-insert trie "larrpl;" #x02939) 1720 | (h5-trie-insert trie "curarrm;" #x0293C) 1721 | (h5-trie-insert trie "cularrp;" #x0293D) 1722 | (h5-trie-insert trie "rarrpl;" #x02945) 1723 | (h5-trie-insert trie "harrcir;" #x02948) 1724 | (h5-trie-insert trie "Uarrocir;" #x02949) 1725 | (h5-trie-insert trie "lurdshar;" #x0294A) 1726 | (h5-trie-insert trie "ldrushar;" #x0294B) 1727 | (h5-trie-insert trie "LeftRightVector;" #x0294E) 1728 | (h5-trie-insert trie "RightUpDownVector;" #x0294F) 1729 | (h5-trie-insert trie "DownLeftRightVector;" #x02950) 1730 | (h5-trie-insert trie "LeftUpDownVector;" #x02951) 1731 | (h5-trie-insert trie "LeftVectorBar;" #x02952) 1732 | (h5-trie-insert trie "RightVectorBar;" #x02953) 1733 | (h5-trie-insert trie "RightUpVectorBar;" #x02954) 1734 | (h5-trie-insert trie "RightDownVectorBar;" #x02955) 1735 | (h5-trie-insert trie "DownLeftVectorBar;" #x02956) 1736 | (h5-trie-insert trie "DownRightVectorBar;" #x02957) 1737 | (h5-trie-insert trie "LeftUpVectorBar;" #x02958) 1738 | (h5-trie-insert trie "LeftDownVectorBar;" #x02959) 1739 | (h5-trie-insert trie "LeftTeeVector;" #x0295A) 1740 | (h5-trie-insert trie "RightTeeVector;" #x0295B) 1741 | (h5-trie-insert trie "RightUpTeeVector;" #x0295C) 1742 | (h5-trie-insert trie "RightDownTeeVector;" #x0295D) 1743 | (h5-trie-insert trie "DownLeftTeeVector;" #x0295E) 1744 | (h5-trie-insert trie "DownRightTeeVector;" #x0295F) 1745 | (h5-trie-insert trie "LeftUpTeeVector;" #x02960) 1746 | (h5-trie-insert trie "LeftDownTeeVector;" #x02961) 1747 | (h5-trie-insert trie "lHar;" #x02962) 1748 | (h5-trie-insert trie "uHar;" #x02963) 1749 | (h5-trie-insert trie "rHar;" #x02964) 1750 | (h5-trie-insert trie "dHar;" #x02965) 1751 | (h5-trie-insert trie "luruhar;" #x02966) 1752 | (h5-trie-insert trie "ldrdhar;" #x02967) 1753 | (h5-trie-insert trie "ruluhar;" #x02968) 1754 | (h5-trie-insert trie "rdldhar;" #x02969) 1755 | (h5-trie-insert trie "lharul;" #x0296A) 1756 | (h5-trie-insert trie "llhard;" #x0296B) 1757 | (h5-trie-insert trie "rharul;" #x0296C) 1758 | (h5-trie-insert trie "lrhard;" #x0296D) 1759 | (h5-trie-insert trie "udhar;" #x0296E) 1760 | (h5-trie-insert trie "UpEquilibrium;" #x0296E) 1761 | (h5-trie-insert trie "duhar;" #x0296F) 1762 | (h5-trie-insert trie "ReverseUpEquilibrium;" #x0296F) 1763 | (h5-trie-insert trie "RoundImplies;" #x02970) 1764 | (h5-trie-insert trie "erarr;" #x02971) 1765 | (h5-trie-insert trie "simrarr;" #x02972) 1766 | (h5-trie-insert trie "larrsim;" #x02973) 1767 | (h5-trie-insert trie "rarrsim;" #x02974) 1768 | (h5-trie-insert trie "rarrap;" #x02975) 1769 | (h5-trie-insert trie "ltlarr;" #x02976) 1770 | (h5-trie-insert trie "gtrarr;" #x02978) 1771 | (h5-trie-insert trie "subrarr;" #x02979) 1772 | (h5-trie-insert trie "suplarr;" #x0297B) 1773 | (h5-trie-insert trie "lfisht;" #x0297C) 1774 | (h5-trie-insert trie "rfisht;" #x0297D) 1775 | (h5-trie-insert trie "ufisht;" #x0297E) 1776 | (h5-trie-insert trie "dfisht;" #x0297F) 1777 | (h5-trie-insert trie "lopar;" #x02985) 1778 | (h5-trie-insert trie "ropar;" #x02986) 1779 | (h5-trie-insert trie "lbrke;" #x0298B) 1780 | (h5-trie-insert trie "rbrke;" #x0298C) 1781 | (h5-trie-insert trie "lbrkslu;" #x0298D) 1782 | (h5-trie-insert trie "rbrksld;" #x0298E) 1783 | (h5-trie-insert trie "lbrksld;" #x0298F) 1784 | (h5-trie-insert trie "rbrkslu;" #x02990) 1785 | (h5-trie-insert trie "langd;" #x02991) 1786 | (h5-trie-insert trie "rangd;" #x02992) 1787 | (h5-trie-insert trie "lparlt;" #x02993) 1788 | (h5-trie-insert trie "rpargt;" #x02994) 1789 | (h5-trie-insert trie "gtlPar;" #x02995) 1790 | (h5-trie-insert trie "ltrPar;" #x02996) 1791 | (h5-trie-insert trie "vzigzag;" #x0299A) 1792 | (h5-trie-insert trie "vangrt;" #x0299C) 1793 | (h5-trie-insert trie "angrtvbd;" #x0299D) 1794 | (h5-trie-insert trie "ange;" #x029A4) 1795 | (h5-trie-insert trie "range;" #x029A5) 1796 | (h5-trie-insert trie "dwangle;" #x029A6) 1797 | (h5-trie-insert trie "uwangle;" #x029A7) 1798 | (h5-trie-insert trie "angmsdaa;" #x029A8) 1799 | (h5-trie-insert trie "angmsdab;" #x029A9) 1800 | (h5-trie-insert trie "angmsdac;" #x029AA) 1801 | (h5-trie-insert trie "angmsdad;" #x029AB) 1802 | (h5-trie-insert trie "angmsdae;" #x029AC) 1803 | (h5-trie-insert trie "angmsdaf;" #x029AD) 1804 | (h5-trie-insert trie "angmsdag;" #x029AE) 1805 | (h5-trie-insert trie "angmsdah;" #x029AF) 1806 | (h5-trie-insert trie "bemptyv;" #x029B0) 1807 | (h5-trie-insert trie "demptyv;" #x029B1) 1808 | (h5-trie-insert trie "cemptyv;" #x029B2) 1809 | (h5-trie-insert trie "raemptyv;" #x029B3) 1810 | (h5-trie-insert trie "laemptyv;" #x029B4) 1811 | (h5-trie-insert trie "ohbar;" #x029B5) 1812 | (h5-trie-insert trie "omid;" #x029B6) 1813 | (h5-trie-insert trie "opar;" #x029B7) 1814 | (h5-trie-insert trie "operp;" #x029B9) 1815 | (h5-trie-insert trie "olcross;" #x029BB) 1816 | (h5-trie-insert trie "odsold;" #x029BC) 1817 | (h5-trie-insert trie "olcir;" #x029BE) 1818 | (h5-trie-insert trie "ofcir;" #x029BF) 1819 | (h5-trie-insert trie "olt;" #x029C0) 1820 | (h5-trie-insert trie "ogt;" #x029C1) 1821 | (h5-trie-insert trie "cirscir;" #x029C2) 1822 | (h5-trie-insert trie "cirE;" #x029C3) 1823 | (h5-trie-insert trie "solb;" #x029C4) 1824 | (h5-trie-insert trie "bsolb;" #x029C5) 1825 | (h5-trie-insert trie "boxbox;" #x029C9) 1826 | (h5-trie-insert trie "trisb;" #x029CD) 1827 | (h5-trie-insert trie "rtriltri;" #x029CE) 1828 | (h5-trie-insert trie "LeftTriangleBar;" #x029CF) 1829 | (h5-trie-insert trie "RightTriangleBar;" #x029D0) 1830 | (h5-trie-insert trie "iinfin;" #x029DC) 1831 | (h5-trie-insert trie "infintie;" #x029DD) 1832 | (h5-trie-insert trie "nvinfin;" #x029DE) 1833 | (h5-trie-insert trie "eparsl;" #x029E3) 1834 | (h5-trie-insert trie "smeparsl;" #x029E4) 1835 | (h5-trie-insert trie "eqvparsl;" #x029E5) 1836 | (h5-trie-insert trie "lozf;" #x029EB) 1837 | (h5-trie-insert trie "blacklozenge;" #x029EB) 1838 | (h5-trie-insert trie "RuleDelayed;" #x029F4) 1839 | (h5-trie-insert trie "dsol;" #x029F6) 1840 | (h5-trie-insert trie "xodot;" #x02A00) 1841 | (h5-trie-insert trie "bigodot;" #x02A00) 1842 | (h5-trie-insert trie "xoplus;" #x02A01) 1843 | (h5-trie-insert trie "bigoplus;" #x02A01) 1844 | (h5-trie-insert trie "xotime;" #x02A02) 1845 | (h5-trie-insert trie "bigotimes;" #x02A02) 1846 | (h5-trie-insert trie "xuplus;" #x02A04) 1847 | (h5-trie-insert trie "biguplus;" #x02A04) 1848 | (h5-trie-insert trie "xsqcup;" #x02A06) 1849 | (h5-trie-insert trie "bigsqcup;" #x02A06) 1850 | (h5-trie-insert trie "qint;" #x02A0C) 1851 | (h5-trie-insert trie "iiiint;" #x02A0C) 1852 | (h5-trie-insert trie "fpartint;" #x02A0D) 1853 | (h5-trie-insert trie "cirfnint;" #x02A10) 1854 | (h5-trie-insert trie "awint;" #x02A11) 1855 | (h5-trie-insert trie "rppolint;" #x02A12) 1856 | (h5-trie-insert trie "scpolint;" #x02A13) 1857 | (h5-trie-insert trie "npolint;" #x02A14) 1858 | (h5-trie-insert trie "pointint;" #x02A15) 1859 | (h5-trie-insert trie "quatint;" #x02A16) 1860 | (h5-trie-insert trie "intlarhk;" #x02A17) 1861 | (h5-trie-insert trie "pluscir;" #x02A22) 1862 | (h5-trie-insert trie "plusacir;" #x02A23) 1863 | (h5-trie-insert trie "simplus;" #x02A24) 1864 | (h5-trie-insert trie "plusdu;" #x02A25) 1865 | (h5-trie-insert trie "plussim;" #x02A26) 1866 | (h5-trie-insert trie "plustwo;" #x02A27) 1867 | (h5-trie-insert trie "mcomma;" #x02A29) 1868 | (h5-trie-insert trie "minusdu;" #x02A2A) 1869 | (h5-trie-insert trie "loplus;" #x02A2D) 1870 | (h5-trie-insert trie "roplus;" #x02A2E) 1871 | (h5-trie-insert trie "Cross;" #x02A2F) 1872 | (h5-trie-insert trie "timesd;" #x02A30) 1873 | (h5-trie-insert trie "timesbar;" #x02A31) 1874 | (h5-trie-insert trie "smashp;" #x02A33) 1875 | (h5-trie-insert trie "lotimes;" #x02A34) 1876 | (h5-trie-insert trie "rotimes;" #x02A35) 1877 | (h5-trie-insert trie "otimesas;" #x02A36) 1878 | (h5-trie-insert trie "Otimes;" #x02A37) 1879 | (h5-trie-insert trie "odiv;" #x02A38) 1880 | (h5-trie-insert trie "triplus;" #x02A39) 1881 | (h5-trie-insert trie "triminus;" #x02A3A) 1882 | (h5-trie-insert trie "tritime;" #x02A3B) 1883 | (h5-trie-insert trie "iprod;" #x02A3C) 1884 | (h5-trie-insert trie "intprod;" #x02A3C) 1885 | (h5-trie-insert trie "amalg;" #x02A3F) 1886 | (h5-trie-insert trie "capdot;" #x02A40) 1887 | (h5-trie-insert trie "ncup;" #x02A42) 1888 | (h5-trie-insert trie "ncap;" #x02A43) 1889 | (h5-trie-insert trie "capand;" #x02A44) 1890 | (h5-trie-insert trie "cupor;" #x02A45) 1891 | (h5-trie-insert trie "cupcap;" #x02A46) 1892 | (h5-trie-insert trie "capcup;" #x02A47) 1893 | (h5-trie-insert trie "cupbrcap;" #x02A48) 1894 | (h5-trie-insert trie "capbrcup;" #x02A49) 1895 | (h5-trie-insert trie "cupcup;" #x02A4A) 1896 | (h5-trie-insert trie "capcap;" #x02A4B) 1897 | (h5-trie-insert trie "ccups;" #x02A4C) 1898 | (h5-trie-insert trie "ccaps;" #x02A4D) 1899 | (h5-trie-insert trie "ccupssm;" #x02A50) 1900 | (h5-trie-insert trie "And;" #x02A53) 1901 | (h5-trie-insert trie "Or;" #x02A54) 1902 | (h5-trie-insert trie "andand;" #x02A55) 1903 | (h5-trie-insert trie "oror;" #x02A56) 1904 | (h5-trie-insert trie "orslope;" #x02A57) 1905 | (h5-trie-insert trie "andslope;" #x02A58) 1906 | (h5-trie-insert trie "andv;" #x02A5A) 1907 | (h5-trie-insert trie "orv;" #x02A5B) 1908 | (h5-trie-insert trie "andd;" #x02A5C) 1909 | (h5-trie-insert trie "ord;" #x02A5D) 1910 | (h5-trie-insert trie "wedbar;" #x02A5F) 1911 | (h5-trie-insert trie "sdote;" #x02A66) 1912 | (h5-trie-insert trie "simdot;" #x02A6A) 1913 | (h5-trie-insert trie "congdot;" #x02A6D) 1914 | (h5-trie-insert trie "easter;" #x02A6E) 1915 | (h5-trie-insert trie "apacir;" #x02A6F) 1916 | (h5-trie-insert trie "apE;" #x02A70) 1917 | (h5-trie-insert trie "eplus;" #x02A71) 1918 | (h5-trie-insert trie "pluse;" #x02A72) 1919 | (h5-trie-insert trie "Esim;" #x02A73) 1920 | (h5-trie-insert trie "Colone;" #x02A74) 1921 | (h5-trie-insert trie "Equal;" #x02A75) 1922 | (h5-trie-insert trie "eDDot;" #x02A77) 1923 | (h5-trie-insert trie "ddotseq;" #x02A77) 1924 | (h5-trie-insert trie "equivDD;" #x02A78) 1925 | (h5-trie-insert trie "ltcir;" #x02A79) 1926 | (h5-trie-insert trie "gtcir;" #x02A7A) 1927 | (h5-trie-insert trie "ltquest;" #x02A7B) 1928 | (h5-trie-insert trie "gtquest;" #x02A7C) 1929 | (h5-trie-insert trie "les;" #x02A7D) 1930 | (h5-trie-insert trie "LessSlantEqual;" #x02A7D) 1931 | (h5-trie-insert trie "leqslant;" #x02A7D) 1932 | (h5-trie-insert trie "ges;" #x02A7E) 1933 | (h5-trie-insert trie "GreaterSlantEqual;" #x02A7E) 1934 | (h5-trie-insert trie "geqslant;" #x02A7E) 1935 | (h5-trie-insert trie "lesdot;" #x02A7F) 1936 | (h5-trie-insert trie "gesdot;" #x02A80) 1937 | (h5-trie-insert trie "lesdoto;" #x02A81) 1938 | (h5-trie-insert trie "gesdoto;" #x02A82) 1939 | (h5-trie-insert trie "lesdotor;" #x02A83) 1940 | (h5-trie-insert trie "gesdotol;" #x02A84) 1941 | (h5-trie-insert trie "lap;" #x02A85) 1942 | (h5-trie-insert trie "lessapprox;" #x02A85) 1943 | (h5-trie-insert trie "gap;" #x02A86) 1944 | (h5-trie-insert trie "gtrapprox;" #x02A86) 1945 | (h5-trie-insert trie "lne;" #x02A87) 1946 | (h5-trie-insert trie "lneq;" #x02A87) 1947 | (h5-trie-insert trie "gne;" #x02A88) 1948 | (h5-trie-insert trie "gneq;" #x02A88) 1949 | (h5-trie-insert trie "lnap;" #x02A89) 1950 | (h5-trie-insert trie "lnapprox;" #x02A89) 1951 | (h5-trie-insert trie "gnap;" #x02A8A) 1952 | (h5-trie-insert trie "gnapprox;" #x02A8A) 1953 | (h5-trie-insert trie "lEg;" #x02A8B) 1954 | (h5-trie-insert trie "lesseqqgtr;" #x02A8B) 1955 | (h5-trie-insert trie "gEl;" #x02A8C) 1956 | (h5-trie-insert trie "gtreqqless;" #x02A8C) 1957 | (h5-trie-insert trie "lsime;" #x02A8D) 1958 | (h5-trie-insert trie "gsime;" #x02A8E) 1959 | (h5-trie-insert trie "lsimg;" #x02A8F) 1960 | (h5-trie-insert trie "gsiml;" #x02A90) 1961 | (h5-trie-insert trie "lgE;" #x02A91) 1962 | (h5-trie-insert trie "glE;" #x02A92) 1963 | (h5-trie-insert trie "lesges;" #x02A93) 1964 | (h5-trie-insert trie "gesles;" #x02A94) 1965 | (h5-trie-insert trie "els;" #x02A95) 1966 | (h5-trie-insert trie "eqslantless;" #x02A95) 1967 | (h5-trie-insert trie "egs;" #x02A96) 1968 | (h5-trie-insert trie "eqslantgtr;" #x02A96) 1969 | (h5-trie-insert trie "elsdot;" #x02A97) 1970 | (h5-trie-insert trie "egsdot;" #x02A98) 1971 | (h5-trie-insert trie "el;" #x02A99) 1972 | (h5-trie-insert trie "eg;" #x02A9A) 1973 | (h5-trie-insert trie "siml;" #x02A9D) 1974 | (h5-trie-insert trie "simg;" #x02A9E) 1975 | (h5-trie-insert trie "simlE;" #x02A9F) 1976 | (h5-trie-insert trie "simgE;" #x02AA0) 1977 | (h5-trie-insert trie "LessLess;" #x02AA1) 1978 | (h5-trie-insert trie "GreaterGreater;" #x02AA2) 1979 | (h5-trie-insert trie "glj;" #x02AA4) 1980 | (h5-trie-insert trie "gla;" #x02AA5) 1981 | (h5-trie-insert trie "ltcc;" #x02AA6) 1982 | (h5-trie-insert trie "gtcc;" #x02AA7) 1983 | (h5-trie-insert trie "lescc;" #x02AA8) 1984 | (h5-trie-insert trie "gescc;" #x02AA9) 1985 | (h5-trie-insert trie "smt;" #x02AAA) 1986 | (h5-trie-insert trie "lat;" #x02AAB) 1987 | (h5-trie-insert trie "smte;" #x02AAC) 1988 | (h5-trie-insert trie "late;" #x02AAD) 1989 | (h5-trie-insert trie "bumpE;" #x02AAE) 1990 | (h5-trie-insert trie "pre;" #x02AAF) 1991 | (h5-trie-insert trie "preceq;" #x02AAF) 1992 | (h5-trie-insert trie "PrecedesEqual;" #x02AAF) 1993 | (h5-trie-insert trie "sce;" #x02AB0) 1994 | (h5-trie-insert trie "succeq;" #x02AB0) 1995 | (h5-trie-insert trie "SucceedsEqual;" #x02AB0) 1996 | (h5-trie-insert trie "prE;" #x02AB3) 1997 | (h5-trie-insert trie "scE;" #x02AB4) 1998 | (h5-trie-insert trie "prnE;" #x02AB5) 1999 | (h5-trie-insert trie "precneqq;" #x02AB5) 2000 | (h5-trie-insert trie "scnE;" #x02AB6) 2001 | (h5-trie-insert trie "succneqq;" #x02AB6) 2002 | (h5-trie-insert trie "prap;" #x02AB7) 2003 | (h5-trie-insert trie "precapprox;" #x02AB7) 2004 | (h5-trie-insert trie "scap;" #x02AB8) 2005 | (h5-trie-insert trie "succapprox;" #x02AB8) 2006 | (h5-trie-insert trie "prnap;" #x02AB9) 2007 | (h5-trie-insert trie "precnapprox;" #x02AB9) 2008 | (h5-trie-insert trie "scnap;" #x02ABA) 2009 | (h5-trie-insert trie "succnapprox;" #x02ABA) 2010 | (h5-trie-insert trie "Pr;" #x02ABB) 2011 | (h5-trie-insert trie "Sc;" #x02ABC) 2012 | (h5-trie-insert trie "subdot;" #x02ABD) 2013 | (h5-trie-insert trie "supdot;" #x02ABE) 2014 | (h5-trie-insert trie "subplus;" #x02ABF) 2015 | (h5-trie-insert trie "supplus;" #x02AC0) 2016 | (h5-trie-insert trie "submult;" #x02AC1) 2017 | (h5-trie-insert trie "supmult;" #x02AC2) 2018 | (h5-trie-insert trie "subedot;" #x02AC3) 2019 | (h5-trie-insert trie "supedot;" #x02AC4) 2020 | (h5-trie-insert trie "subE;" #x02AC5) 2021 | (h5-trie-insert trie "subseteqq;" #x02AC5) 2022 | (h5-trie-insert trie "supE;" #x02AC6) 2023 | (h5-trie-insert trie "supseteqq;" #x02AC6) 2024 | (h5-trie-insert trie "subsim;" #x02AC7) 2025 | (h5-trie-insert trie "supsim;" #x02AC8) 2026 | (h5-trie-insert trie "subnE;" #x02ACB) 2027 | (h5-trie-insert trie "subsetneqq;" #x02ACB) 2028 | (h5-trie-insert trie "supnE;" #x02ACC) 2029 | (h5-trie-insert trie "supsetneqq;" #x02ACC) 2030 | (h5-trie-insert trie "csub;" #x02ACF) 2031 | (h5-trie-insert trie "csup;" #x02AD0) 2032 | (h5-trie-insert trie "csube;" #x02AD1) 2033 | (h5-trie-insert trie "csupe;" #x02AD2) 2034 | (h5-trie-insert trie "subsup;" #x02AD3) 2035 | (h5-trie-insert trie "supsub;" #x02AD4) 2036 | (h5-trie-insert trie "subsub;" #x02AD5) 2037 | (h5-trie-insert trie "supsup;" #x02AD6) 2038 | (h5-trie-insert trie "suphsub;" #x02AD7) 2039 | (h5-trie-insert trie "supdsub;" #x02AD8) 2040 | (h5-trie-insert trie "forkv;" #x02AD9) 2041 | (h5-trie-insert trie "topfork;" #x02ADA) 2042 | (h5-trie-insert trie "mlcp;" #x02ADB) 2043 | (h5-trie-insert trie "Dashv;" #x02AE4) 2044 | (h5-trie-insert trie "DoubleLeftTee;" #x02AE4) 2045 | (h5-trie-insert trie "Vdashl;" #x02AE6) 2046 | (h5-trie-insert trie "Barv;" #x02AE7) 2047 | (h5-trie-insert trie "vBar;" #x02AE8) 2048 | (h5-trie-insert trie "vBarv;" #x02AE9) 2049 | (h5-trie-insert trie "Vbar;" #x02AEB) 2050 | (h5-trie-insert trie "Not;" #x02AEC) 2051 | (h5-trie-insert trie "bNot;" #x02AED) 2052 | (h5-trie-insert trie "rnmid;" #x02AEE) 2053 | (h5-trie-insert trie "cirmid;" #x02AEF) 2054 | (h5-trie-insert trie "midcir;" #x02AF0) 2055 | (h5-trie-insert trie "topcir;" #x02AF1) 2056 | (h5-trie-insert trie "nhpar;" #x02AF2) 2057 | (h5-trie-insert trie "parsim;" #x02AF3) 2058 | (h5-trie-insert trie "parsl;" #x02AFD) 2059 | (h5-trie-insert trie "fflig;" #x0FB00) 2060 | (h5-trie-insert trie "filig;" #x0FB01) 2061 | (h5-trie-insert trie "fllig;" #x0FB02) 2062 | (h5-trie-insert trie "ffilig;" #x0FB03) 2063 | (h5-trie-insert trie "ffllig;" #x0FB04) 2064 | (h5-trie-insert trie "Ascr;" #x1D49C) 2065 | (h5-trie-insert trie "Cscr;" #x1D49E) 2066 | (h5-trie-insert trie "Dscr;" #x1D49F) 2067 | (h5-trie-insert trie "Gscr;" #x1D4A2) 2068 | (h5-trie-insert trie "Jscr;" #x1D4A5) 2069 | (h5-trie-insert trie "Kscr;" #x1D4A6) 2070 | (h5-trie-insert trie "Nscr;" #x1D4A9) 2071 | (h5-trie-insert trie "Oscr;" #x1D4AA) 2072 | (h5-trie-insert trie "Pscr;" #x1D4AB) 2073 | (h5-trie-insert trie "Qscr;" #x1D4AC) 2074 | (h5-trie-insert trie "Sscr;" #x1D4AE) 2075 | (h5-trie-insert trie "Tscr;" #x1D4AF) 2076 | (h5-trie-insert trie "Uscr;" #x1D4B0) 2077 | (h5-trie-insert trie "Vscr;" #x1D4B1) 2078 | (h5-trie-insert trie "Wscr;" #x1D4B2) 2079 | (h5-trie-insert trie "Xscr;" #x1D4B3) 2080 | (h5-trie-insert trie "Yscr;" #x1D4B4) 2081 | (h5-trie-insert trie "Zscr;" #x1D4B5) 2082 | (h5-trie-insert trie "ascr;" #x1D4B6) 2083 | (h5-trie-insert trie "bscr;" #x1D4B7) 2084 | (h5-trie-insert trie "cscr;" #x1D4B8) 2085 | (h5-trie-insert trie "dscr;" #x1D4B9) 2086 | (h5-trie-insert trie "fscr;" #x1D4BB) 2087 | (h5-trie-insert trie "hscr;" #x1D4BD) 2088 | (h5-trie-insert trie "iscr;" #x1D4BE) 2089 | (h5-trie-insert trie "jscr;" #x1D4BF) 2090 | (h5-trie-insert trie "kscr;" #x1D4C0) 2091 | (h5-trie-insert trie "lscr;" #x1D4C1) 2092 | (h5-trie-insert trie "mscr;" #x1D4C2) 2093 | (h5-trie-insert trie "nscr;" #x1D4C3) 2094 | (h5-trie-insert trie "pscr;" #x1D4C5) 2095 | (h5-trie-insert trie "qscr;" #x1D4C6) 2096 | (h5-trie-insert trie "rscr;" #x1D4C7) 2097 | (h5-trie-insert trie "sscr;" #x1D4C8) 2098 | (h5-trie-insert trie "tscr;" #x1D4C9) 2099 | (h5-trie-insert trie "uscr;" #x1D4CA) 2100 | (h5-trie-insert trie "vscr;" #x1D4CB) 2101 | (h5-trie-insert trie "wscr;" #x1D4CC) 2102 | (h5-trie-insert trie "xscr;" #x1D4CD) 2103 | (h5-trie-insert trie "yscr;" #x1D4CE) 2104 | (h5-trie-insert trie "zscr;" #x1D4CF) 2105 | (h5-trie-insert trie "Afr;" #x1D504) 2106 | (h5-trie-insert trie "Bfr;" #x1D505) 2107 | (h5-trie-insert trie "Dfr;" #x1D507) 2108 | (h5-trie-insert trie "Efr;" #x1D508) 2109 | (h5-trie-insert trie "Ffr;" #x1D509) 2110 | (h5-trie-insert trie "Gfr;" #x1D50A) 2111 | (h5-trie-insert trie "Jfr;" #x1D50D) 2112 | (h5-trie-insert trie "Kfr;" #x1D50E) 2113 | (h5-trie-insert trie "Lfr;" #x1D50F) 2114 | (h5-trie-insert trie "Mfr;" #x1D510) 2115 | (h5-trie-insert trie "Nfr;" #x1D511) 2116 | (h5-trie-insert trie "Ofr;" #x1D512) 2117 | (h5-trie-insert trie "Pfr;" #x1D513) 2118 | (h5-trie-insert trie "Qfr;" #x1D514) 2119 | (h5-trie-insert trie "Sfr;" #x1D516) 2120 | (h5-trie-insert trie "Tfr;" #x1D517) 2121 | (h5-trie-insert trie "Ufr;" #x1D518) 2122 | (h5-trie-insert trie "Vfr;" #x1D519) 2123 | (h5-trie-insert trie "Wfr;" #x1D51A) 2124 | (h5-trie-insert trie "Xfr;" #x1D51B) 2125 | (h5-trie-insert trie "Yfr;" #x1D51C) 2126 | (h5-trie-insert trie "afr;" #x1D51E) 2127 | (h5-trie-insert trie "bfr;" #x1D51F) 2128 | (h5-trie-insert trie "cfr;" #x1D520) 2129 | (h5-trie-insert trie "dfr;" #x1D521) 2130 | (h5-trie-insert trie "efr;" #x1D522) 2131 | (h5-trie-insert trie "ffr;" #x1D523) 2132 | (h5-trie-insert trie "gfr;" #x1D524) 2133 | (h5-trie-insert trie "hfr;" #x1D525) 2134 | (h5-trie-insert trie "ifr;" #x1D526) 2135 | (h5-trie-insert trie "jfr;" #x1D527) 2136 | (h5-trie-insert trie "kfr;" #x1D528) 2137 | (h5-trie-insert trie "lfr;" #x1D529) 2138 | (h5-trie-insert trie "mfr;" #x1D52A) 2139 | (h5-trie-insert trie "nfr;" #x1D52B) 2140 | (h5-trie-insert trie "ofr;" #x1D52C) 2141 | (h5-trie-insert trie "pfr;" #x1D52D) 2142 | (h5-trie-insert trie "qfr;" #x1D52E) 2143 | (h5-trie-insert trie "rfr;" #x1D52F) 2144 | (h5-trie-insert trie "sfr;" #x1D530) 2145 | (h5-trie-insert trie "tfr;" #x1D531) 2146 | (h5-trie-insert trie "ufr;" #x1D532) 2147 | (h5-trie-insert trie "vfr;" #x1D533) 2148 | (h5-trie-insert trie "wfr;" #x1D534) 2149 | (h5-trie-insert trie "xfr;" #x1D535) 2150 | (h5-trie-insert trie "yfr;" #x1D536) 2151 | (h5-trie-insert trie "zfr;" #x1D537) 2152 | (h5-trie-insert trie "Aopf;" #x1D538) 2153 | (h5-trie-insert trie "Bopf;" #x1D539) 2154 | (h5-trie-insert trie "Dopf;" #x1D53B) 2155 | (h5-trie-insert trie "Eopf;" #x1D53C) 2156 | (h5-trie-insert trie "Fopf;" #x1D53D) 2157 | (h5-trie-insert trie "Gopf;" #x1D53E) 2158 | (h5-trie-insert trie "Iopf;" #x1D540) 2159 | (h5-trie-insert trie "Jopf;" #x1D541) 2160 | (h5-trie-insert trie "Kopf;" #x1D542) 2161 | (h5-trie-insert trie "Lopf;" #x1D543) 2162 | (h5-trie-insert trie "Mopf;" #x1D544) 2163 | (h5-trie-insert trie "Oopf;" #x1D546) 2164 | (h5-trie-insert trie "Sopf;" #x1D54A) 2165 | (h5-trie-insert trie "Topf;" #x1D54B) 2166 | (h5-trie-insert trie "Uopf;" #x1D54C) 2167 | (h5-trie-insert trie "Vopf;" #x1D54D) 2168 | (h5-trie-insert trie "Wopf;" #x1D54E) 2169 | (h5-trie-insert trie "Xopf;" #x1D54F) 2170 | (h5-trie-insert trie "Yopf;" #x1D550) 2171 | (h5-trie-insert trie "aopf;" #x1D552) 2172 | (h5-trie-insert trie "bopf;" #x1D553) 2173 | (h5-trie-insert trie "copf;" #x1D554) 2174 | (h5-trie-insert trie "dopf;" #x1D555) 2175 | (h5-trie-insert trie "eopf;" #x1D556) 2176 | (h5-trie-insert trie "fopf;" #x1D557) 2177 | (h5-trie-insert trie "gopf;" #x1D558) 2178 | (h5-trie-insert trie "hopf;" #x1D559) 2179 | (h5-trie-insert trie "iopf;" #x1D55A) 2180 | (h5-trie-insert trie "jopf;" #x1D55B) 2181 | (h5-trie-insert trie "kopf;" #x1D55C) 2182 | (h5-trie-insert trie "lopf;" #x1D55D) 2183 | (h5-trie-insert trie "mopf;" #x1D55E) 2184 | (h5-trie-insert trie "nopf;" #x1D55F) 2185 | (h5-trie-insert trie "oopf;" #x1D560) 2186 | (h5-trie-insert trie "popf;" #x1D561) 2187 | (h5-trie-insert trie "qopf;" #x1D562) 2188 | (h5-trie-insert trie "ropf;" #x1D563) 2189 | (h5-trie-insert trie "sopf;" #x1D564) 2190 | (h5-trie-insert trie "topf;" #x1D565) 2191 | (h5-trie-insert trie "uopf;" #x1D566) 2192 | (h5-trie-insert trie "vopf;" #x1D567) 2193 | (h5-trie-insert trie "wopf;" #x1D568) 2194 | (h5-trie-insert trie "xopf;" #x1D569) 2195 | (h5-trie-insert trie "yopf;" #x1D56A) 2196 | (h5-trie-insert trie "zopf;" #x1D56B) 2197 | trie) 2198 | "Alist mapping named character references to Unicode code points.") 2199 | 2200 | (provide 'html5-ncr) 2201 | ;;; html5-ncr.el ends here 2202 | 2203 | -------------------------------------------------------------------------------- /schemas.xml: -------------------------------------------------------------------------------- 1 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | -------------------------------------------------------------------------------- /tools/build-langs.py: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env python 2 | 3 | # Copyright (C) 2010 Edward O'Connor 4 | # 5 | # Permission is hereby granted, free of charge, to any person obtaining 6 | # a copy of this software and associated documentation files (the 7 | # "Software"), to deal in the Software without restriction, including 8 | # without limitation the rights to use, copy, modify, merge, publish, 9 | # distribute, sublicense, and/or sell copies of the Software, and to 10 | # permit persons to whom the Software is furnished to do so, subject to 11 | # the following conditions: 12 | # 13 | # The above copyright notice and this permission notice shall be 14 | # included in all copies or substantial portions of the Software. 15 | # 16 | # THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, 17 | # EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF 18 | # MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND 19 | # NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS 20 | # BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN 21 | # ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN 22 | # CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE 23 | # SOFTWARE. 24 | 25 | from __future__ import with_statement 26 | import re 27 | import sys 28 | 29 | matcher = re.compile(r"^(.*): (.*)$") 30 | 31 | header = """;;; html5-langs.el --- Language tags 32 | 33 | ;; A derivative work of the IANA language subtag registry, which, as far 34 | ;; as I can tell, is in the public domain. 35 | 36 | ;; Author: Edward O'Connor 37 | ;; Keywords: hypermedia, wp 38 | 39 | ;;; Commentary: 40 | 41 | ;; List of language tags. 42 | 43 | ;;; Code: 44 | 45 | (defvar html5-language-tags 46 | '(""" 47 | 48 | footer = """) 49 | "List of valid language tags, from the IANA registry.") 50 | 51 | (defvar html5-language-tag-re 52 | (regexp-opt html5-language-tags) 53 | "Regular expression matching valid language tags.") 54 | 55 | (provide 'html5-langs) 56 | ;;; html5-langs.el ends here 57 | """ 58 | 59 | # Parser states 60 | ST_IN_HEAD = 0 61 | ST_BOUNDARY = 1 62 | ST_IN_REC = 2 63 | 64 | def extract(files): 65 | print header 66 | for filename in files: 67 | f = open(filename) 68 | state = ST_IN_HEAD 69 | currentLang = None 70 | for line in f: 71 | matched = matcher.match(line) 72 | if line == "%%\n": 73 | state = ST_BOUNDARY 74 | if currentLang is not None: 75 | if 'Tag' in currentLang: 76 | print "\"%s\"" % currentLang['Tag'] 77 | if 'Subtag' in currentLang: 78 | print "\"%s\"" % currentLang['Subtag'] 79 | currentLang = {} 80 | elif matched: 81 | if state != ST_IN_HEAD: 82 | state = ST_IN_REC 83 | currentLang[matched.group(1)] = matched.group(2) 84 | f.close() 85 | print footer 86 | 87 | if __name__ == '__main__': 88 | extract(sys.argv[1:]) 89 | -------------------------------------------------------------------------------- /tools/build-ncr.py: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env python 2 | 3 | # Copyright (C) 2009, 2010 Edward O'Connor 4 | # 5 | # Permission is hereby granted, free of charge, to any person obtaining 6 | # a copy of this software and associated documentation files (the 7 | # "Software"), to deal in the Software without restriction, including 8 | # without limitation the rights to use, copy, modify, merge, publish, 9 | # distribute, sublicense, and/or sell copies of the Software, and to 10 | # permit persons to whom the Software is furnished to do so, subject to 11 | # the following conditions: 12 | # 13 | # The above copyright notice and this permission notice shall be 14 | # included in all copies or substantial portions of the Software. 15 | # 16 | # THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, 17 | # EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF 18 | # MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND 19 | # NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS 20 | # BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN 21 | # ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN 22 | # CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE 23 | # SOFTWARE. 24 | 25 | from __future__ import with_statement 26 | import re 27 | import sys 28 | 29 | # Tab; U+00009 30 | matcher = re.compile(r".*[>](.*)[<][/]code[>].*U[+]([0-9A-F]+).*") 31 | 32 | header = """;;; html5-ncr.el --- Named Character References in HTML5 33 | 34 | ;; Copyright (C) 2009, 2010 Edward O'Connor 35 | ;; A derivative work of the HTML5 specification, which is 36 | ;; Copyright (C) 2004-2009 Apple Computer, Inc., Mozilla Foundation, and 37 | ;; Opera Software ASA. 38 | 39 | ;; Author: Edward O'Connor 40 | ;; Keywords: hypermedia, wp 41 | 42 | ;; You are granted a license to use, reproduce and create 43 | ;; derivative works of this document. 44 | 45 | ;;; Commentary: 46 | 47 | ;; Table of named character entity references in HTML5. 48 | 49 | ;;; Code: 50 | 51 | (require 'cl) 52 | 53 | (defstruct h5-trie 54 | (code-point nil) 55 | (children nil)) 56 | 57 | (defun h5-trie-insert (trie str &optional code-point) 58 | (if (zerop (length str)) 59 | (setf (h5-trie-code-point trie) code-point) 60 | (let* ((char (elt str 0)) 61 | (child (gethash char (h5-trie-children trie)))) 62 | (unless child 63 | (setq child (make-h5-trie 64 | :code-point nil 65 | :children (make-hash-table :test 'eq))) 66 | (puthash char child (h5-trie-children trie))) 67 | (h5-trie-insert child (substring str 1) code-point)))) 68 | 69 | (defun h5-trie-member-p (trie str) 70 | (if (zerop (length str)) 71 | (h5-trie-code-point trie) 72 | (let* ((char (elt str 0)) 73 | (child (gethash char (h5-trie-children trie)))) 74 | (if child 75 | (h5-trie-member-p child (substring str 1)) 76 | nil)))) 77 | 78 | (defun h5-trie-subtrie (trie prefix) 79 | (if (zerop (length prefix)) 80 | trie 81 | (let* ((char (elt prefix 0)) 82 | (child (gethash char (h5-trie-children trie)))) 83 | (if child 84 | (h5-trie-subtrie child (substring prefix 1)) 85 | nil)))) 86 | 87 | (defvar html5-named-character-references 88 | (let ((trie (make-h5-trie :code-point nil 89 | :children (make-hash-table :test 'eq))))""" 90 | 91 | footer = """ trie) 92 | "Alist mapping named character references to Unicode code points.") 93 | 94 | (provide 'html5-ncr) 95 | ;;; html5-ncr.el ends here 96 | """ 97 | 98 | def extract(files): 99 | print header 100 | for filename in files: 101 | f = open(filename) 102 | for line in f: 103 | matched = matcher.match(line) 104 | if matched: 105 | print " (h5-trie-insert trie \"%s\" #x%s)" % (matched.group(1), matched.group(2)) 106 | f.close() 107 | print footer 108 | 109 | if __name__ == '__main__': 110 | extract(sys.argv[1:]) 111 | -------------------------------------------------------------------------------- /tools/extract-parsing-algorithm.py: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env python 2 | 3 | # Copyright (C) 2009 Edward O'Connor 4 | # 5 | # Permission is hereby granted, free of charge, to any person obtaining 6 | # a copy of this software and associated documentation files (the 7 | # "Software"), to deal in the Software without restriction, including 8 | # without limitation the rights to use, copy, modify, merge, publish, 9 | # distribute, sublicense, and/or sell copies of the Software, and to 10 | # permit persons to whom the Software is furnished to do so, subject to 11 | # the following conditions: 12 | # 13 | # The above copyright notice and this permission notice shall be 14 | # included in all copies or substantial portions of the Software. 15 | # 16 | # THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, 17 | # EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF 18 | # MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND 19 | # NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS 20 | # BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN 21 | # ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN 22 | # CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE 23 | # SOFTWARE. 24 | 25 | def extract(input, output): 26 | in_parsing_section = False 27 | print >> output, ";; -*- emacs-lisp -*-" 28 | for line in input: 29 | if 'h2 id="syntax"' in line: 30 | in_parsing_section = True 31 | if '

The XHTML syntax

' in line: 32 | in_parsing_section = False 33 | if in_parsing_section: 34 | print >> output, ";;%s" % line, 35 | 36 | if __name__ == '__main__': 37 | import sys 38 | extract(sys.stdin, sys.stdout) 39 | 40 | -------------------------------------------------------------------------------- /whattf-dt.el: -------------------------------------------------------------------------------- 1 | ;;; whattf-dt.el --- WHAT Task Force datatype library for Emacs Lisp 2 | 3 | ;; Copyright (C) 2009, 2010 Edward O'Connor 4 | 5 | ;; Author: Edward O'Connor 6 | ;; Keywords: hypermedia 7 | 8 | ;; Permission is hereby granted, free of charge, to any person obtaining 9 | ;; a copy of this software and associated documentation files (the 10 | ;; "Software"), to deal in the Software without restriction, including 11 | ;; without limitation the rights to use, copy, modify, merge, publish, 12 | ;; distribute, sublicense, and/or sell copies of the Software, and to 13 | ;; permit persons to whom the Software is furnished to do so, subject to 14 | ;; the following conditions: 15 | 16 | ;; The above copyright notice and this permission notice shall be 17 | ;; included in all copies or substantial portions of the Software. 18 | 19 | ;; THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, 20 | ;; EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF 21 | ;; MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND 22 | ;; NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS 23 | ;; BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN 24 | ;; ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN 25 | ;; CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE 26 | ;; SOFTWARE. 27 | 28 | ;;; Commentary: 29 | 30 | ;; Eventually, this file will contain elisp definitions for all of the 31 | ;; various WHATTF datatypes 32 | ;; . 33 | 34 | ;; For now, this file implements just a few datatypes, and provides a 35 | ;; dummy datatype validator for the rest of them. 36 | 37 | ;;; Code: 38 | 39 | (require 'html5-langs) 40 | 41 | (autoload 'rng-dt-error "rng-dt") 42 | 43 | (put 'http://whattf.org/datatype-draft 44 | 'rng-dt-compile 45 | 'whattf-dt-compile) 46 | 47 | (defun whattf-dt-integer-non-negative (n) 48 | (if (not (string-match "^[0-9]+$" n)) 49 | (rng-dt-error "Not a valid non-negative integer.") 50 | t)) 51 | 52 | (defun whattf-dt-browsing-context (str) 53 | (cond ((eq (length str) 0) 54 | (rng-dt-error "Browsing context name must be at least one character long.")) 55 | ((eq (substring str 0 1) "_") 56 | (rng-dt-error "Browsing context name started with an underscore.")) 57 | (t 58 | t))) 59 | 60 | (defun whattf-dt-browsing-context-or-keyword (str) 61 | (cond ((eq (length str) 0) 62 | (rng-dt-error "Browsing context name must be at least one character long.")) 63 | ((and (eq (substring str 0 1) "_") 64 | (not (member (substring str 1) '("blank" "self" "top" "parent")))) 65 | (rng-dt-error (format "Reserved keyword %s used." (substring str 1)))) 66 | (t 67 | t))) 68 | 69 | ;; Is this too restrictive? Should we be allowing things like 70 | ;; en-GB-x-Hixie? 71 | (defun whattf-dt-language (code) 72 | (let ((case-fold-search nil)) 73 | (if (not (string-match html5-language-tag-re code)) 74 | (rng-dt-error "Not a valid language code.") 75 | t))) 76 | 77 | (defun whattf-dt-keylabellist (keylabellist) 78 | (let* ((keylabels (sort (split-string keylabellist) 'string<)) 79 | (n (length keylabels))) 80 | (setq keylabels (delete-duplicates keylabels)) 81 | (if (< (length keylabels) n) 82 | (rng-dt-error "Duplicate key labels.") 83 | t))) 84 | 85 | (defun whattf-dt-zero (n) 86 | (if (not (string-match "^[0]+$" n)) 87 | (rng-dt-error "Not zero.") 88 | t)) 89 | 90 | (defun whattf-dt-compile (name params) 91 | "Provides WHAT Task Force datatypes as a RELAX NG datatypes library. 92 | NAME is a symbol giving the local name of the datatype. PARAMS is a list 93 | of pairs (PARAM-NAME . PARAM-VALUE) where PARAM-NAME is a symbol giving 94 | the name of the parameter and PARAM-VALUE is a string giving its value." 95 | (cond ((eq name 'browsing-context) '(t whattf-dt-browsing-context)) 96 | ((eq name 'browsing-context-or-keyword) '(t whattf-dt-browsing-context-or-keyword)) 97 | ((eq name 'integer-non-negative) '(nil whattf-dt-integer-non-negative)) 98 | ((eq name 'keylabellist) '(t whattf-dt-keylabellist)) 99 | ((eq name 'language) '(t whattf-dt-language)) 100 | ((eq name 'zero) '(t whattf-dt-zero)) 101 | ;; TODO: other datatypes below 102 | ((eq name 'circle) '(t identity)) 103 | ((eq name 'color) '(t identity)) 104 | ((eq name 'date) '(t identity)) 105 | ((eq name 'date-or-time) '(t identity)) 106 | ((eq name 'datetime-local) '(t identity)) 107 | ((eq name 'datetime-tz) '(t identity)) 108 | ((eq name 'email-address) '(t identity)) 109 | ((eq name 'email-address-list) '(t identity)) 110 | ((eq name 'float) '(t identity)) 111 | ((eq name 'float-non-negative) '(t identity)) 112 | ((eq name 'float-positive) '(t identity)) 113 | ((eq name 'hash-name) '(t identity)) 114 | ((eq name 'ID) '(t identity)) 115 | ((eq name 'IDREF) '(t identity)) 116 | ((eq name 'integer) '(t identity)) 117 | ((eq name 'integer-positive) '(t identity)) 118 | ((eq name 'iri) '(t identity)) 119 | ((eq name 'iri-ref) '(t identity)) 120 | ((eq name 'media-query) '(t identity)) 121 | ((eq name 'mime-type) '(t identity)) 122 | ((eq name 'mime-type-list) '(t identity)) 123 | ((eq name 'month) '(t identity)) 124 | ((eq name 'pattern) '(t identity)) 125 | ((eq name 'string) '(t identity)) 126 | ((eq name 'time) '(t identity)) 127 | ((eq name 'week) '(t identity)) 128 | (t ;; (rng-dt-error "Unknown datatype") 129 | '(t identity)))) 130 | 131 | (provide 'whattf-dt) 132 | ;;; whattf-dt.el ends here 133 | --------------------------------------------------------------------------------