diff --git a/tools/gen_latex_symbols.py b/tools/gen_latex_symbols.py
new file mode 100644
index 0000000..47c7155
--- /dev/null
+++ b/tools/gen_latex_symbols.py
@@ -0,0 +1,76 @@
+# coding: utf-8
+
+# This script autogenerates `IPython.core.latex_symbols.py`, which contains a
+# single dict , named `latex_symbols`. The keys in this dict are latex symbols,
+# such as `\\alpha` and the values in the dict are the unicode equivalents for
+# those. Most importantly, only unicode symbols that are valid identifers in
+# Python 3 are included. 
+
+# 
+# The original mapping of latex symbols to unicode comes from the `latex_symbols.jl` files from Julia.
+
+from __future__ import print_function
+
+# Import the Julia LaTeX symbols
+print('Importing latex_symbols.js from Julia...')
+import requests
+url = 'https://raw.githubusercontent.com/JuliaLang/julia/master/base/latex_symbols.jl'
+r = requests.get(url)
+
+
+# Build a list of key, value pairs
+print('Building a list of (latex, unicode) key-vaule pairs...')
+lines = r.text.splitlines()[60:]
+lines = [line for line in lines if '=>' in line]
+lines = [line.replace('=>',':') for line in lines]
+
+def line_to_tuple(line):
+    """Convert a single line of the .jl file to a 2-tuple of strings like ("\\alpha", "α")"""
+    kv = line.split(',')[0].split(':')
+#     kv = tuple(line.strip(', ').split(':'))
+    k, v = kv[0].strip(' "'), kv[1].strip(' "')
+#     if not test_ident(v):
+#         print(line)
+    return k, v
+
+assert line_to_tuple('    "\\sqrt" : "\u221A",') == ('\\sqrt', '\u221A')
+lines = [line_to_tuple(line) for line in lines]
+
+
+# Filter out non-valid identifiers
+print('Filtering out characters that are not valid Python 3 identifiers')
+
+def test_ident(i):
+    """Is the unicode string a valid Python 3 identifer."""
+    try:
+        exec('a%s = 10' % i, {}, {})
+    except SyntaxError:
+        return False
+    else:
+        return True
+
+assert test_ident("α")
+assert not test_ident('‴')
+
+valid_idents = [line for line in lines if test_ident(line[1])]
+
+
+# Write the `latex_symbols.py` module in the cwd
+
+s = """# encoding: utf-8
+
+# This file is autogenerated from the file:
+# https://raw.githubusercontent.com/JuliaLang/julia/master/base/latex_symbols.jl
+# This original list is filtered to remove any unicode characters that are not valid
+# Python identifiers.
+
+latex_symbols = {\n
+"""
+for line in valid_idents:
+    s += '    "%s" : "%s",\n' % (line[0], line[1])
+s += "}\n"
+
+with open('latex_symbols.py', 'w', encoding='utf-8') as f:
+    f.write(s)
+
+
diff --git a/tools/latex_symbols.ipynb b/tools/latex_symbols.ipynb
deleted file mode 100644
index 064514d..0000000
--- a/tools/latex_symbols.ipynb
+++ /dev/null
@@ -1,1466 +0,0 @@
-{
- "metadata": {
-  "kernelspec": {
-   "codemirror_mode": {
-    "name": "ipython",
-    "version": 3
-   },
-   "display_name": "IPython (Python 3)",
-   "language": "python",
-   "name": "python3"
-  },
-  "name": "",
-  "signature": "sha256:fbfaa2c259866ebc428fda817924cf94c4f689316195d3d51eb92ddc1985e192"
- },
- "nbformat": 3,
- "nbformat_minor": 0,
- "worksheets": [
-  {
-   "cells": [
-    {
-     "cell_type": "markdown",
-     "metadata": {},
-     "source": [
-      "This notebook builds a Python module that contains a single dict, named `latex_symbols`. The keys\n",
-      "in this dict are latex symbols, such as `\\\\alpha` and the values in the dict are the unicode\n",
-      "equivalents for those. Most importantly, only unicode symbols that are valid identifers in Python 3\n",
-      "are included. \n",
-      "\n",
-      "The original mapping of latex symbols to unicode comes from the `latex_symbols.jl` files from Julia."
-     ]
-    },
-    {
-     "cell_type": "heading",
-     "level": 2,
-     "metadata": {},
-     "source": [
-      "Import the Julia LaTeX symbols"
-     ]
-    },
-    {
-     "cell_type": "code",
-     "collapsed": false,
-     "input": [
-      "import requests"
-     ],
-     "language": "python",
-     "metadata": {},
-     "outputs": [],
-     "prompt_number": 1
-    },
-    {
-     "cell_type": "code",
-     "collapsed": false,
-     "input": [
-      "r = requests.get('https://raw.githubusercontent.com/JuliaLang/julia/master/base/latex_symbols.jl')"
-     ],
-     "language": "python",
-     "metadata": {},
-     "outputs": [],
-     "prompt_number": 2
-    },
-    {
-     "cell_type": "heading",
-     "level": 2,
-     "metadata": {},
-     "source": [
-      "Build a list of key, value pairs"
-     ]
-    },
-    {
-     "cell_type": "code",
-     "collapsed": false,
-     "input": [
-      "lines = r.text.splitlines()[60:]\n",
-      "lines = [line for line in lines if '=>' in line]\n",
-      "lines = [line.replace('=>',':') for line in lines]"
-     ],
-     "language": "python",
-     "metadata": {},
-     "outputs": [],
-     "prompt_number": 3
-    },
-    {
-     "cell_type": "code",
-     "collapsed": false,
-     "input": [
-      "def line_to_tuple(line):\n",
-      "    \"\"\"Convert a single line of the .jl file to a 2-tuple of strings like (\"\\\\alpha\", \"\u03b1\")\"\"\"\n",
-      "    kv = line.split(',')[0].split(':')\n",
-      "#     kv = tuple(line.strip(', ').split(':'))\n",
-      "    k, v = kv[0].strip(' \"'), kv[1].strip(' \"')\n",
-      "#     if not test_ident(v):\n",
-      "#         print(line)\n",
-      "    return k, v"
-     ],
-     "language": "python",
-     "metadata": {},
-     "outputs": [],
-     "prompt_number": 4
-    },
-    {
-     "cell_type": "code",
-     "collapsed": false,
-     "input": [
-      "assert line_to_tuple('    \"\\\\sqrt\" : \"\\u221A\",') == ('\\\\sqrt', '\\u221A')"
-     ],
-     "language": "python",
-     "metadata": {},
-     "outputs": [],
-     "prompt_number": 5
-    },
-    {
-     "cell_type": "code",
-     "collapsed": false,
-     "input": [
-      "lines = [line_to_tuple(line) for line in lines]"
-     ],
-     "language": "python",
-     "metadata": {},
-     "outputs": [],
-     "prompt_number": 6
-    },
-    {
-     "cell_type": "heading",
-     "level": 2,
-     "metadata": {},
-     "source": [
-      "Filter out entries that are not valid identifiers"
-     ]
-    },
-    {
-     "cell_type": "code",
-     "collapsed": false,
-     "input": [
-      "def test_ident(i):\n",
-      "    \"\"\"Is the unicode string a valid Python 3 identifer.\"\"\"\n",
-      "    try:\n",
-      "        exec('a%s = 10' % i, {}, {})\n",
-      "    except SyntaxError:\n",
-      "        return False\n",
-      "    else:\n",
-      "        return True"
-     ],
-     "language": "python",
-     "metadata": {},
-     "outputs": [],
-     "prompt_number": 7
-    },
-    {
-     "cell_type": "code",
-     "collapsed": false,
-     "input": [
-      "assert test_ident(\"\u03b1\")\n",
-      "assert not test_ident('\u2034')"
-     ],
-     "language": "python",
-     "metadata": {},
-     "outputs": [],
-     "prompt_number": 8
-    },
-    {
-     "cell_type": "code",
-     "collapsed": false,
-     "input": [
-      "for i, line in enumerate(lines):\n",
-      "    if not test_ident(line[1]):\n",
-      "        print(i, line, line[1])"
-     ],
-     "language": "python",
-     "metadata": {},
-     "outputs": [
-      {
-       "output_type": "stream",
-       "stream": "stdout",
-       "text": [
-        "0 ('\\\\\\\\sqrt', '\\\\u221A') \\u221A\n",
-        "1 ('\\\\\\\\cbrt', '\\\\u221B') \\u221B\n",
-        "2 ('\\\\\\\\female', '\u2640') \u2640\n",
-        "3 ('\\\\\\\\mars', '\u2642') \u2642\n",
-        "4 ('\\\\\\\\pprime', '\u2033') \u2033\n",
-        "5 ('\\\\\\\\ppprime', '\u2034') \u2034\n",
-        "6 ('\\\\\\\\pppprime', '\u2057') \u2057\n",
-        "7 ('\\\\\\\\backpprime', '\u2036') \u2036\n",
-        "8 ('\\\\\\\\backppprime', '\u2037') \u2037\n",
-        "9 ('\\\\\\\\^0', '\u2070') \u2070\n",
-        "10 ('\\\\\\\\^1', '\u00b9') \u00b9\n",
-        "11 ('\\\\\\\\^2', '\u00b2') \u00b2\n",
-        "12 ('\\\\\\\\^3', '\u00b3') \u00b3\n",
-        "13 ('\\\\\\\\^4', '\u2074') \u2074\n",
-        "14 ('\\\\\\\\^5', '\u2075') \u2075\n",
-        "15 ('\\\\\\\\^6', '\u2076') \u2076\n",
-        "16 ('\\\\\\\\^7', '\u2077') \u2077\n",
-        "17 ('\\\\\\\\^8', '\u2078') \u2078\n",
-        "18 ('\\\\\\\\^9', '\u2079') \u2079\n",
-        "19 ('\\\\\\\\^+', '\u207a') \u207a\n",
-        "20 ('\\\\\\\\^-', '\u207b') \u207b\n",
-        "21 ('\\\\\\\\^=', '\u207c') \u207c\n",
-        "22 ('\\\\\\\\^(', '\u207d') \u207d\n",
-        "23 ('\\\\\\\\^)', '\u207e') \u207e\n",
-        "78 ('\\\\\\\\_0', '\u2080') \u2080\n",
-        "79 ('\\\\\\\\_1', '\u2081') \u2081\n",
-        "80 ('\\\\\\\\_2', '\u2082') \u2082\n",
-        "81 ('\\\\\\\\_3', '\u2083') \u2083\n",
-        "82 ('\\\\\\\\_4', '\u2084') \u2084\n",
-        "83 ('\\\\\\\\_5', '\u2085') \u2085\n",
-        "84 ('\\\\\\\\_6', '\u2086') \u2086\n",
-        "85 ('\\\\\\\\_7', '\u2087') \u2087\n",
-        "86 ('\\\\\\\\_8', '\u2088') \u2088\n",
-        "87 ('\\\\\\\\_9', '\u2089') \u2089\n",
-        "88 ('\\\\\\\\_+', '\u208a') \u208a\n",
-        "89 ('\\\\\\\\_-', '\u208b') \u208b\n",
-        "90 ('\\\\\\\\_=', '\u208c') \u208c\n",
-        "91 ('\\\\\\\\_(', '\u208d') \u208d\n",
-        "92 ('\\\\\\\\_)', '\u208e') \u208e\n",
-        "117 ('\\\\\\\\del', '\u2207') \u2207\n",
-        "119 ('\\\\\\\\euro', '\u20ac') \u20ac\n",
-        "120 ('\\\\\\\\textexclamdown', '\u00a1') \u00a1\n",
-        "121 ('\\\\\\\\sterling', '\u00a3') \u00a3\n",
-        "122 ('\\\\\\\\yen', '\u00a5') \u00a5\n",
-        "123 ('\\\\\\\\textbrokenbar', '\u00a6') \u00a6\n",
-        "124 ('\\\\\\\\S', '\u00a7') \u00a7\n",
-        "125 ('\\\\\\\\textasciidieresis', '\u00a8') \u00a8\n",
-        "126 ('\\\\\\\\copyright', '\u00a9') \u00a9\n",
-        "128 ('\\\\\\\\neg', '\u00ac') \u00ac\n",
-        "129 ('\\\\\\\\circledR', '\u00ae') \u00ae\n",
-        "130 ('\\\\\\\\textasciimacron', '\u00af') \u00af\n",
-        "131 ('\\\\\\\\degree', '\u00b0') \u00b0\n",
-        "132 ('\\\\\\\\pm', '\u00b1') \u00b1\n",
-        "133 ('\\\\\\\\textasciiacute', '\u00b4') \u00b4\n",
-        "134 ('\\\\\\\\P', '\u00b6') \u00b6\n",
-        "137 ('\\\\\\\\textonequarter', '\u00bc') \u00bc\n",
-        "138 ('\\\\\\\\textonehalf', '\u00bd') \u00bd\n",
-        "139 ('\\\\\\\\textthreequarters', '\u00be') \u00be\n",
-        "140 ('\\\\\\\\textquestiondown', '\u00bf') \u00bf\n",
-        "144 ('\\\\\\\\times', '\u00d7') \u00d7\n",
-        "151 ('\\\\\\\\div', '\u00f7') \u00f7\n",
-        "214 ('\\\\\\\\Elzsbrhr', '\u02d2') \u02d2\n",
-        "215 ('\\\\\\\\Elzsblhr', '\u02d3') \u02d3\n",
-        "216 ('\\\\\\\\Elzrais', '\u02d4') \u02d4\n",
-        "217 ('\\\\\\\\Elzlow', '\u02d5') \u02d5\n",
-        "218 ('\\\\\\\\u', '\u02d8') \u02d8\n",
-        "219 ('\\\\\\\\texttildelow', '\u02dc') \u02dc\n",
-        "294 ('\\\\\\\\backepsilon', '\u03f6') \u03f6\n",
-        "295 ('\\\\\\\\enspace', '\\u2002') \u2002\n",
-        "296 ('\\\\\\\\quad', '\\u2003') \u2003\n",
-        "297 ('\\\\\\\\thickspace', '\\u2005') \u2005\n",
-        "298 ('\\\\\\\\thinspace', '\\u2009') \u2009\n",
-        "299 ('\\\\\\\\hspace', '\\u200a') \u200a\n",
-        "300 ('\\\\\\\\endash', '\u2013') \u2013\n",
-        "301 ('\\\\\\\\emdash', '\u2014') \u2014\n",
-        "302 ('\\\\\\\\Vert', '\u2016') \u2016\n",
-        "303 ('\\\\\\\\lq', '\u2018') \u2018\n",
-        "304 ('\\\\\\\\rq', '\u2019') \u2019\n",
-        "305 ('\\\\\\\\Elzreapos', '\u201b') \u201b\n",
-        "306 ('\\\\\\\\textquotedblleft', '\u201c') \u201c\n",
-        "307 ('\\\\\\\\textquotedblright', '\u201d') \u201d\n",
-        "308 ('\\\\\\\\dagger', '\u2020') \u2020\n",
-        "309 ('\\\\\\\\ddagger', '\u2021') \u2021\n",
-        "310 ('\\\\\\\\bullet', '\u2022') \u2022\n",
-        "311 ('\\\\\\\\dots', '\u2026') \u2026\n",
-        "312 ('\\\\\\\\textperthousand', '\u2030') \u2030\n",
-        "313 ('\\\\\\\\textpertenthousand', '\u2031') \u2031\n",
-        "314 ('\\\\\\\\prime', '\u2032') \u2032\n",
-        "315 ('\\\\\\\\backprime', '\u2035') \u2035\n",
-        "316 ('\\\\\\\\guilsinglleft', '\u2039') \u2039\n",
-        "317 ('\\\\\\\\guilsinglright', '\u203a') \u203a\n",
-        "318 ('\\\\\\\\nolinebreak', '\\\\u2060') \\u2060\n",
-        "319 ('\\\\\\\\Elzpes', '\u20a7') \u20a7\n",
-        "325 ('\\\\\\\\textnumero', '\u2116') \u2116\n",
-        "328 ('\\\\\\\\Elzxrat', '\u211e') \u211e\n",
-        "329 ('\\\\\\\\texttrademark', '\u2122') \u2122\n",
-        "330 ('\\\\\\\\mho', '\u2127') \u2127\n",
-        "336 ('\\\\\\\\bbsum', '\u2140') \u2140\n",
-        "337 ('\\\\\\\\Game', '\u2141') \u2141\n",
-        "338 ('\\\\\\\\leftarrow', '\u2190') \u2190\n",
-        "339 ('\\\\\\\\uparrow', '\u2191') \u2191\n",
-        "340 ('\\\\\\\\rightarrow', '\u2192') \u2192\n",
-        "341 ('\\\\\\\\downarrow', '\u2193') \u2193\n",
-        "342 ('\\\\\\\\leftrightarrow', '\u2194') \u2194\n",
-        "343 ('\\\\\\\\updownarrow', '\u2195') \u2195\n",
-        "344 ('\\\\\\\\nwarrow', '\u2196') \u2196\n",
-        "345 ('\\\\\\\\nearrow', '\u2197') \u2197\n",
-        "346 ('\\\\\\\\searrow', '\u2198') \u2198\n",
-        "347 ('\\\\\\\\swarrow', '\u2199') \u2199\n",
-        "348 ('\\\\\\\\nleftarrow', '\u219a') \u219a\n",
-        "349 ('\\\\\\\\nrightarrow', '\u219b') \u219b\n",
-        "350 ('\\\\\\\\leftsquigarrow', '\u219c') \u219c\n",
-        "351 ('\\\\\\\\rightsquigarrow', '\u219d') \u219d\n",
-        "352 ('\\\\\\\\twoheadleftarrow', '\u219e') \u219e\n",
-        "353 ('\\\\\\\\twoheadrightarrow', '\u21a0') \u21a0\n",
-        "354 ('\\\\\\\\leftarrowtail', '\u21a2') \u21a2\n",
-        "355 ('\\\\\\\\rightarrowtail', '\u21a3') \u21a3\n",
-        "356 ('\\\\\\\\mapsto', '\u21a6') \u21a6\n",
-        "357 ('\\\\\\\\hookleftarrow', '\u21a9') \u21a9\n",
-        "358 ('\\\\\\\\hookrightarrow', '\u21aa') \u21aa\n",
-        "359 ('\\\\\\\\looparrowleft', '\u21ab') \u21ab\n",
-        "360 ('\\\\\\\\looparrowright', '\u21ac') \u21ac\n",
-        "361 ('\\\\\\\\leftrightsquigarrow', '\u21ad') \u21ad\n",
-        "362 ('\\\\\\\\nleftrightarrow', '\u21ae') \u21ae\n",
-        "363 ('\\\\\\\\Lsh', '\u21b0') \u21b0\n",
-        "364 ('\\\\\\\\Rsh', '\u21b1') \u21b1\n",
-        "365 ('\\\\\\\\curvearrowleft', '\u21b6') \u21b6\n",
-        "366 ('\\\\\\\\curvearrowright', '\u21b7') \u21b7\n",
-        "367 ('\\\\\\\\circlearrowleft', '\u21ba') \u21ba\n",
-        "368 ('\\\\\\\\circlearrowright', '\u21bb') \u21bb\n",
-        "369 ('\\\\\\\\leftharpoonup', '\u21bc') \u21bc\n",
-        "370 ('\\\\\\\\leftharpoondown', '\u21bd') \u21bd\n",
-        "371 ('\\\\\\\\upharpoonleft', '\u21be') \u21be\n",
-        "372 ('\\\\\\\\upharpoonright', '\u21bf') \u21bf\n",
-        "373 ('\\\\\\\\rightharpoonup', '\u21c0') \u21c0\n",
-        "374 ('\\\\\\\\rightharpoondown', '\u21c1') \u21c1\n",
-        "375 ('\\\\\\\\downharpoonright', '\u21c2') \u21c2\n",
-        "376 ('\\\\\\\\downharpoonleft', '\u21c3') \u21c3\n",
-        "377 ('\\\\\\\\rightleftarrows', '\u21c4') \u21c4\n",
-        "378 ('\\\\\\\\dblarrowupdown', '\u21c5') \u21c5\n",
-        "379 ('\\\\\\\\leftrightarrows', '\u21c6') \u21c6\n",
-        "380 ('\\\\\\\\leftleftarrows', '\u21c7') \u21c7\n",
-        "381 ('\\\\\\\\upuparrows', '\u21c8') \u21c8\n",
-        "382 ('\\\\\\\\rightrightarrows', '\u21c9') \u21c9\n",
-        "383 ('\\\\\\\\downdownarrows', '\u21ca') \u21ca\n",
-        "384 ('\\\\\\\\leftrightharpoons', '\u21cb') \u21cb\n",
-        "385 ('\\\\\\\\rightleftharpoons', '\u21cc') \u21cc\n",
-        "386 ('\\\\\\\\nLeftarrow', '\u21cd') \u21cd\n",
-        "387 ('\\\\\\\\nRightarrow', '\u21cf') \u21cf\n",
-        "388 ('\\\\\\\\Leftarrow', '\u21d0') \u21d0\n",
-        "389 ('\\\\\\\\Uparrow', '\u21d1') \u21d1\n",
-        "390 ('\\\\\\\\Rightarrow', '\u21d2') \u21d2\n",
-        "391 ('\\\\\\\\Downarrow', '\u21d3') \u21d3\n",
-        "392 ('\\\\\\\\Leftrightarrow', '\u21d4') \u21d4\n",
-        "393 ('\\\\\\\\Updownarrow', '\u21d5') \u21d5\n",
-        "394 ('\\\\\\\\Lleftarrow', '\u21da') \u21da\n",
-        "395 ('\\\\\\\\Rrightarrow', '\u21db') \u21db\n",
-        "396 ('\\\\\\\\DownArrowUpArrow', '\u21f5') \u21f5\n",
-        "397 ('\\\\\\\\leftarrowtriangle', '\u21fd') \u21fd\n",
-        "398 ('\\\\\\\\rightarrowtriangle', '\u21fe') \u21fe\n",
-        "399 ('\\\\\\\\forall', '\u2200') \u2200\n",
-        "400 ('\\\\\\\\complement', '\u2201') \u2201\n",
-        "401 ('\\\\\\\\partial', '\u2202') \u2202\n",
-        "402 ('\\\\\\\\exists', '\u2203') \u2203\n",
-        "403 ('\\\\\\\\nexists', '\u2204') \u2204\n",
-        "404 ('\\\\\\\\varnothing', '\u2205') \u2205\n",
-        "405 ('\\\\\\\\nabla', '\u2207') \u2207\n",
-        "406 ('\\\\\\\\in', '\u2208') \u2208\n",
-        "407 ('\\\\\\\\notin', '\u2209') \u2209\n",
-        "408 ('\\\\\\\\ni', '\u220b') \u220b\n",
-        "409 ('\\\\\\\\prod', '\u220f') \u220f\n",
-        "410 ('\\\\\\\\coprod', '\u2210') \u2210\n",
-        "411 ('\\\\\\\\sum', '\u2211') \u2211\n",
-        "412 ('\\\\\\\\minus', '\u2212') \u2212\n",
-        "413 ('\\\\\\\\mp', '\u2213') \u2213\n",
-        "414 ('\\\\\\\\dotplus', '\u2214') \u2214\n",
-        "415 ('\\\\\\\\setminus', '\u2216') \u2216\n",
-        "416 ('\\\\\\\\ast', '\u2217') \u2217\n",
-        "417 ('\\\\\\\\circ', '\u2218') \u2218\n",
-        "418 ('\\\\\\\\surd', '\u221a') \u221a\n",
-        "419 ('\\\\\\\\propto', '\u221d') \u221d\n",
-        "420 ('\\\\\\\\infty', '\u221e') \u221e\n",
-        "421 ('\\\\\\\\rightangle', '\u221f') \u221f\n",
-        "422 ('\\\\\\\\angle', '\u2220') \u2220\n",
-        "423 ('\\\\\\\\measuredangle', '\u2221') \u2221\n",
-        "424 ('\\\\\\\\sphericalangle', '\u2222') \u2222\n",
-        "425 ('\\\\\\\\mid', '\u2223') \u2223\n",
-        "426 ('\\\\\\\\nmid', '\u2224') \u2224\n",
-        "427 ('\\\\\\\\parallel', '\u2225') \u2225\n",
-        "428 ('\\\\\\\\nparallel', '\u2226') \u2226\n",
-        "429 ('\\\\\\\\wedge', '\u2227') \u2227\n",
-        "430 ('\\\\\\\\vee', '\u2228') \u2228\n",
-        "431 ('\\\\\\\\cap', '\u2229') \u2229\n",
-        "432 ('\\\\\\\\cup', '\u222a') \u222a\n",
-        "433 ('\\\\\\\\int', '\u222b') \u222b\n",
-        "434 ('\\\\\\\\iint', '\u222c') \u222c\n",
-        "435 ('\\\\\\\\iiint', '\u222d') \u222d\n",
-        "436 ('\\\\\\\\oint', '\u222e') \u222e\n",
-        "437 ('\\\\\\\\oiint', '\u222f') \u222f\n",
-        "438 ('\\\\\\\\oiiint', '\u2230') \u2230\n",
-        "439 ('\\\\\\\\clwintegral', '\u2231') \u2231\n",
-        "440 ('\\\\\\\\therefore', '\u2234') \u2234\n",
-        "441 ('\\\\\\\\because', '\u2235') \u2235\n",
-        "442 ('\\\\\\\\Colon', '\u2237') \u2237\n",
-        "443 ('\\\\\\\\dotminus', '\u2238') \u2238\n",
-        "444 ('\\\\\\\\kernelcontraction', '\u223b') \u223b\n",
-        "445 ('\\\\\\\\sim', '\u223c') \u223c\n",
-        "446 ('\\\\\\\\backsim', '\u223d') \u223d\n",
-        "447 ('\\\\\\\\lazysinv', '\u223e') \u223e\n",
-        "448 ('\\\\\\\\wr', '\u2240') \u2240\n",
-        "449 ('\\\\\\\\nsim', '\u2241') \u2241\n",
-        "450 ('\\\\\\\\eqsim', '\u2242') \u2242\n",
-        "451 ('\\\\\\\\neqsim', '\u2242\u0338') \u2242\u0338\n",
-        "452 ('\\\\\\\\simeq', '\u2243') \u2243\n",
-        "453 ('\\\\\\\\nsime', '\u2244') \u2244\n",
-        "454 ('\\\\\\\\cong', '\u2245') \u2245\n",
-        "455 ('\\\\\\\\approxnotequal', '\u2246') \u2246\n",
-        "456 ('\\\\\\\\ncong', '\u2247') \u2247\n",
-        "457 ('\\\\\\\\approx', '\u2248') \u2248\n",
-        "458 ('\\\\\\\\napprox', '\u2249') \u2249\n",
-        "459 ('\\\\\\\\approxeq', '\u224a') \u224a\n",
-        "460 ('\\\\\\\\tildetrpl', '\u224b') \u224b\n",
-        "461 ('\\\\\\\\allequal', '\u224c') \u224c\n",
-        "462 ('\\\\\\\\asymp', '\u224d') \u224d\n",
-        "463 ('\\\\\\\\Bumpeq', '\u224e') \u224e\n",
-        "464 ('\\\\\\\\nBumpeq', '\u224e\u0338') \u224e\u0338\n",
-        "465 ('\\\\\\\\bumpeq', '\u224f') \u224f\n",
-        "466 ('\\\\\\\\nbumpeq', '\u224f\u0338') \u224f\u0338\n",
-        "467 ('\\\\\\\\doteq', '\u2250') \u2250\n",
-        "468 ('\\\\\\\\Doteq', '\u2251') \u2251\n",
-        "469 ('\\\\\\\\fallingdotseq', '\u2252') \u2252\n",
-        "470 ('\\\\\\\\risingdotseq', '\u2253') \u2253\n",
-        "471 ('\\\\\\\\coloneq', '\u2254') \u2254\n",
-        "472 ('\\\\\\\\eqcolon', '\u2255') \u2255\n",
-        "473 ('\\\\\\\\eqcirc', '\u2256') \u2256\n",
-        "474 ('\\\\\\\\circeq', '\u2257') \u2257\n",
-        "475 ('\\\\\\\\wedgeq', '\u2259') \u2259\n",
-        "476 ('\\\\\\\\starequal', '\u225b') \u225b\n",
-        "477 ('\\\\\\\\triangleq', '\u225c') \u225c\n",
-        "478 ('\\\\\\\\questeq', '\u225f') \u225f\n",
-        "479 ('\\\\\\\\ne', '\u2260') \u2260\n",
-        "480 ('\\\\\\\\equiv', '\u2261') \u2261\n",
-        "481 ('\\\\\\\\nequiv', '\u2262') \u2262\n",
-        "482 ('\\\\\\\\le', '\u2264') \u2264\n",
-        "483 ('\\\\\\\\ge', '\u2265') \u2265\n",
-        "484 ('\\\\\\\\leqq', '\u2266') \u2266\n",
-        "485 ('\\\\\\\\geqq', '\u2267') \u2267\n",
-        "486 ('\\\\\\\\lneqq', '\u2268') \u2268\n",
-        "487 ('\\\\\\\\lvertneqq', '\u2268\ufe00') \u2268\ufe00\n",
-        "488 ('\\\\\\\\gneqq', '\u2269') \u2269\n",
-        "489 ('\\\\\\\\gvertneqq', '\u2269\ufe00') \u2269\ufe00\n",
-        "490 ('\\\\\\\\ll', '\u226a') \u226a\n",
-        "491 ('\\\\\\\\NotLessLess', '\u226a\u0338') \u226a\u0338\n",
-        "492 ('\\\\\\\\gg', '\u226b') \u226b\n",
-        "493 ('\\\\\\\\NotGreaterGreater', '\u226b\u0338') \u226b\u0338\n",
-        "494 ('\\\\\\\\between', '\u226c') \u226c\n",
-        "495 ('\\\\\\\\nless', '\u226e') \u226e\n",
-        "496 ('\\\\\\\\ngtr', '\u226f') \u226f\n",
-        "497 ('\\\\\\\\nleq', '\u2270') \u2270\n",
-        "498 ('\\\\\\\\ngeq', '\u2271') \u2271\n",
-        "499 ('\\\\\\\\lesssim', '\u2272') \u2272\n",
-        "500 ('\\\\\\\\gtrsim', '\u2273') \u2273\n",
-        "501 ('\\\\\\\\lessgtr', '\u2276') \u2276\n",
-        "502 ('\\\\\\\\gtrless', '\u2277') \u2277\n",
-        "503 ('\\\\\\\\notlessgreater', '\u2278') \u2278\n",
-        "504 ('\\\\\\\\notgreaterless', '\u2279') \u2279\n",
-        "505 ('\\\\\\\\prec', '\u227a') \u227a\n",
-        "506 ('\\\\\\\\succ', '\u227b') \u227b\n",
-        "507 ('\\\\\\\\preccurlyeq', '\u227c') \u227c\n",
-        "508 ('\\\\\\\\succcurlyeq', '\u227d') \u227d\n",
-        "509 ('\\\\\\\\precsim', '\u227e') \u227e\n",
-        "510 ('\\\\\\\\nprecsim', '\u227e\u0338') \u227e\u0338\n",
-        "511 ('\\\\\\\\succsim', '\u227f') \u227f\n",
-        "512 ('\\\\\\\\nsuccsim', '\u227f\u0338') \u227f\u0338\n",
-        "513 ('\\\\\\\\nprec', '\u2280') \u2280\n",
-        "514 ('\\\\\\\\nsucc', '\u2281') \u2281\n",
-        "515 ('\\\\\\\\subset', '\u2282') \u2282\n",
-        "516 ('\\\\\\\\supset', '\u2283') \u2283\n",
-        "517 ('\\\\\\\\nsubset', '\u2284') \u2284\n",
-        "518 ('\\\\\\\\nsupset', '\u2285') \u2285\n",
-        "519 ('\\\\\\\\subseteq', '\u2286') \u2286\n",
-        "520 ('\\\\\\\\supseteq', '\u2287') \u2287\n",
-        "521 ('\\\\\\\\nsubseteq', '\u2288') \u2288\n",
-        "522 ('\\\\\\\\nsupseteq', '\u2289') \u2289\n",
-        "523 ('\\\\\\\\subsetneq', '\u228a') \u228a\n",
-        "524 ('\\\\\\\\varsubsetneqq', '\u228a\ufe00') \u228a\ufe00\n",
-        "525 ('\\\\\\\\supsetneq', '\u228b') \u228b\n",
-        "526 ('\\\\\\\\varsupsetneq', '\u228b\ufe00') \u228b\ufe00\n",
-        "527 ('\\\\\\\\cupdot', '\u228d') \u228d\n",
-        "528 ('\\\\\\\\uplus', '\u228e') \u228e\n",
-        "529 ('\\\\\\\\sqsubset', '\u228f') \u228f\n",
-        "530 ('\\\\\\\\NotSquareSubset', '\u228f\u0338') \u228f\u0338\n",
-        "531 ('\\\\\\\\sqsupset', '\u2290') \u2290\n",
-        "532 ('\\\\\\\\NotSquareSuperset', '\u2290\u0338') \u2290\u0338\n",
-        "533 ('\\\\\\\\sqsubseteq', '\u2291') \u2291\n",
-        "534 ('\\\\\\\\sqsupseteq', '\u2292') \u2292\n",
-        "535 ('\\\\\\\\sqcap', '\u2293') \u2293\n",
-        "536 ('\\\\\\\\sqcup', '\u2294') \u2294\n",
-        "537 ('\\\\\\\\oplus', '\u2295') \u2295\n",
-        "538 ('\\\\\\\\ominus', '\u2296') \u2296\n",
-        "539 ('\\\\\\\\otimes', '\u2297') \u2297\n",
-        "540 ('\\\\\\\\oslash', '\u2298') \u2298\n",
-        "541 ('\\\\\\\\odot', '\u2299') \u2299\n",
-        "542 ('\\\\\\\\circledcirc', '\u229a') \u229a\n",
-        "543 ('\\\\\\\\circledast', '\u229b') \u229b\n",
-        "544 ('\\\\\\\\circleddash', '\u229d') \u229d\n",
-        "545 ('\\\\\\\\boxplus', '\u229e') \u229e\n",
-        "546 ('\\\\\\\\boxminus', '\u229f') \u229f\n",
-        "547 ('\\\\\\\\boxtimes', '\u22a0') \u22a0\n",
-        "548 ('\\\\\\\\boxdot', '\u22a1') \u22a1\n",
-        "549 ('\\\\\\\\vdash', '\u22a2') \u22a2\n",
-        "550 ('\\\\\\\\dashv', '\u22a3') \u22a3\n",
-        "551 ('\\\\\\\\top', '\u22a4') \u22a4\n",
-        "552 ('\\\\\\\\perp', '\u22a5') \u22a5\n",
-        "553 ('\\\\\\\\models', '\u22a7') \u22a7\n",
-        "554 ('\\\\\\\\vDash', '\u22a8') \u22a8\n",
-        "555 ('\\\\\\\\Vdash', '\u22a9') \u22a9\n",
-        "556 ('\\\\\\\\Vvdash', '\u22aa') \u22aa\n",
-        "557 ('\\\\\\\\VDash', '\u22ab') \u22ab\n",
-        "558 ('\\\\\\\\nvdash', '\u22ac') \u22ac\n",
-        "559 ('\\\\\\\\nvDash', '\u22ad') \u22ad\n",
-        "560 ('\\\\\\\\nVdash', '\u22ae') \u22ae\n",
-        "561 ('\\\\\\\\nVDash', '\u22af') \u22af\n",
-        "562 ('\\\\\\\\vartriangleleft', '\u22b2') \u22b2\n",
-        "563 ('\\\\\\\\vartriangleright', '\u22b3') \u22b3\n",
-        "564 ('\\\\\\\\trianglelefteq', '\u22b4') \u22b4\n",
-        "565 ('\\\\\\\\trianglerighteq', '\u22b5') \u22b5\n",
-        "566 ('\\\\\\\\original', '\u22b6') \u22b6\n",
-        "567 ('\\\\\\\\image', '\u22b7') \u22b7\n",
-        "568 ('\\\\\\\\multimap', '\u22b8') \u22b8\n",
-        "569 ('\\\\\\\\hermitconjmatrix', '\u22b9') \u22b9\n",
-        "570 ('\\\\\\\\intercal', '\u22ba') \u22ba\n",
-        "571 ('\\\\\\\\veebar', '\u22bb') \u22bb\n",
-        "572 ('\\\\\\\\rightanglearc', '\u22be') \u22be\n",
-        "573 ('\\\\\\\\bigwedge', '\u22c0') \u22c0\n",
-        "574 ('\\\\\\\\bigvee', '\u22c1') \u22c1\n",
-        "575 ('\\\\\\\\bigcap', '\u22c2') \u22c2\n",
-        "576 ('\\\\\\\\bigcup', '\u22c3') \u22c3\n",
-        "577 ('\\\\\\\\diamond', '\u22c4') \u22c4\n",
-        "578 ('\\\\\\\\cdot', '\u22c5') \u22c5\n",
-        "579 ('\\\\\\\\star', '\u22c6') \u22c6\n",
-        "580 ('\\\\\\\\divideontimes', '\u22c7') \u22c7\n",
-        "581 ('\\\\\\\\bowtie', '\u22c8') \u22c8\n",
-        "582 ('\\\\\\\\ltimes', '\u22c9') \u22c9\n",
-        "583 ('\\\\\\\\rtimes', '\u22ca') \u22ca\n",
-        "584 ('\\\\\\\\leftthreetimes', '\u22cb') \u22cb\n",
-        "585 ('\\\\\\\\rightthreetimes', '\u22cc') \u22cc\n",
-        "586 ('\\\\\\\\backsimeq', '\u22cd') \u22cd\n",
-        "587 ('\\\\\\\\curlyvee', '\u22ce') \u22ce\n",
-        "588 ('\\\\\\\\curlywedge', '\u22cf') \u22cf\n",
-        "589 ('\\\\\\\\Subset', '\u22d0') \u22d0\n",
-        "590 ('\\\\\\\\Supset', '\u22d1') \u22d1\n",
-        "591 ('\\\\\\\\Cap', '\u22d2') \u22d2\n",
-        "592 ('\\\\\\\\Cup', '\u22d3') \u22d3\n",
-        "593 ('\\\\\\\\pitchfork', '\u22d4') \u22d4\n",
-        "594 ('\\\\\\\\lessdot', '\u22d6') \u22d6\n",
-        "595 ('\\\\\\\\gtrdot', '\u22d7') \u22d7\n",
-        "596 ('\\\\\\\\verymuchless', '\u22d8') \u22d8\n",
-        "597 ('\\\\\\\\ggg', '\u22d9') \u22d9\n",
-        "598 ('\\\\\\\\lesseqgtr', '\u22da') \u22da\n",
-        "599 ('\\\\\\\\gtreqless', '\u22db') \u22db\n",
-        "600 ('\\\\\\\\curlyeqprec', '\u22de') \u22de\n",
-        "601 ('\\\\\\\\curlyeqsucc', '\u22df') \u22df\n",
-        "602 ('\\\\\\\\Elzsqspne', '\u22e5') \u22e5\n",
-        "603 ('\\\\\\\\lnsim', '\u22e6') \u22e6\n",
-        "604 ('\\\\\\\\gnsim', '\u22e7') \u22e7\n",
-        "605 ('\\\\\\\\precnsim', '\u22e8') \u22e8\n",
-        "606 ('\\\\\\\\succnsim', '\u22e9') \u22e9\n",
-        "607 ('\\\\\\\\ntriangleleft', '\u22ea') \u22ea\n",
-        "608 ('\\\\\\\\ntriangleright', '\u22eb') \u22eb\n",
-        "609 ('\\\\\\\\ntrianglelefteq', '\u22ec') \u22ec\n",
-        "610 ('\\\\\\\\ntrianglerighteq', '\u22ed') \u22ed\n",
-        "611 ('\\\\\\\\vdots', '\u22ee') \u22ee\n",
-        "612 ('\\\\\\\\cdots', '\u22ef') \u22ef\n",
-        "613 ('\\\\\\\\adots', '\u22f0') \u22f0\n",
-        "614 ('\\\\\\\\ddots', '\u22f1') \u22f1\n",
-        "615 ('\\\\\\\\barwedge', '\u2305') \u2305\n",
-        "616 ('\\\\\\\\lceil', '\u2308') \u2308\n",
-        "617 ('\\\\\\\\rceil', '\u2309') \u2309\n",
-        "618 ('\\\\\\\\lfloor', '\u230a') \u230a\n",
-        "619 ('\\\\\\\\rfloor', '\u230b') \u230b\n",
-        "620 ('\\\\\\\\recorder', '\u2315') \u2315\n",
-        "621 ('\\\\\\\\ulcorner', '\u231c') \u231c\n",
-        "622 ('\\\\\\\\urcorner', '\u231d') \u231d\n",
-        "623 ('\\\\\\\\llcorner', '\u231e') \u231e\n",
-        "624 ('\\\\\\\\lrcorner', '\u231f') \u231f\n",
-        "625 ('\\\\\\\\frown', '\u2322') \u2322\n",
-        "626 ('\\\\\\\\smile', '\u2323') \u2323\n",
-        "627 ('\\\\\\\\langle', '\u27e8') \u27e8\n",
-        "628 ('\\\\\\\\rangle', '\u27e9') \u27e9\n",
-        "629 ('\\\\\\\\obar', '\u233d') \u233d\n",
-        "630 ('\\\\\\\\Elzdlcorn', '\u23a3') \u23a3\n",
-        "631 ('\\\\\\\\lmoustache', '\u23b0') \u23b0\n",
-        "632 ('\\\\\\\\rmoustache', '\u23b1') \u23b1\n",
-        "633 ('\\\\\\\\textvisiblespace', '\u2423') \u2423\n",
-        "634 ('\\\\\\\\circledS', '\u24c8') \u24c8\n",
-        "635 ('\\\\\\\\Elzdshfnc', '\u2506') \u2506\n",
-        "636 ('\\\\\\\\Elzsqfnw', '\u2519') \u2519\n",
-        "637 ('\\\\\\\\diagup', '\u2571') \u2571\n",
-        "638 ('\\\\\\\\diagdown', '\u2572') \u2572\n",
-        "639 ('\\\\\\\\blacksquare', '\u25a0') \u25a0\n",
-        "640 ('\\\\\\\\square', '\u25a1') \u25a1\n",
-        "641 ('\\\\\\\\Elzvrecto', '\u25af') \u25af\n",
-        "642 ('\\\\\\\\bigtriangleup', '\u25b3') \u25b3\n",
-        "643 ('\\\\\\\\blacktriangle', '\u25b4') \u25b4\n",
-        "644 ('\\\\\\\\vartriangle', '\u25b5') \u25b5\n",
-        "645 ('\\\\\\\\blacktriangleright', '\u25b8') \u25b8\n",
-        "646 ('\\\\\\\\triangleright', '\u25b9') \u25b9\n",
-        "647 ('\\\\\\\\bigtriangledown', '\u25bd') \u25bd\n",
-        "648 ('\\\\\\\\blacktriangledown', '\u25be') \u25be\n",
-        "649 ('\\\\\\\\triangledown', '\u25bf') \u25bf\n",
-        "650 ('\\\\\\\\blacktriangleleft', '\u25c2') \u25c2\n",
-        "651 ('\\\\\\\\triangleleft', '\u25c3') \u25c3\n",
-        "652 ('\\\\\\\\lozenge', '\u25ca') \u25ca\n",
-        "653 ('\\\\\\\\bigcirc', '\u25cb') \u25cb\n",
-        "654 ('\\\\\\\\Elzcirfl', '\u25d0') \u25d0\n",
-        "655 ('\\\\\\\\Elzcirfr', '\u25d1') \u25d1\n",
-        "656 ('\\\\\\\\Elzcirfb', '\u25d2') \u25d2\n",
-        "657 ('\\\\\\\\Elzrvbull', '\u25d8') \u25d8\n",
-        "658 ('\\\\\\\\Elzsqfl', '\u25e7') \u25e7\n",
-        "659 ('\\\\\\\\Elzsqfr', '\u25e8') \u25e8\n",
-        "660 ('\\\\\\\\Elzsqfse', '\u25ea') \u25ea\n",
-        "661 ('\\\\\\\\bigstar', '\u2605') \u2605\n",
-        "662 ('\\\\\\\\rightmoon', '\u263e') \u263e\n",
-        "663 ('\\\\\\\\mercury', '\u263f') \u263f\n",
-        "664 ('\\\\\\\\venus', '\u2640') \u2640\n",
-        "665 ('\\\\\\\\male', '\u2642') \u2642\n",
-        "666 ('\\\\\\\\jupiter', '\u2643') \u2643\n",
-        "667 ('\\\\\\\\saturn', '\u2644') \u2644\n",
-        "668 ('\\\\\\\\uranus', '\u2645') \u2645\n",
-        "669 ('\\\\\\\\neptune', '\u2646') \u2646\n",
-        "670 ('\\\\\\\\pluto', '\u2647') \u2647\n",
-        "671 ('\\\\\\\\aries', '\u2648') \u2648\n",
-        "672 ('\\\\\\\\taurus', '\u2649') \u2649\n",
-        "673 ('\\\\\\\\gemini', '\u264a') \u264a\n",
-        "674 ('\\\\\\\\cancer', '\u264b') \u264b\n",
-        "675 ('\\\\\\\\leo', '\u264c') \u264c\n",
-        "676 ('\\\\\\\\virgo', '\u264d') \u264d\n",
-        "677 ('\\\\\\\\libra', '\u264e') \u264e\n",
-        "678 ('\\\\\\\\scorpio', '\u264f') \u264f\n",
-        "679 ('\\\\\\\\sagittarius', '\u2650') \u2650\n",
-        "680 ('\\\\\\\\capricornus', '\u2651') \u2651\n",
-        "681 ('\\\\\\\\aquarius', '\u2652') \u2652\n",
-        "682 ('\\\\\\\\pisces', '\u2653') \u2653\n",
-        "683 ('\\\\\\\\spadesuit', '\u2660') \u2660\n",
-        "684 ('\\\\\\\\heartsuit', '\u2661') \u2661\n",
-        "685 ('\\\\\\\\diamondsuit', '\u2662') \u2662\n",
-        "686 ('\\\\\\\\clubsuit', '\u2663') \u2663\n",
-        "687 ('\\\\\\\\quarternote', '\u2669') \u2669\n",
-        "688 ('\\\\\\\\eighthnote', '\u266a') \u266a\n",
-        "689 ('\\\\\\\\flat', '\u266d') \u266d\n",
-        "690 ('\\\\\\\\natural', '\u266e') \u266e\n",
-        "691 ('\\\\\\\\sharp', '\u266f') \u266f\n",
-        "692 ('\\\\\\\\checkmark', '\u2713') \u2713\n",
-        "693 ('\\\\\\\\maltese', '\u2720') \u2720\n",
-        "694 ('\\\\\\\\longleftarrow', '\u27f5') \u27f5\n",
-        "695 ('\\\\\\\\longrightarrow', '\u27f6') \u27f6\n",
-        "696 ('\\\\\\\\longleftrightarrow', '\u27f7') \u27f7\n",
-        "697 ('\\\\\\\\Longleftarrow', '\u27f8') \u27f8\n",
-        "698 ('\\\\\\\\Longrightarrow', '\u27f9') \u27f9\n",
-        "699 ('\\\\\\\\Longleftrightarrow', '\u27fa') \u27fa\n",
-        "700 ('\\\\\\\\longmapsto', '\u27fc') \u27fc\n",
-        "701 ('\\\\\\\\Mapsfrom', '\u2906') \u2906\n",
-        "702 ('\\\\\\\\Mapsto', '\u2907') \u2907\n",
-        "703 ('\\\\\\\\Uuparrow', '\u290a') \u290a\n",
-        "704 ('\\\\\\\\Ddownarrow', '\u290b') \u290b\n",
-        "705 ('\\\\\\\\bkarow', '\u290d') \u290d\n",
-        "706 ('\\\\\\\\dbkarow', '\u290f') \u290f\n",
-        "707 ('\\\\\\\\drbkarrow', '\u2910') \u2910\n",
-        "708 ('\\\\\\\\UpArrowBar', '\u2912') \u2912\n",
-        "709 ('\\\\\\\\DownArrowBar', '\u2913') \u2913\n",
-        "710 ('\\\\\\\\twoheadrightarrowtail', '\u2916') \u2916\n",
-        "711 ('\\\\\\\\hksearow', '\u2925') \u2925\n",
-        "712 ('\\\\\\\\hkswarow', '\u2926') \u2926\n",
-        "713 ('\\\\\\\\tona', '\u2927') \u2927\n",
-        "714 ('\\\\\\\\toea', '\u2928') \u2928\n",
-        "715 ('\\\\\\\\tosa', '\u2929') \u2929\n",
-        "716 ('\\\\\\\\towa', '\u292a') \u292a\n",
-        "717 ('\\\\\\\\rdiagovfdiag', '\u292b') \u292b\n",
-        "718 ('\\\\\\\\fdiagovrdiag', '\u292c') \u292c\n",
-        "719 ('\\\\\\\\seovnearrow', '\u292d') \u292d\n",
-        "720 ('\\\\\\\\neovsearrow', '\u292e') \u292e\n",
-        "721 ('\\\\\\\\fdiagovnearrow', '\u292f') \u292f\n",
-        "722 ('\\\\\\\\rdiagovsearrow', '\u2930') \u2930\n",
-        "723 ('\\\\\\\\neovnwarrow', '\u2931') \u2931\n",
-        "724 ('\\\\\\\\nwovnearrow', '\u2932') \u2932\n",
-        "725 ('\\\\\\\\ElzRlarr', '\u2942') \u2942\n",
-        "726 ('\\\\\\\\ElzrLarr', '\u2944') \u2944\n",
-        "727 ('\\\\\\\\Elzrarrx', '\u2947') \u2947\n",
-        "728 ('\\\\\\\\LeftRightVector', '\u294e') \u294e\n",
-        "729 ('\\\\\\\\RightUpDownVector', '\u294f') \u294f\n",
-        "730 ('\\\\\\\\DownLeftRightVector', '\u2950') \u2950\n",
-        "731 ('\\\\\\\\LeftUpDownVector', '\u2951') \u2951\n",
-        "732 ('\\\\\\\\LeftVectorBar', '\u2952') \u2952\n",
-        "733 ('\\\\\\\\RightVectorBar', '\u2953') \u2953\n",
-        "734 ('\\\\\\\\RightUpVectorBar', '\u2954') \u2954\n",
-        "735 ('\\\\\\\\RightDownVectorBar', '\u2955') \u2955\n",
-        "736 ('\\\\\\\\DownLeftVectorBar', '\u2956') \u2956\n",
-        "737 ('\\\\\\\\DownRightVectorBar', '\u2957') \u2957\n",
-        "738 ('\\\\\\\\LeftUpVectorBar', '\u2958') \u2958\n",
-        "739 ('\\\\\\\\LeftDownVectorBar', '\u2959') \u2959\n",
-        "740 ('\\\\\\\\LeftTeeVector', '\u295a') \u295a\n",
-        "741 ('\\\\\\\\RightTeeVector', '\u295b') \u295b\n",
-        "742 ('\\\\\\\\RightUpTeeVector', '\u295c') \u295c\n",
-        "743 ('\\\\\\\\RightDownTeeVector', '\u295d') \u295d\n",
-        "744 ('\\\\\\\\DownLeftTeeVector', '\u295e') \u295e\n",
-        "745 ('\\\\\\\\DownRightTeeVector', '\u295f') \u295f\n",
-        "746 ('\\\\\\\\LeftUpTeeVector', '\u2960') \u2960\n",
-        "747 ('\\\\\\\\LeftDownTeeVector', '\u2961') \u2961\n",
-        "748 ('\\\\\\\\UpEquilibrium', '\u296e') \u296e\n",
-        "749 ('\\\\\\\\ReverseUpEquilibrium', '\u296f') \u296f\n",
-        "750 ('\\\\\\\\RoundImplies', '\u2970') \u2970\n",
-        "751 ('\\\\\\\\Vvert', '\u2980') \u2980\n",
-        "752 ('\\\\\\\\Elroang', '\u2986') \u2986\n",
-        "753 ('\\\\\\\\Elzddfnc', '\u2999') \u2999\n",
-        "754 ('\\\\\\\\Angle', '\u299c') \u299c\n",
-        "755 ('\\\\\\\\Elzlpargt', '\u29a0') \u29a0\n",
-        "756 ('\\\\\\\\obslash', '\u29b8') \u29b8\n",
-        "757 ('\\\\\\\\boxdiag', '\u29c4') \u29c4\n",
-        "758 ('\\\\\\\\boxbslash', '\u29c5') \u29c5\n",
-        "759 ('\\\\\\\\boxast', '\u29c6') \u29c6\n",
-        "760 ('\\\\\\\\boxcircle', '\u29c7') \u29c7\n",
-        "761 ('\\\\\\\\ElzLap', '\u29ca') \u29ca\n",
-        "762 ('\\\\\\\\Elzdefas', '\u29cb') \u29cb\n",
-        "763 ('\\\\\\\\LeftTriangleBar', '\u29cf') \u29cf\n",
-        "764 ('\\\\\\\\NotLeftTriangleBar', '\u29cf\u0338') \u29cf\u0338\n",
-        "765 ('\\\\\\\\RightTriangleBar', '\u29d0') \u29d0\n",
-        "766 ('\\\\\\\\NotRightTriangleBar', '\u29d0\u0338') \u29d0\u0338\n",
-        "767 ('\\\\\\\\dualmap', '\u29df') \u29df\n",
-        "768 ('\\\\\\\\shuffle', '\u29e2') \u29e2\n",
-        "769 ('\\\\\\\\blacklozenge', '\u29eb') \u29eb\n",
-        "770 ('\\\\\\\\RuleDelayed', '\u29f4') \u29f4\n",
-        "771 ('\\\\\\\\bigodot', '\u2a00') \u2a00\n",
-        "772 ('\\\\\\\\bigoplus', '\u2a01') \u2a01\n",
-        "773 ('\\\\\\\\bigotimes', '\u2a02') \u2a02\n",
-        "774 ('\\\\\\\\bigcupdot', '\u2a03') \u2a03\n",
-        "775 ('\\\\\\\\biguplus', '\u2a04') \u2a04\n",
-        "776 ('\\\\\\\\bigsqcap', '\u2a05') \u2a05\n",
-        "777 ('\\\\\\\\bigsqcup', '\u2a06') \u2a06\n",
-        "778 ('\\\\\\\\conjquant', '\u2a07') \u2a07\n",
-        "779 ('\\\\\\\\disjquant', '\u2a08') \u2a08\n",
-        "780 ('\\\\\\\\bigtimes', '\u2a09') \u2a09\n",
-        "781 ('\\\\\\\\iiiint', '\u2a0c') \u2a0c\n",
-        "782 ('\\\\\\\\intbar', '\u2a0d') \u2a0d\n",
-        "783 ('\\\\\\\\intBar', '\u2a0e') \u2a0e\n",
-        "784 ('\\\\\\\\clockoint', '\u2a0f') \u2a0f\n",
-        "785 ('\\\\\\\\sqrint', '\u2a16') \u2a16\n",
-        "786 ('\\\\\\\\intx', '\u2a18') \u2a18\n",
-        "787 ('\\\\\\\\intcap', '\u2a19') \u2a19\n",
-        "788 ('\\\\\\\\intcup', '\u2a1a') \u2a1a\n",
-        "789 ('\\\\\\\\upint', '\u2a1b') \u2a1b\n",
-        "790 ('\\\\\\\\lowint', '\u2a1c') \u2a1c\n",
-        "791 ('\\\\\\\\plusdot', '\u2a25') \u2a25\n",
-        "792 ('\\\\\\\\minusdot', '\u2a2a') \u2a2a\n",
-        "793 ('\\\\\\\\ElzTimes', '\u2a2f') \u2a2f\n",
-        "794 ('\\\\\\\\btimes', '\u2a32') \u2a32\n",
-        "795 ('\\\\\\\\intprod', '\u2a3c') \u2a3c\n",
-        "796 ('\\\\\\\\intprodr', '\u2a3d') \u2a3d\n",
-        "797 ('\\\\\\\\amalg', '\u2a3f') \u2a3f\n",
-        "798 ('\\\\\\\\ElzAnd', '\u2a53') \u2a53\n",
-        "799 ('\\\\\\\\ElzOr', '\u2a54') \u2a54\n",
-        "800 ('\\\\\\\\ElOr', '\u2a56') \u2a56\n",
-        "801 ('\\\\\\\\perspcorrespond', '\u2a5e') \u2a5e\n",
-        "802 ('\\\\\\\\Elzminhat', '\u2a5f') \u2a5f\n",
-        "803 ('\\\\\\\\Equal', '\u2a75') \u2a75\n",
-        "804 ('\\\\\\\\ddotseq', '\u2a77') \u2a77\n",
-        "805 ('\\\\\\\\leqslant', '\u2a7d') \u2a7d\n",
-        "806 ('\\\\\\\\nleqslant', '\u2a7d\u0338') \u2a7d\u0338\n",
-        "807 ('\\\\\\\\geqslant', '\u2a7e') \u2a7e\n",
-        "808 ('\\\\\\\\ngeqslant', '\u2a7e\u0338') \u2a7e\u0338\n",
-        "809 ('\\\\\\\\lessapprox', '\u2a85') \u2a85\n",
-        "810 ('\\\\\\\\gtrapprox', '\u2a86') \u2a86\n",
-        "811 ('\\\\\\\\lneq', '\u2a87') \u2a87\n",
-        "812 ('\\\\\\\\gneq', '\u2a88') \u2a88\n",
-        "813 ('\\\\\\\\lnapprox', '\u2a89') \u2a89\n",
-        "814 ('\\\\\\\\gnapprox', '\u2a8a') \u2a8a\n",
-        "815 ('\\\\\\\\lesseqqgtr', '\u2a8b') \u2a8b\n",
-        "816 ('\\\\\\\\gtreqqless', '\u2a8c') \u2a8c\n",
-        "817 ('\\\\\\\\eqslantless', '\u2a95') \u2a95\n",
-        "818 ('\\\\\\\\eqslantgtr', '\u2a96') \u2a96\n",
-        "819 ('\\\\\\\\NestedLessLess', '\u2aa1') \u2aa1\n",
-        "820 ('\\\\\\\\NotNestedLessLess', '\u2aa1\u0338') \u2aa1\u0338\n",
-        "821 ('\\\\\\\\NestedGreaterGreater', '\u2aa2') \u2aa2\n",
-        "822 ('\\\\\\\\NotNestedGreaterGreater', '\u2aa2\u0338') \u2aa2\u0338\n",
-        "823 ('\\\\\\\\partialmeetcontraction', '\u2aa3') \u2aa3\n",
-        "824 ('\\\\\\\\bumpeqq', '\u2aae') \u2aae\n",
-        "825 ('\\\\\\\\preceq', '\u2aaf') \u2aaf\n",
-        "826 ('\\\\\\\\npreceq', '\u2aaf\u0338') \u2aaf\u0338\n",
-        "827 ('\\\\\\\\succeq', '\u2ab0') \u2ab0\n",
-        "828 ('\\\\\\\\nsucceq', '\u2ab0\u0338') \u2ab0\u0338\n",
-        "829 ('\\\\\\\\precneqq', '\u2ab5') \u2ab5\n",
-        "830 ('\\\\\\\\succneqq', '\u2ab6') \u2ab6\n",
-        "831 ('\\\\\\\\precapprox', '\u2ab7') \u2ab7\n",
-        "832 ('\\\\\\\\succapprox', '\u2ab8') \u2ab8\n",
-        "833 ('\\\\\\\\precnapprox', '\u2ab9') \u2ab9\n",
-        "834 ('\\\\\\\\succnapprox', '\u2aba') \u2aba\n",
-        "835 ('\\\\\\\\subseteqq', '\u2ac5') \u2ac5\n",
-        "836 ('\\\\\\\\nsubseteqq', '\u2ac5\u0338') \u2ac5\u0338\n",
-        "837 ('\\\\\\\\supseteqq', '\u2ac6') \u2ac6\n",
-        "838 ('\\\\\\\\nsupseteqq', '\u2ac6\u0338') \u2ac6\u0338\n",
-        "839 ('\\\\\\\\subsetneqq', '\u2acb') \u2acb\n",
-        "840 ('\\\\\\\\supsetneqq', '\u2acc') \u2acc\n",
-        "841 ('\\\\\\\\mlcp', '\u2adb') \u2adb\n",
-        "842 ('\\\\\\\\forks', '\u2adc') \u2adc\n",
-        "843 ('\\\\\\\\forksnot', '\u2add') \u2add\n",
-        "844 ('\\\\\\\\dashV', '\u2ae3') \u2ae3\n",
-        "845 ('\\\\\\\\Dashv', '\u2ae4') \u2ae4\n",
-        "846 ('\\\\\\\\interleave', '\u2af4') \u2af4\n",
-        "847 ('\\\\\\\\Elztdcol', '\u2af6') \u2af6\n",
-        "848 ('\\\\\\\\openbracketleft', '\u301a') \u301a\n",
-        "849 ('\\\\\\\\openbracketright', '\u301b') \u301b\n",
-        "850 ('\\\\\\\\overbrace', '\ufe37') \ufe37\n",
-        "851 ('\\\\\\\\underbrace', '\ufe38') \ufe38\n",
-        "879 ('\\\\\\\\enclosecircle', '\u20dd') \u20dd\n",
-        "880 ('\\\\\\\\enclosesquare', '\u20de') \u20de\n",
-        "881 ('\\\\\\\\enclosediamond', '\u20df') \u20df\n",
-        "883 ('\\\\\\\\enclosetriangle', '\u20e4') \u20e4\n",
-        "887 ('\\\\\\\\underrightharpoondown', '\\\\u20ec') \\u20ec\n",
-        "888 ('\\\\\\\\underleftharpoondown', '\\\\u20ed') \\u20ed\n",
-        "889 ('\\\\\\\\underleftarrow', '\\\\u20ee') \\u20ee\n",
-        "890 ('\\\\\\\\underrightarrow', '\\\\u20ef') \\u20ef\n",
-        "891 ('\\\\\\\\asteraccent', '\\\\u20f0') \\u20f0\n",
-        "908 ('\\\\\\\\turnediota', '\u2129') \u2129\n",
-        "918 ('\\\\\\\\Bbbpi', '\\\\u213c') \\u213c\n",
-        "921 ('\\\\\\\\sansLturned', '\u2142') \u2142\n",
-        "922 ('\\\\\\\\sansLmirrored', '\u2143') \u2143\n",
-        "923 ('\\\\\\\\Yup', '\u2144') \u2144\n",
-        "929 ('\\\\\\\\PropertyLine', '\u214a') \u214a\n",
-        "930 ('\\\\\\\\upand', '\u214b') \u214b\n",
-        "931 ('\\\\\\\\twoheaduparrow', '\u219f') \u219f\n",
-        "932 ('\\\\\\\\twoheaddownarrow', '\u21a1') \u21a1\n",
-        "933 ('\\\\\\\\mapsfrom', '\u21a4') \u21a4\n",
-        "934 ('\\\\\\\\mapsup', '\u21a5') \u21a5\n",
-        "935 ('\\\\\\\\mapsdown', '\u21a7') \u21a7\n",
-        "936 ('\\\\\\\\updownarrowbar', '\u21a8') \u21a8\n",
-        "937 ('\\\\\\\\downzigzagarrow', '\u21af') \u21af\n",
-        "938 ('\\\\\\\\Ldsh', '\u21b2') \u21b2\n",
-        "939 ('\\\\\\\\Rdsh', '\u21b3') \u21b3\n",
-        "940 ('\\\\\\\\linefeed', '\u21b4') \u21b4\n",
-        "941 ('\\\\\\\\carriagereturn', '\u21b5') \u21b5\n",
-        "942 ('\\\\\\\\barovernorthwestarrow', '\u21b8') \u21b8\n",
-        "943 ('\\\\\\\\barleftarrowrightarrowbar', '\u21b9') \u21b9\n",
-        "944 ('\\\\\\\\nLeftrightarrow', '\u21ce') \u21ce\n",
-        "945 ('\\\\\\\\Nwarrow', '\u21d6') \u21d6\n",
-        "946 ('\\\\\\\\Nearrow', '\u21d7') \u21d7\n",
-        "947 ('\\\\\\\\Searrow', '\u21d8') \u21d8\n",
-        "948 ('\\\\\\\\Swarrow', '\u21d9') \u21d9\n",
-        "949 ('\\\\\\\\leftsquigarrow', '\u21dc') \u21dc\n",
-        "950 ('\\\\\\\\rightsquigarrow', '\u21dd') \u21dd\n",
-        "951 ('\\\\\\\\nHuparrow', '\u21de') \u21de\n",
-        "952 ('\\\\\\\\nHdownarrow', '\u21df') \u21df\n",
-        "953 ('\\\\\\\\leftdasharrow', '\u21e0') \u21e0\n",
-        "954 ('\\\\\\\\updasharrow', '\u21e1') \u21e1\n",
-        "955 ('\\\\\\\\rightdasharrow', '\u21e2') \u21e2\n",
-        "956 ('\\\\\\\\downdasharrow', '\u21e3') \u21e3\n",
-        "957 ('\\\\\\\\barleftarrow', '\u21e4') \u21e4\n",
-        "958 ('\\\\\\\\rightarrowbar', '\u21e5') \u21e5\n",
-        "959 ('\\\\\\\\leftwhitearrow', '\u21e6') \u21e6\n",
-        "960 ('\\\\\\\\upwhitearrow', '\u21e7') \u21e7\n",
-        "961 ('\\\\\\\\rightwhitearrow', '\u21e8') \u21e8\n",
-        "962 ('\\\\\\\\downwhitearrow', '\u21e9') \u21e9\n",
-        "963 ('\\\\\\\\whitearrowupfrombar', '\u21ea') \u21ea\n",
-        "964 ('\\\\\\\\circleonrightarrow', '\u21f4') \u21f4\n",
-        "965 ('\\\\\\\\rightthreearrows', '\u21f6') \u21f6\n",
-        "966 ('\\\\\\\\nvleftarrow', '\u21f7') \u21f7\n",
-        "967 ('\\\\\\\\nvrightarrow', '\u21f8') \u21f8\n",
-        "968 ('\\\\\\\\nvleftrightarrow', '\u21f9') \u21f9\n",
-        "969 ('\\\\\\\\nVleftarrow', '\u21fa') \u21fa\n",
-        "970 ('\\\\\\\\nVrightarrow', '\u21fb') \u21fb\n",
-        "971 ('\\\\\\\\nVleftrightarrow', '\u21fc') \u21fc\n",
-        "972 ('\\\\\\\\leftrightarrowtriangle', '\u21ff') \u21ff\n",
-        "973 ('\\\\\\\\increment', '\u2206') \u2206\n",
-        "974 ('\\\\\\\\smallin', '\u220a') \u220a\n",
-        "975 ('\\\\\\\\nni', '\u220c') \u220c\n",
-        "976 ('\\\\\\\\smallni', '\u220d') \u220d\n",
-        "977 ('\\\\\\\\QED', '\u220e') \u220e\n",
-        "978 ('\\\\\\\\vysmblkcircle', '\u2219') \u2219\n",
-        "979 ('\\\\\\\\fourthroot', '\u221c') \u221c\n",
-        "980 ('\\\\\\\\varointclockwise', '\u2232') \u2232\n",
-        "981 ('\\\\\\\\ointctrclockwise', '\u2233') \u2233\n",
-        "982 ('\\\\\\\\dotsminusdots', '\u223a') \u223a\n",
-        "983 ('\\\\\\\\sinewave', '\u223f') \u223f\n",
-        "984 ('\\\\\\\\arceq', '\u2258') \u2258\n",
-        "985 ('\\\\\\\\veeeq', '\u225a') \u225a\n",
-        "986 ('\\\\\\\\eqdef', '\u225d') \u225d\n",
-        "987 ('\\\\\\\\measeq', '\u225e') \u225e\n",
-        "988 ('\\\\\\\\Equiv', '\u2263') \u2263\n",
-        "989 ('\\\\\\\\nasymp', '\u226d') \u226d\n",
-        "990 ('\\\\\\\\nlesssim', '\u2274') \u2274\n",
-        "991 ('\\\\\\\\ngtrsim', '\u2275') \u2275\n",
-        "992 ('\\\\\\\\circledequal', '\u229c') \u229c\n",
-        "993 ('\\\\\\\\prurel', '\u22b0') \u22b0\n",
-        "994 ('\\\\\\\\scurel', '\u22b1') \u22b1\n",
-        "995 ('\\\\\\\\barwedge', '\u22bc') \u22bc\n",
-        "996 ('\\\\\\\\barvee', '\u22bd') \u22bd\n",
-        "997 ('\\\\\\\\varlrtriangle', '\u22bf') \u22bf\n",
-        "998 ('\\\\\\\\equalparallel', '\u22d5') \u22d5\n",
-        "999 ('\\\\\\\\eqless', '\u22dc') \u22dc\n",
-        "1000 ('\\\\\\\\eqgtr', '\u22dd') \u22dd\n",
-        "1001 ('\\\\\\\\npreccurlyeq', '\u22e0') \u22e0\n",
-        "1002 ('\\\\\\\\nsucccurlyeq', '\u22e1') \u22e1\n",
-        "1003 ('\\\\\\\\nsqsubseteq', '\u22e2') \u22e2\n",
-        "1004 ('\\\\\\\\nsqsupseteq', '\u22e3') \u22e3\n",
-        "1005 ('\\\\\\\\sqsubsetneq', '\u22e4') \u22e4\n",
-        "1006 ('\\\\\\\\disin', '\u22f2') \u22f2\n",
-        "1007 ('\\\\\\\\varisins', '\u22f3') \u22f3\n",
-        "1008 ('\\\\\\\\isins', '\u22f4') \u22f4\n",
-        "1009 ('\\\\\\\\isindot', '\u22f5') \u22f5\n",
-        "1010 ('\\\\\\\\varisinobar', '\u22f6') \u22f6\n",
-        "1011 ('\\\\\\\\isinobar', '\u22f7') \u22f7\n",
-        "1012 ('\\\\\\\\isinvb', '\u22f8') \u22f8\n",
-        "1013 ('\\\\\\\\isinE', '\u22f9') \u22f9\n",
-        "1014 ('\\\\\\\\nisd', '\u22fa') \u22fa\n",
-        "1015 ('\\\\\\\\varnis', '\u22fb') \u22fb\n",
-        "1016 ('\\\\\\\\nis', '\u22fc') \u22fc\n",
-        "1017 ('\\\\\\\\varniobar', '\u22fd') \u22fd\n",
-        "1018 ('\\\\\\\\niobar', '\u22fe') \u22fe\n",
-        "1019 ('\\\\\\\\bagmember', '\u22ff') \u22ff\n",
-        "1020 ('\\\\\\\\diameter', '\u2300') \u2300\n",
-        "1021 ('\\\\\\\\house', '\u2302') \u2302\n",
-        "1022 ('\\\\\\\\vardoublebarwedge', '\u2306') \u2306\n",
-        "1023 ('\\\\\\\\invnot', '\u2310') \u2310\n",
-        "1024 ('\\\\\\\\sqlozenge', '\u2311') \u2311\n",
-        "1025 ('\\\\\\\\profline', '\u2312') \u2312\n",
-        "1026 ('\\\\\\\\profsurf', '\u2313') \u2313\n",
-        "1027 ('\\\\\\\\viewdata', '\u2317') \u2317\n",
-        "1028 ('\\\\\\\\turnednot', '\u2319') \u2319\n",
-        "1029 ('\\\\\\\\varhexagonlrbonds', '\u232c') \u232c\n",
-        "1030 ('\\\\\\\\conictaper', '\u2332') \u2332\n",
-        "1031 ('\\\\\\\\topbot', '\u2336') \u2336\n",
-        "1032 ('\\\\\\\\APLnotslash', '\u233f') \u233f\n",
-        "1033 ('\\\\\\\\APLnotbackslash', '\u2340') \u2340\n",
-        "1034 ('\\\\\\\\APLboxupcaret', '\u2353') \u2353\n",
-        "1035 ('\\\\\\\\APLboxquestion', '\u2370') \u2370\n",
-        "1036 ('\\\\\\\\hexagon', '\u2394') \u2394\n",
-        "1037 ('\\\\\\\\overbracket', '\u23b4') \u23b4\n",
-        "1038 ('\\\\\\\\underbracket', '\u23b5') \u23b5\n",
-        "1039 ('\\\\\\\\bbrktbrk', '\u23b6') \u23b6\n",
-        "1040 ('\\\\\\\\sqrtbottom', '\u23b7') \u23b7\n",
-        "1041 ('\\\\\\\\lvboxline', '\u23b8') \u23b8\n",
-        "1042 ('\\\\\\\\rvboxline', '\u23b9') \u23b9\n",
-        "1043 ('\\\\\\\\varcarriagereturn', '\u23ce') \u23ce\n",
-        "1044 ('\\\\\\\\trapezium', '\\\\u23e2') \\u23e2\n",
-        "1045 ('\\\\\\\\benzenr', '\\\\u23e3') \\u23e3\n",
-        "1046 ('\\\\\\\\strns', '\\\\u23e4') \\u23e4\n",
-        "1047 ('\\\\\\\\fltns', '\\\\u23e5') \\u23e5\n",
-        "1048 ('\\\\\\\\accurrent', '\\\\u23e6') \\u23e6\n",
-        "1049 ('\\\\\\\\elinters', '\\\\u23e7') \\u23e7\n",
-        "1050 ('\\\\\\\\blanksymbol', '\u2422') \u2422\n",
-        "1051 ('\\\\\\\\blockuphalf', '\u2580') \u2580\n",
-        "1052 ('\\\\\\\\blocklowhalf', '\u2584') \u2584\n",
-        "1053 ('\\\\\\\\blockfull', '\u2588') \u2588\n",
-        "1054 ('\\\\\\\\blocklefthalf', '\u258c') \u258c\n",
-        "1055 ('\\\\\\\\blockrighthalf', '\u2590') \u2590\n",
-        "1056 ('\\\\\\\\blockqtrshaded', '\u2591') \u2591\n",
-        "1057 ('\\\\\\\\blockhalfshaded', '\u2592') \u2592\n",
-        "1058 ('\\\\\\\\blockthreeqtrshaded', '\u2593') \u2593\n",
-        "1059 ('\\\\\\\\squoval', '\u25a2') \u25a2\n",
-        "1060 ('\\\\\\\\blackinwhitesquare', '\u25a3') \u25a3\n",
-        "1061 ('\\\\\\\\squarehfill', '\u25a4') \u25a4\n",
-        "1062 ('\\\\\\\\squarevfill', '\u25a5') \u25a5\n",
-        "1063 ('\\\\\\\\squarehvfill', '\u25a6') \u25a6\n",
-        "1064 ('\\\\\\\\squarenwsefill', '\u25a7') \u25a7\n",
-        "1065 ('\\\\\\\\squareneswfill', '\u25a8') \u25a8\n",
-        "1066 ('\\\\\\\\squarecrossfill', '\u25a9') \u25a9\n",
-        "1067 ('\\\\\\\\smblksquare', '\u25aa') \u25aa\n",
-        "1068 ('\\\\\\\\smwhtsquare', '\u25ab') \u25ab\n",
-        "1069 ('\\\\\\\\hrectangleblack', '\u25ac') \u25ac\n",
-        "1070 ('\\\\\\\\hrectangle', '\u25ad') \u25ad\n",
-        "1071 ('\\\\\\\\vrectangleblack', '\u25ae') \u25ae\n",
-        "1072 ('\\\\\\\\parallelogramblack', '\u25b0') \u25b0\n",
-        "1073 ('\\\\\\\\parallelogram', '\u25b1') \u25b1\n",
-        "1074 ('\\\\\\\\bigblacktriangleup', '\u25b2') \u25b2\n",
-        "1075 ('\\\\\\\\blacktriangleright', '\u25b6') \u25b6\n",
-        "1076 ('\\\\\\\\blackpointerright', '\u25ba') \u25ba\n",
-        "1077 ('\\\\\\\\whitepointerright', '\u25bb') \u25bb\n",
-        "1078 ('\\\\\\\\bigblacktriangledown', '\u25bc') \u25bc\n",
-        "1079 ('\\\\\\\\blacktriangleleft', '\u25c0') \u25c0\n",
-        "1080 ('\\\\\\\\blackpointerleft', '\u25c4') \u25c4\n",
-        "1081 ('\\\\\\\\whitepointerleft', '\u25c5') \u25c5\n",
-        "1082 ('\\\\\\\\mdlgblkdiamond', '\u25c6') \u25c6\n",
-        "1083 ('\\\\\\\\mdlgwhtdiamond', '\u25c7') \u25c7\n",
-        "1084 ('\\\\\\\\blackinwhitediamond', '\u25c8') \u25c8\n",
-        "1085 ('\\\\\\\\fisheye', '\u25c9') \u25c9\n",
-        "1086 ('\\\\\\\\dottedcircle', '\u25cc') \u25cc\n",
-        "1087 ('\\\\\\\\circlevertfill', '\u25cd') \u25cd\n",
-        "1088 ('\\\\\\\\bullseye', '\u25ce') \u25ce\n",
-        "1089 ('\\\\\\\\mdlgblkcircle', '\u25cf') \u25cf\n",
-        "1090 ('\\\\\\\\circletophalfblack', '\u25d3') \u25d3\n",
-        "1091 ('\\\\\\\\circleurquadblack', '\u25d4') \u25d4\n",
-        "1092 ('\\\\\\\\blackcircleulquadwhite', '\u25d5') \u25d5\n",
-        "1093 ('\\\\\\\\blacklefthalfcircle', '\u25d6') \u25d6\n",
-        "1094 ('\\\\\\\\blackrighthalfcircle', '\u25d7') \u25d7\n",
-        "1095 ('\\\\\\\\inversewhitecircle', '\u25d9') \u25d9\n",
-        "1096 ('\\\\\\\\invwhiteupperhalfcircle', '\u25da') \u25da\n",
-        "1097 ('\\\\\\\\invwhitelowerhalfcircle', '\u25db') \u25db\n",
-        "1098 ('\\\\\\\\ularc', '\u25dc') \u25dc\n",
-        "1099 ('\\\\\\\\urarc', '\u25dd') \u25dd\n",
-        "1100 ('\\\\\\\\lrarc', '\u25de') \u25de\n",
-        "1101 ('\\\\\\\\llarc', '\u25df') \u25df\n",
-        "1102 ('\\\\\\\\topsemicircle', '\u25e0') \u25e0\n",
-        "1103 ('\\\\\\\\botsemicircle', '\u25e1') \u25e1\n",
-        "1104 ('\\\\\\\\lrblacktriangle', '\u25e2') \u25e2\n",
-        "1105 ('\\\\\\\\llblacktriangle', '\u25e3') \u25e3\n",
-        "1106 ('\\\\\\\\ulblacktriangle', '\u25e4') \u25e4\n",
-        "1107 ('\\\\\\\\urblacktriangle', '\u25e5') \u25e5\n",
-        "1108 ('\\\\\\\\smwhtcircle', '\u25e6') \u25e6\n",
-        "1109 ('\\\\\\\\squareulblack', '\u25e9') \u25e9\n",
-        "1110 ('\\\\\\\\boxbar', '\u25eb') \u25eb\n",
-        "1111 ('\\\\\\\\trianglecdot', '\u25ec') \u25ec\n",
-        "1112 ('\\\\\\\\triangleleftblack', '\u25ed') \u25ed\n",
-        "1113 ('\\\\\\\\trianglerightblack', '\u25ee') \u25ee\n",
-        "1114 ('\\\\\\\\lgwhtcircle', '\u25ef') \u25ef\n",
-        "1115 ('\\\\\\\\squareulquad', '\u25f0') \u25f0\n",
-        "1116 ('\\\\\\\\squarellquad', '\u25f1') \u25f1\n",
-        "1117 ('\\\\\\\\squarelrquad', '\u25f2') \u25f2\n",
-        "1118 ('\\\\\\\\squareurquad', '\u25f3') \u25f3\n",
-        "1119 ('\\\\\\\\circleulquad', '\u25f4') \u25f4\n",
-        "1120 ('\\\\\\\\circlellquad', '\u25f5') \u25f5\n",
-        "1121 ('\\\\\\\\circlelrquad', '\u25f6') \u25f6\n",
-        "1122 ('\\\\\\\\circleurquad', '\u25f7') \u25f7\n",
-        "1123 ('\\\\\\\\ultriangle', '\u25f8') \u25f8\n",
-        "1124 ('\\\\\\\\urtriangle', '\u25f9') \u25f9\n",
-        "1125 ('\\\\\\\\lltriangle', '\u25fa') \u25fa\n",
-        "1126 ('\\\\\\\\mdwhtsquare', '\u25fb') \u25fb\n",
-        "1127 ('\\\\\\\\mdblksquare', '\u25fc') \u25fc\n",
-        "1128 ('\\\\\\\\mdsmwhtsquare', '\u25fd') \u25fd\n",
-        "1129 ('\\\\\\\\mdsmblksquare', '\u25fe') \u25fe\n",
-        "1130 ('\\\\\\\\lrtriangle', '\u25ff') \u25ff\n",
-        "1131 ('\\\\\\\\bigwhitestar', '\u2606') \u2606\n",
-        "1132 ('\\\\\\\\astrosun', '\u2609') \u2609\n",
-        "1133 ('\\\\\\\\danger', '\u2621') \u2621\n",
-        "1134 ('\\\\\\\\blacksmiley', '\u263b') \u263b\n",
-        "1135 ('\\\\\\\\sun', '\u263c') \u263c\n",
-        "1136 ('\\\\\\\\rightmoon', '\u263d') \u263d\n",
-        "1137 ('\\\\\\\\varspadesuit', '\u2664') \u2664\n",
-        "1138 ('\\\\\\\\varheartsuit', '\u2665') \u2665\n",
-        "1139 ('\\\\\\\\vardiamondsuit', '\u2666') \u2666\n",
-        "1140 ('\\\\\\\\varclubsuit', '\u2667') \u2667\n",
-        "1141 ('\\\\\\\\twonotes', '\u266b') \u266b\n",
-        "1142 ('\\\\\\\\acidfree', '\\\\u267e') \\u267e\n",
-        "1143 ('\\\\\\\\dicei', '\u2680') \u2680\n",
-        "1144 ('\\\\\\\\diceii', '\u2681') \u2681\n",
-        "1145 ('\\\\\\\\diceiii', '\u2682') \u2682\n",
-        "1146 ('\\\\\\\\diceiv', '\u2683') \u2683\n",
-        "1147 ('\\\\\\\\dicev', '\u2684') \u2684\n",
-        "1148 ('\\\\\\\\dicevi', '\u2685') \u2685\n",
-        "1149 ('\\\\\\\\circledrightdot', '\u2686') \u2686\n",
-        "1150 ('\\\\\\\\circledtwodots', '\u2687') \u2687\n",
-        "1151 ('\\\\\\\\blackcircledrightdot', '\u2688') \u2688\n",
-        "1152 ('\\\\\\\\blackcircledtwodots', '\u2689') \u2689\n",
-        "1153 ('\\\\\\\\Hermaphrodite', '\\\\u26a5') \\u26a5\n",
-        "1154 ('\\\\\\\\mdwhtcircle', '\\\\u26aa') \\u26aa\n",
-        "1155 ('\\\\\\\\mdblkcircle', '\\\\u26ab') \\u26ab\n",
-        "1156 ('\\\\\\\\mdsmwhtcircle', '\\\\u26ac') \\u26ac\n",
-        "1157 ('\\\\\\\\neuter', '\\\\u26b2') \\u26b2\n",
-        "1158 ('\\\\\\\\circledstar', '\u272a') \u272a\n",
-        "1159 ('\\\\\\\\varstar', '\u2736') \u2736\n",
-        "1160 ('\\\\\\\\dingasterisk', '\u273d') \u273d\n",
-        "1161 ('\\\\\\\\draftingarrow', '\u279b') \u279b\n",
-        "1162 ('\\\\\\\\threedangle', '\\\\u27c0') \\u27c0\n",
-        "1163 ('\\\\\\\\whiteinwhitetriangle', '\\\\u27c1') \\u27c1\n",
-        "1164 ('\\\\\\\\perp', '\\\\u27c2') \\u27c2\n",
-        "1165 ('\\\\\\\\bsolhsub', '\\\\u27c8') \\u27c8\n",
-        "1166 ('\\\\\\\\suphsol', '\\\\u27c9') \\u27c9\n",
-        "1167 ('\\\\\\\\wedgedot', '\u27d1') \u27d1\n",
-        "1168 ('\\\\\\\\upin', '\u27d2') \u27d2\n",
-        "1169 ('\\\\\\\\bigbot', '\u27d8') \u27d8\n",
-        "1170 ('\\\\\\\\bigtop', '\u27d9') \u27d9\n",
-        "1171 ('\\\\\\\\UUparrow', '\u27f0') \u27f0\n",
-        "1172 ('\\\\\\\\DDownarrow', '\u27f1') \u27f1\n",
-        "1173 ('\\\\\\\\longmapsfrom', '\u27fb') \u27fb\n",
-        "1174 ('\\\\\\\\Longmapsfrom', '\u27fd') \u27fd\n",
-        "1175 ('\\\\\\\\Longmapsto', '\u27fe') \u27fe\n",
-        "1176 ('\\\\\\\\longrightsquigarrow', '\u27ff') \u27ff\n",
-        "1177 ('\\\\\\\\nvtwoheadrightarrow', '\u2900') \u2900\n",
-        "1178 ('\\\\\\\\nVtwoheadrightarrow', '\u2901') \u2901\n",
-        "1179 ('\\\\\\\\nvLeftarrow', '\u2902') \u2902\n",
-        "1180 ('\\\\\\\\nvRightarrow', '\u2903') \u2903\n",
-        "1181 ('\\\\\\\\nvLeftrightarrow', '\u2904') \u2904\n",
-        "1182 ('\\\\\\\\twoheadmapsto', '\u2905') \u2905\n",
-        "1183 ('\\\\\\\\downarrowbarred', '\u2908') \u2908\n",
-        "1184 ('\\\\\\\\uparrowbarred', '\u2909') \u2909\n",
-        "1185 ('\\\\\\\\leftbkarrow', '\u290c') \u290c\n",
-        "1186 ('\\\\\\\\leftdbkarrow', '\u290e') \u290e\n",
-        "1187 ('\\\\\\\\rightdotarrow', '\u2911') \u2911\n",
-        "1188 ('\\\\\\\\nvrightarrowtail', '\u2914') \u2914\n",
-        "1189 ('\\\\\\\\nVrightarrowtail', '\u2915') \u2915\n",
-        "1190 ('\\\\\\\\nvtwoheadrightarrowtail', '\u2917') \u2917\n",
-        "1191 ('\\\\\\\\nVtwoheadrightarrowtail', '\u2918') \u2918\n",
-        "1192 ('\\\\\\\\diamondleftarrow', '\u291d') \u291d\n",
-        "1193 ('\\\\\\\\rightarrowdiamond', '\u291e') \u291e\n",
-        "1194 ('\\\\\\\\diamondleftarrowbar', '\u291f') \u291f\n",
-        "1195 ('\\\\\\\\barrightarrowdiamond', '\u2920') \u2920\n",
-        "1196 ('\\\\\\\\rightarrowplus', '\u2945') \u2945\n",
-        "1197 ('\\\\\\\\leftarrowplus', '\u2946') \u2946\n",
-        "1198 ('\\\\\\\\leftrightarrowcircle', '\u2948') \u2948\n",
-        "1199 ('\\\\\\\\twoheaduparrowcircle', '\u2949') \u2949\n",
-        "1200 ('\\\\\\\\leftrightharpoonupdown', '\u294a') \u294a\n",
-        "1201 ('\\\\\\\\leftrightharpoondownup', '\u294b') \u294b\n",
-        "1202 ('\\\\\\\\updownharpoonrightleft', '\u294c') \u294c\n",
-        "1203 ('\\\\\\\\updownharpoonleftright', '\u294d') \u294d\n",
-        "1204 ('\\\\\\\\leftharpoonsupdown', '\u2962') \u2962\n",
-        "1205 ('\\\\\\\\upharpoonsleftright', '\u2963') \u2963\n",
-        "1206 ('\\\\\\\\rightharpoonsupdown', '\u2964') \u2964\n",
-        "1207 ('\\\\\\\\downharpoonsleftright', '\u2965') \u2965\n",
-        "1208 ('\\\\\\\\leftrightharpoonsup', '\u2966') \u2966\n",
-        "1209 ('\\\\\\\\leftrightharpoonsdown', '\u2967') \u2967\n",
-        "1210 ('\\\\\\\\rightleftharpoonsup', '\u2968') \u2968\n",
-        "1211 ('\\\\\\\\rightleftharpoonsdown', '\u2969') \u2969\n",
-        "1212 ('\\\\\\\\leftharpoonupdash', '\u296a') \u296a\n",
-        "1213 ('\\\\\\\\dashleftharpoondown', '\u296b') \u296b\n",
-        "1214 ('\\\\\\\\rightharpoonupdash', '\u296c') \u296c\n",
-        "1215 ('\\\\\\\\dashrightharpoondown', '\u296d') \u296d\n",
-        "1216 ('\\\\\\\\measuredangleleft', '\u299b') \u299b\n",
-        "1217 ('\\\\\\\\rightanglemdot', '\u299d') \u299d\n",
-        "1218 ('\\\\\\\\angles', '\u299e') \u299e\n",
-        "1219 ('\\\\\\\\angdnr', '\u299f') \u299f\n",
-        "1220 ('\\\\\\\\sphericalangleup', '\u29a1') \u29a1\n",
-        "1221 ('\\\\\\\\turnangle', '\u29a2') \u29a2\n",
-        "1222 ('\\\\\\\\revangle', '\u29a3') \u29a3\n",
-        "1223 ('\\\\\\\\angleubar', '\u29a4') \u29a4\n",
-        "1224 ('\\\\\\\\revangleubar', '\u29a5') \u29a5\n",
-        "1225 ('\\\\\\\\wideangledown', '\u29a6') \u29a6\n",
-        "1226 ('\\\\\\\\wideangleup', '\u29a7') \u29a7\n",
-        "1227 ('\\\\\\\\measanglerutone', '\u29a8') \u29a8\n",
-        "1228 ('\\\\\\\\measanglelutonw', '\u29a9') \u29a9\n",
-        "1229 ('\\\\\\\\measanglerdtose', '\u29aa') \u29aa\n",
-        "1230 ('\\\\\\\\measangleldtosw', '\u29ab') \u29ab\n",
-        "1231 ('\\\\\\\\measangleurtone', '\u29ac') \u29ac\n",
-        "1232 ('\\\\\\\\measangleultonw', '\u29ad') \u29ad\n",
-        "1233 ('\\\\\\\\measangledrtose', '\u29ae') \u29ae\n",
-        "1234 ('\\\\\\\\measangledltosw', '\u29af') \u29af\n",
-        "1235 ('\\\\\\\\revemptyset', '\u29b0') \u29b0\n",
-        "1236 ('\\\\\\\\emptysetobar', '\u29b1') \u29b1\n",
-        "1237 ('\\\\\\\\emptysetocirc', '\u29b2') \u29b2\n",
-        "1238 ('\\\\\\\\emptysetoarr', '\u29b3') \u29b3\n",
-        "1239 ('\\\\\\\\emptysetoarrl', '\u29b4') \u29b4\n",
-        "1240 ('\\\\\\\\circledparallel', '\u29b7') \u29b7\n",
-        "1241 ('\\\\\\\\odotslashdot', '\u29bc') \u29bc\n",
-        "1242 ('\\\\\\\\circledwhitebullet', '\u29be') \u29be\n",
-        "1243 ('\\\\\\\\circledbullet', '\u29bf') \u29bf\n",
-        "1244 ('\\\\\\\\olessthan', '\u29c0') \u29c0\n",
-        "1245 ('\\\\\\\\ogreaterthan', '\u29c1') \u29c1\n",
-        "1246 ('\\\\\\\\lrtriangleeq', '\u29e1') \u29e1\n",
-        "1247 ('\\\\\\\\eparsl', '\u29e3') \u29e3\n",
-        "1248 ('\\\\\\\\smeparsl', '\u29e4') \u29e4\n",
-        "1249 ('\\\\\\\\eqvparsl', '\u29e5') \u29e5\n",
-        "1250 ('\\\\\\\\dsol', '\u29f6') \u29f6\n",
-        "1251 ('\\\\\\\\rsolbar', '\u29f7') \u29f7\n",
-        "1252 ('\\\\\\\\doubleplus', '\u29fa') \u29fa\n",
-        "1253 ('\\\\\\\\tripleplus', '\u29fb') \u29fb\n",
-        "1254 ('\\\\\\\\modtwosum', '\u2a0a') \u2a0a\n",
-        "1255 ('\\\\\\\\sumint', '\u2a0b') \u2a0b\n",
-        "1256 ('\\\\\\\\cirfnint', '\u2a10') \u2a10\n",
-        "1257 ('\\\\\\\\awint', '\u2a11') \u2a11\n",
-        "1258 ('\\\\\\\\rppolint', '\u2a12') \u2a12\n",
-        "1259 ('\\\\\\\\scpolint', '\u2a13') \u2a13\n",
-        "1260 ('\\\\\\\\npolint', '\u2a14') \u2a14\n",
-        "1261 ('\\\\\\\\pointint', '\u2a15') \u2a15\n",
-        "1262 ('\\\\\\\\ringplus', '\u2a22') \u2a22\n",
-        "1263 ('\\\\\\\\plushat', '\u2a23') \u2a23\n",
-        "1264 ('\\\\\\\\simplus', '\u2a24') \u2a24\n",
-        "1265 ('\\\\\\\\plussim', '\u2a26') \u2a26\n",
-        "1266 ('\\\\\\\\plussubtwo', '\u2a27') \u2a27\n",
-        "1267 ('\\\\\\\\plustrif', '\u2a28') \u2a28\n",
-        "1268 ('\\\\\\\\commaminus', '\u2a29') \u2a29\n",
-        "1269 ('\\\\\\\\minusfdots', '\u2a2b') \u2a2b\n",
-        "1270 ('\\\\\\\\minusrdots', '\u2a2c') \u2a2c\n",
-        "1271 ('\\\\\\\\opluslhrim', '\u2a2d') \u2a2d\n",
-        "1272 ('\\\\\\\\oplusrhrim', '\u2a2e') \u2a2e\n",
-        "1273 ('\\\\\\\\dottimes', '\u2a30') \u2a30\n",
-        "1274 ('\\\\\\\\timesbar', '\u2a31') \u2a31\n",
-        "1275 ('\\\\\\\\smashtimes', '\u2a33') \u2a33\n",
-        "1276 ('\\\\\\\\otimeslhrim', '\u2a34') \u2a34\n",
-        "1277 ('\\\\\\\\otimesrhrim', '\u2a35') \u2a35\n",
-        "1278 ('\\\\\\\\otimeshat', '\u2a36') \u2a36\n",
-        "1279 ('\\\\\\\\Otimes', '\u2a37') \u2a37\n",
-        "1280 ('\\\\\\\\odiv', '\u2a38') \u2a38\n",
-        "1281 ('\\\\\\\\triangleplus', '\u2a39') \u2a39\n",
-        "1282 ('\\\\\\\\triangleminus', '\u2a3a') \u2a3a\n",
-        "1283 ('\\\\\\\\triangletimes', '\u2a3b') \u2a3b\n",
-        "1284 ('\\\\\\\\capdot', '\u2a40') \u2a40\n",
-        "1285 ('\\\\\\\\uminus', '\u2a41') \u2a41\n",
-        "1286 ('\\\\\\\\barcup', '\u2a42') \u2a42\n",
-        "1287 ('\\\\\\\\barcap', '\u2a43') \u2a43\n",
-        "1288 ('\\\\\\\\capwedge', '\u2a44') \u2a44\n",
-        "1289 ('\\\\\\\\cupvee', '\u2a45') \u2a45\n",
-        "1290 ('\\\\\\\\twocups', '\u2a4a') \u2a4a\n",
-        "1291 ('\\\\\\\\twocaps', '\u2a4b') \u2a4b\n",
-        "1292 ('\\\\\\\\closedvarcup', '\u2a4c') \u2a4c\n",
-        "1293 ('\\\\\\\\closedvarcap', '\u2a4d') \u2a4d\n",
-        "1294 ('\\\\\\\\Sqcap', '\u2a4e') \u2a4e\n",
-        "1295 ('\\\\\\\\Sqcup', '\u2a4f') \u2a4f\n",
-        "1296 ('\\\\\\\\closedvarcupsmashprod', '\u2a50') \u2a50\n",
-        "1297 ('\\\\\\\\wedgeodot', '\u2a51') \u2a51\n",
-        "1298 ('\\\\\\\\veeodot', '\u2a52') \u2a52\n",
-        "1299 ('\\\\\\\\wedgeonwedge', '\u2a55') \u2a55\n",
-        "1300 ('\\\\\\\\bigslopedvee', '\u2a57') \u2a57\n",
-        "1301 ('\\\\\\\\bigslopedwedge', '\u2a58') \u2a58\n",
-        "1302 ('\\\\\\\\wedgemidvert', '\u2a5a') \u2a5a\n",
-        "1303 ('\\\\\\\\veemidvert', '\u2a5b') \u2a5b\n",
-        "1304 ('\\\\\\\\midbarwedge', '\u2a5c') \u2a5c\n",
-        "1305 ('\\\\\\\\midbarvee', '\u2a5d') \u2a5d\n",
-        "1306 ('\\\\\\\\wedgedoublebar', '\u2a60') \u2a60\n",
-        "1307 ('\\\\\\\\varveebar', '\u2a61') \u2a61\n",
-        "1308 ('\\\\\\\\doublebarvee', '\u2a62') \u2a62\n",
-        "1309 ('\\\\\\\\veedoublebar', '\u2a63') \u2a63\n",
-        "1310 ('\\\\\\\\eqdot', '\u2a66') \u2a66\n",
-        "1311 ('\\\\\\\\dotequiv', '\u2a67') \u2a67\n",
-        "1312 ('\\\\\\\\dotsim', '\u2a6a') \u2a6a\n",
-        "1313 ('\\\\\\\\simrdots', '\u2a6b') \u2a6b\n",
-        "1314 ('\\\\\\\\simminussim', '\u2a6c') \u2a6c\n",
-        "1315 ('\\\\\\\\congdot', '\u2a6d') \u2a6d\n",
-        "1316 ('\\\\\\\\asteq', '\u2a6e') \u2a6e\n",
-        "1317 ('\\\\\\\\hatapprox', '\u2a6f') \u2a6f\n",
-        "1318 ('\\\\\\\\approxeqq', '\u2a70') \u2a70\n",
-        "1319 ('\\\\\\\\eqqplus', '\u2a71') \u2a71\n",
-        "1320 ('\\\\\\\\pluseqq', '\u2a72') \u2a72\n",
-        "1321 ('\\\\\\\\eqqsim', '\u2a73') \u2a73\n",
-        "1322 ('\\\\\\\\Coloneq', '\u2a74') \u2a74\n",
-        "1323 ('\\\\\\\\eqeqeq', '\u2a76') \u2a76\n",
-        "1324 ('\\\\\\\\equivDD', '\u2a78') \u2a78\n",
-        "1325 ('\\\\\\\\ltcir', '\u2a79') \u2a79\n",
-        "1326 ('\\\\\\\\gtcir', '\u2a7a') \u2a7a\n",
-        "1327 ('\\\\\\\\ltquest', '\u2a7b') \u2a7b\n",
-        "1328 ('\\\\\\\\gtquest', '\u2a7c') \u2a7c\n",
-        "1329 ('\\\\\\\\lesdot', '\u2a7f') \u2a7f\n",
-        "1330 ('\\\\\\\\gesdot', '\u2a80') \u2a80\n",
-        "1331 ('\\\\\\\\lesdoto', '\u2a81') \u2a81\n",
-        "1332 ('\\\\\\\\gesdoto', '\u2a82') \u2a82\n",
-        "1333 ('\\\\\\\\lesdotor', '\u2a83') \u2a83\n",
-        "1334 ('\\\\\\\\gesdotol', '\u2a84') \u2a84\n",
-        "1335 ('\\\\\\\\lsime', '\u2a8d') \u2a8d\n",
-        "1336 ('\\\\\\\\gsime', '\u2a8e') \u2a8e\n",
-        "1337 ('\\\\\\\\lsimg', '\u2a8f') \u2a8f\n",
-        "1338 ('\\\\\\\\gsiml', '\u2a90') \u2a90\n",
-        "1339 ('\\\\\\\\lgE', '\u2a91') \u2a91\n",
-        "1340 ('\\\\\\\\glE', '\u2a92') \u2a92\n",
-        "1341 ('\\\\\\\\lesges', '\u2a93') \u2a93\n",
-        "1342 ('\\\\\\\\gesles', '\u2a94') \u2a94\n",
-        "1343 ('\\\\\\\\elsdot', '\u2a97') \u2a97\n",
-        "1344 ('\\\\\\\\egsdot', '\u2a98') \u2a98\n",
-        "1345 ('\\\\\\\\eqqless', '\u2a99') \u2a99\n",
-        "1346 ('\\\\\\\\eqqgtr', '\u2a9a') \u2a9a\n",
-        "1347 ('\\\\\\\\eqqslantless', '\u2a9b') \u2a9b\n",
-        "1348 ('\\\\\\\\eqqslantgtr', '\u2a9c') \u2a9c\n",
-        "1349 ('\\\\\\\\simless', '\u2a9d') \u2a9d\n",
-        "1350 ('\\\\\\\\simgtr', '\u2a9e') \u2a9e\n",
-        "1351 ('\\\\\\\\simlE', '\u2a9f') \u2a9f\n",
-        "1352 ('\\\\\\\\simgE', '\u2aa0') \u2aa0\n",
-        "1353 ('\\\\\\\\glj', '\u2aa4') \u2aa4\n",
-        "1354 ('\\\\\\\\gla', '\u2aa5') \u2aa5\n",
-        "1355 ('\\\\\\\\ltcc', '\u2aa6') \u2aa6\n",
-        "1356 ('\\\\\\\\gtcc', '\u2aa7') \u2aa7\n",
-        "1357 ('\\\\\\\\lescc', '\u2aa8') \u2aa8\n",
-        "1358 ('\\\\\\\\gescc', '\u2aa9') \u2aa9\n",
-        "1359 ('\\\\\\\\smt', '\u2aaa') \u2aaa\n",
-        "1360 ('\\\\\\\\lat', '\u2aab') \u2aab\n",
-        "1361 ('\\\\\\\\smte', '\u2aac') \u2aac\n",
-        "1362 ('\\\\\\\\late', '\u2aad') \u2aad\n",
-        "1363 ('\\\\\\\\precneq', '\u2ab1') \u2ab1\n",
-        "1364 ('\\\\\\\\succneq', '\u2ab2') \u2ab2\n",
-        "1365 ('\\\\\\\\preceqq', '\u2ab3') \u2ab3\n",
-        "1366 ('\\\\\\\\succeqq', '\u2ab4') \u2ab4\n",
-        "1367 ('\\\\\\\\Prec', '\u2abb') \u2abb\n",
-        "1368 ('\\\\\\\\Succ', '\u2abc') \u2abc\n",
-        "1369 ('\\\\\\\\subsetdot', '\u2abd') \u2abd\n",
-        "1370 ('\\\\\\\\supsetdot', '\u2abe') \u2abe\n",
-        "1371 ('\\\\\\\\subsetplus', '\u2abf') \u2abf\n",
-        "1372 ('\\\\\\\\supsetplus', '\u2ac0') \u2ac0\n",
-        "1373 ('\\\\\\\\submult', '\u2ac1') \u2ac1\n",
-        "1374 ('\\\\\\\\supmult', '\u2ac2') \u2ac2\n",
-        "1375 ('\\\\\\\\subedot', '\u2ac3') \u2ac3\n",
-        "1376 ('\\\\\\\\supedot', '\u2ac4') \u2ac4\n",
-        "1377 ('\\\\\\\\subsim', '\u2ac7') \u2ac7\n",
-        "1378 ('\\\\\\\\supsim', '\u2ac8') \u2ac8\n",
-        "1379 ('\\\\\\\\subsetapprox', '\u2ac9') \u2ac9\n",
-        "1380 ('\\\\\\\\supsetapprox', '\u2aca') \u2aca\n",
-        "1381 ('\\\\\\\\lsqhook', '\u2acd') \u2acd\n",
-        "1382 ('\\\\\\\\rsqhook', '\u2ace') \u2ace\n",
-        "1383 ('\\\\\\\\csub', '\u2acf') \u2acf\n",
-        "1384 ('\\\\\\\\csup', '\u2ad0') \u2ad0\n",
-        "1385 ('\\\\\\\\csube', '\u2ad1') \u2ad1\n",
-        "1386 ('\\\\\\\\csupe', '\u2ad2') \u2ad2\n",
-        "1387 ('\\\\\\\\subsup', '\u2ad3') \u2ad3\n",
-        "1388 ('\\\\\\\\supsub', '\u2ad4') \u2ad4\n",
-        "1389 ('\\\\\\\\subsub', '\u2ad5') \u2ad5\n",
-        "1390 ('\\\\\\\\supsup', '\u2ad6') \u2ad6\n",
-        "1391 ('\\\\\\\\suphsub', '\u2ad7') \u2ad7\n",
-        "1392 ('\\\\\\\\supdsub', '\u2ad8') \u2ad8\n",
-        "1393 ('\\\\\\\\forkv', '\u2ad9') \u2ad9\n",
-        "1394 ('\\\\\\\\lllnest', '\u2af7') \u2af7\n",
-        "1395 ('\\\\\\\\gggnest', '\u2af8') \u2af8\n",
-        "1396 ('\\\\\\\\leqqslant', '\u2af9') \u2af9\n",
-        "1397 ('\\\\\\\\geqqslant', '\u2afa') \u2afa\n",
-        "1398 ('\\\\\\\\squaretopblack', '\\\\u2b12') \\u2b12\n",
-        "1399 ('\\\\\\\\squarebotblack', '\\\\u2b13') \\u2b13\n",
-        "1400 ('\\\\\\\\squareurblack', '\\\\u2b14') \\u2b14\n",
-        "1401 ('\\\\\\\\squarellblack', '\\\\u2b15') \\u2b15\n",
-        "1402 ('\\\\\\\\diamondleftblack', '\\\\u2b16') \\u2b16\n",
-        "1403 ('\\\\\\\\diamondrightblack', '\\\\u2b17') \\u2b17\n",
-        "1404 ('\\\\\\\\diamondtopblack', '\\\\u2b18') \\u2b18\n",
-        "1405 ('\\\\\\\\diamondbotblack', '\\\\u2b19') \\u2b19\n",
-        "1406 ('\\\\\\\\dottedsquare', '\\\\u2b1a') \\u2b1a\n",
-        "1407 ('\\\\\\\\lgblksquare', '\\\\u2b1b') \\u2b1b\n",
-        "1408 ('\\\\\\\\lgwhtsquare', '\\\\u2b1c') \\u2b1c\n",
-        "1409 ('\\\\\\\\vysmblksquare', '\\\\u2b1d') \\u2b1d\n",
-        "1410 ('\\\\\\\\vysmwhtsquare', '\\\\u2b1e') \\u2b1e\n",
-        "1411 ('\\\\\\\\pentagonblack', '\\\\u2b1f') \\u2b1f\n",
-        "1412 ('\\\\\\\\pentagon', '\\\\u2b20') \\u2b20\n",
-        "1413 ('\\\\\\\\varhexagon', '\\\\u2b21') \\u2b21\n",
-        "1414 ('\\\\\\\\varhexagonblack', '\\\\u2b22') \\u2b22\n",
-        "1415 ('\\\\\\\\hexagonblack', '\\\\u2b23') \\u2b23\n",
-        "1416 ('\\\\\\\\lgblkcircle', '\\\\u2b24') \\u2b24\n",
-        "1417 ('\\\\\\\\mdblkdiamond', '\\\\u2b25') \\u2b25\n",
-        "1418 ('\\\\\\\\mdwhtdiamond', '\\\\u2b26') \\u2b26\n",
-        "1419 ('\\\\\\\\mdblklozenge', '\\\\u2b27') \\u2b27\n",
-        "1420 ('\\\\\\\\mdwhtlozenge', '\\\\u2b28') \\u2b28\n",
-        "1421 ('\\\\\\\\smblkdiamond', '\\\\u2b29') \\u2b29\n",
-        "1422 ('\\\\\\\\smblklozenge', '\\\\u2b2a') \\u2b2a\n",
-        "1423 ('\\\\\\\\smwhtlozenge', '\\\\u2b2b') \\u2b2b\n",
-        "1424 ('\\\\\\\\blkhorzoval', '\\\\u2b2c') \\u2b2c\n",
-        "1425 ('\\\\\\\\whthorzoval', '\\\\u2b2d') \\u2b2d\n",
-        "1426 ('\\\\\\\\blkvertoval', '\\\\u2b2e') \\u2b2e\n",
-        "1427 ('\\\\\\\\whtvertoval', '\\\\u2b2f') \\u2b2f\n",
-        "1428 ('\\\\\\\\circleonleftarrow', '\\\\u2b30') \\u2b30\n",
-        "1429 ('\\\\\\\\leftthreearrows', '\\\\u2b31') \\u2b31\n",
-        "1430 ('\\\\\\\\leftarrowonoplus', '\\\\u2b32') \\u2b32\n",
-        "1431 ('\\\\\\\\longleftsquigarrow', '\\\\u2b33') \\u2b33\n",
-        "1432 ('\\\\\\\\nvtwoheadleftarrow', '\\\\u2b34') \\u2b34\n",
-        "1433 ('\\\\\\\\nVtwoheadleftarrow', '\\\\u2b35') \\u2b35\n",
-        "1434 ('\\\\\\\\twoheadmapsfrom', '\\\\u2b36') \\u2b36\n",
-        "1435 ('\\\\\\\\twoheadleftdbkarrow', '\\\\u2b37') \\u2b37\n",
-        "1436 ('\\\\\\\\leftdotarrow', '\\\\u2b38') \\u2b38\n",
-        "1437 ('\\\\\\\\nvleftarrowtail', '\\\\u2b39') \\u2b39\n",
-        "1438 ('\\\\\\\\nVleftarrowtail', '\\\\u2b3a') \\u2b3a\n",
-        "1439 ('\\\\\\\\twoheadleftarrowtail', '\\\\u2b3b') \\u2b3b\n",
-        "1440 ('\\\\\\\\nvtwoheadleftarrowtail', '\\\\u2b3c') \\u2b3c\n",
-        "1441 ('\\\\\\\\nVtwoheadleftarrowtail', '\\\\u2b3d') \\u2b3d\n",
-        "1442 ('\\\\\\\\leftarrowx', '\\\\u2b3e') \\u2b3e\n",
-        "1443 ('\\\\\\\\leftcurvedarrow', '\\\\u2b3f') \\u2b3f\n",
-        "1444 ('\\\\\\\\equalleftarrow', '\\\\u2b40') \\u2b40\n",
-        "1445 ('\\\\\\\\bsimilarleftarrow', '\\\\u2b41') \\u2b41\n",
-        "1446 ('\\\\\\\\leftarrowbackapprox', '\\\\u2b42') \\u2b42\n",
-        "1447 ('\\\\\\\\rightarrowgtr', '\\\\u2b43') \\u2b43\n",
-        "1448 ('\\\\\\\\rightarrowsupset', '\\\\u2b44') \\u2b44\n",
-        "1449 ('\\\\\\\\LLeftarrow', '\\\\u2b45') \\u2b45\n",
-        "1450 ('\\\\\\\\RRightarrow', '\\\\u2b46') \\u2b46\n",
-        "1451 ('\\\\\\\\bsimilarrightarrow', '\\\\u2b47') \\u2b47\n",
-        "1452 ('\\\\\\\\rightarrowbackapprox', '\\\\u2b48') \\u2b48\n",
-        "1453 ('\\\\\\\\similarleftarrow', '\\\\u2b49') \\u2b49\n",
-        "1454 ('\\\\\\\\leftarrowapprox', '\\\\u2b4a') \\u2b4a\n",
-        "1455 ('\\\\\\\\leftarrowbsimilar', '\\\\u2b4b') \\u2b4b\n",
-        "1456 ('\\\\\\\\rightarrowbsimilar', '\\\\u2b4c') \\u2b4c\n",
-        "1457 ('\\\\\\\\medwhitestar', '\\\\u2b50') \\u2b50\n",
-        "1458 ('\\\\\\\\medblackstar', '\\\\u2b51') \\u2b51\n",
-        "1459 ('\\\\\\\\smwhitestar', '\\\\u2b52') \\u2b52\n",
-        "1460 ('\\\\\\\\rightpentagonblack', '\\\\u2b53') \\u2b53\n",
-        "1461 ('\\\\\\\\rightpentagon', '\\\\u2b54') \\u2b54\n",
-        "1462 ('\\\\\\\\postalmark', '\u3012') \u3012\n",
-        "1645 ('\\\\\\\\mscrl', '\\\\U1d4c1') \\U1d4c1\n",
-        "2115 ('\\\\\\\\imath', '\\\\U1d6a4') \\U1d6a4\n",
-        "2116 ('\\\\\\\\jmath', '\\\\U1d6a5') \\U1d6a5\n",
-        "2142 ('\\\\\\\\mbfnabla', '\ud835\udec1') \ud835\udec1\n",
-        "2168 ('\\\\\\\\mbfpartial', '\ud835\udedb') \ud835\udedb\n",
-        "2200 ('\\\\\\\\mitnabla', '\ud835\udefb') \ud835\udefb\n",
-        "2226 ('\\\\\\\\mitpartial', '\ud835\udf15') \ud835\udf15\n",
-        "2258 ('\\\\\\\\mbfitnabla', '\ud835\udf35') \ud835\udf35\n",
-        "2284 ('\\\\\\\\mbfitpartial', '\ud835\udf4f') \ud835\udf4f\n",
-        "2316 ('\\\\\\\\mbfsansnabla', '\ud835\udf6f') \ud835\udf6f\n",
-        "2342 ('\\\\\\\\mbfsanspartial', '\ud835\udf89') \ud835\udf89\n",
-        "2374 ('\\\\\\\\mbfitsansnabla', '\ud835\udfa9') \ud835\udfa9\n",
-        "2400 ('\\\\\\\\mbfitsanspartial', '\ud835\udfc3') \ud835\udfc3\n",
-        "2407 ('\\\\\\\\mbfDigamma', '\\\\U1d7ca') \\U1d7ca\n",
-        "2408 ('\\\\\\\\mbfdigamma', '\\\\U1d7cb') \\U1d7cb\n"
-       ]
-      }
-     ],
-     "prompt_number": 9
-    },
-    {
-     "cell_type": "code",
-     "collapsed": false,
-     "input": [
-      "valid_idents = [line for line in lines if test_ident(line[1])]"
-     ],
-     "language": "python",
-     "metadata": {},
-     "outputs": [],
-     "prompt_number": 10
-    },
-    {
-     "cell_type": "heading",
-     "level": 2,
-     "metadata": {},
-     "source": [
-      "Write the `latex_symbols.py` module in the cwd"
-     ]
-    },
-    {
-     "cell_type": "code",
-     "collapsed": false,
-     "input": [
-      "s = \"\"\"# encoding: utf-8\n",
-      "\n",
-      "# This file is autogenerated from the file:\n",
-      "# https://raw.githubusercontent.com/JuliaLang/julia/master/base/latex_symbols.jl\n",
-      "# This original list is filtered to remove any unicode characters that are not valid\n",
-      "# Python identifiers.\n",
-      "\n",
-      "latex_symbols = {\\n\n",
-      "\"\"\"\n",
-      "for line in valid_idents:\n",
-      "    s += '    \"%s\" : \"%s\",\\n' % (line[0], line[1])\n",
-      "s += \"}\\n\""
-     ],
-     "language": "python",
-     "metadata": {},
-     "outputs": [],
-     "prompt_number": 11
-    },
-    {
-     "cell_type": "code",
-     "collapsed": false,
-     "input": [
-      "with open('latex_symbols.py', 'w', encoding='utf-8') as f:\n",
-      "    f.write(s)"
-     ],
-     "language": "python",
-     "metadata": {},
-     "outputs": [],
-     "prompt_number": 12
-    },
-    {
-     "cell_type": "heading",
-     "level": 2,
-     "metadata": {},
-     "source": [
-      "Test the module"
-     ]
-    },
-    {
-     "cell_type": "code",
-     "collapsed": false,
-     "input": [
-      "from latex_symbols import latex_symbols"
-     ],
-     "language": "python",
-     "metadata": {},
-     "outputs": [],
-     "prompt_number": 13
-    },
-    {
-     "cell_type": "code",
-     "collapsed": false,
-     "input": [
-      "len(latex_symbols)"
-     ],
-     "language": "python",
-     "metadata": {},
-     "outputs": [
-      {
-       "metadata": {},
-       "output_type": "pyout",
-       "prompt_number": 14,
-       "text": [
-        "1283"
-       ]
-      }
-     ],
-     "prompt_number": 14
-    },
-    {
-     "cell_type": "code",
-     "collapsed": false,
-     "input": [
-      "tests = ['\\\\alpha', '\\\\vec', '\\\\mbfY']\n",
-      "for t in tests:\n",
-      "    assert t in latex_symbols"
-     ],
-     "language": "python",
-     "metadata": {},
-     "outputs": [],
-     "prompt_number": 15
-    }
-   ],
-   "metadata": {}
-  }
- ]
-}
\ No newline at end of file