docs/Samples/nemeth_integration/Notebook.ipynb

{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Parsing nemeth.json in python to integrate in pybrl\n",
    "\n",
    "`nemeth.json` is a file which includes the Nemeth code in order to translate LaTeX files. I found it in the [latex2nemeth](https://sourceforge.net/projects/latex2nemeth/) project by Antonis Tsolomitis and Andreas Papasalοuros, which translates LaTeX files into Braille."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "I needed to convert this file in order to integrate it into pybrl, which means:\n",
    "- Changing the values which are in unicode, into the raise-dot representation that is used in pybrl. For instance, the plus (+) sign `⠮` needs to be converted into \"011101\".\n",
    "- The keys from the JSON file, need to be converted/used within pybrl later in order to do the math translation.\n",
    "\n",
    "The latter won't be done now, but the conversion of the values is more crucial for now. As of the latest commit, pybrl can also translate unicode braille symbols into the raise-dot representation, which will be used in order to parse the JSON file.\n",
    "\n",
    "The final result of this notebook is already saved in `nemeth.dict`."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### The purpose of this notebook:\n",
    "I want to illustrate how to manipulate such data using functions within pybrl, in order to integrate new languages or symbols. Hopefully, this will help understanding how data is used within the program."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {
    "collapsed": false,
    "scrolled": true
   },
   "outputs": [],
   "source": [
    "# Import the dependencies\n",
    "import six             # Python 2 and 3 compatibility\n",
    "import json            # Load/Save JSON\n",
    "\n",
    "import pybrl as brl    # pybrl"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "# Load the JSON file\n",
    "jdata = {}\n",
    "with open(\"nemeth.json\", 'r') as f:\n",
    "    jdata = json.load(f)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "data": {
      "text/plain": [
       "dict_keys(['letters', 'theoremSymbols', 'mathSymbols'])"
      ]
     },
     "execution_count": 4,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "jdata.keys()"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "In the JSON file, there are three categories of symbols:\n",
    "- `theoremSymbols` are the numeric symbols 0-9\n",
    "- `letters` are English and Greek characters and symbols used in standard text. These aren't needed because they are already included in pybrl and are used in different modules of the program.\n",
    "- `mathSymbols` include the nemeth symbols that we need."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "# Convert the symbols\n",
    "raise_dot = {}\n",
    "for key,val in six.iteritems(jdata['mathSymbols']):\n",
    "    tmp_repr = brl.fromUnicodeSymbols(val)[0] # Get the raise-dot representation list. e.g. ['000101', '100000']\n",
    "    \n",
    "    # Remember that whatever is represented by multiple braille cells, can be represented by concatenating the two representations.\n",
    "    # So, we just join the list:\n",
    "    raise_dot[key] = \"\".join(tmp_repr)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {
    "collapsed": false
   },
   "outputs": [
    {
     "data": {
      "text/plain": [
       "{' ': '',\n",
       " '!': '011010',\n",
       " '#': '001111',\n",
       " '#0': '001111001011',\n",
       " '#1': '001111010000',\n",
       " '#2': '001111011000',\n",
       " '#3': '001111010010',\n",
       " '#4': '001111010011',\n",
       " '#5': '001111010001',\n",
       " '#6': '001111011010',\n",
       " '#7': '001111011011',\n",
       " '#8': '001111011001',\n",
       " '#9': '001111001010',\n",
       " \"'\": '001000',\n",
       " '(': '111011',\n",
       " ')': '011111',\n",
       " '*': '000100001111',\n",
       " '+': '001101',\n",
       " ',': '000001',\n",
       " '-': '001001',\n",
       " '--': '001001001001',\n",
       " '---': '001001001001001001',\n",
       " '.': '010011',\n",
       " '/': '001100',\n",
       " '0': '001011',\n",
       " '1': '010000',\n",
       " '2': '011000',\n",
       " '3': '010010',\n",
       " '4': '010011',\n",
       " '5': '010001',\n",
       " '6': '011010',\n",
       " '7': '011011',\n",
       " '8': '011001',\n",
       " '9': '001010',\n",
       " ':': '011000',\n",
       " ';': '010001',\n",
       " '<': '000010101000',\n",
       " '=': '000101101000',\n",
       " '>': '000101010000',\n",
       " '?': '000111011001',\n",
       " '@': '000100100000011110',\n",
       " 'A': '000001100000',\n",
       " 'B': '000001110000',\n",
       " 'C': '000001100100',\n",
       " 'D': '000001100110',\n",
       " 'E': '000001100010',\n",
       " 'F': '000001110100',\n",
       " 'G': '000001110110',\n",
       " 'H': '000001110010',\n",
       " 'I': '000001010100',\n",
       " 'J': '000001010110',\n",
       " 'K': '000001101000',\n",
       " 'L': '000001111000',\n",
       " 'M': '000001101100',\n",
       " 'N': '000001101110',\n",
       " 'O': '000001101010',\n",
       " 'P': '000001111100',\n",
       " 'Q': '000001111110',\n",
       " 'R': '000001111010',\n",
       " 'S': '000001011100',\n",
       " 'T': '000001011110',\n",
       " 'U': '000001101001',\n",
       " 'V': '000001111001',\n",
       " 'W': '000001010111',\n",
       " 'X': '000001101101',\n",
       " 'Y': '000001101111',\n",
       " 'Z': '000001101011',\n",
       " '[': '000100111011',\n",
       " '\\\\\\n': '',\n",
       " '\\\\ ': '',\n",
       " '\\\\!': '',\n",
       " '\\\\$': '000100011100',\n",
       " '\\\\%': '000100001011',\n",
       " '\\\\&': '000111111101',\n",
       " '\\\\,': '',\n",
       " '\\\\:': '',\n",
       " '\\\\;': '',\n",
       " '\\\\Bbbk': '000111101000',\n",
       " '\\\\Big\\\\|': '000001110011000001110011',\n",
       " '\\\\Bigg\\\\|': '000001110011000001110011',\n",
       " '\\\\Biggl(': '000001111011',\n",
       " '\\\\Biggl[': '000100000001111011',\n",
       " '\\\\Biggl\\\\langle': '000101000101000001111011',\n",
       " '\\\\Biggl\\\\llbracket': '000100000111000001111011',\n",
       " '\\\\Biggl\\\\llcorner': '000100000011000001111011',\n",
       " '\\\\Biggl\\\\ulcorner': '000100000110000001111011',\n",
       " '\\\\Biggl\\\\{': '000101000001111011',\n",
       " '\\\\Biggl|': '000001110011',\n",
       " '\\\\Biggm|': '000001110011',\n",
       " '\\\\Biggr)': '000001011111',\n",
       " '\\\\Biggr\\\\lrcorner': '000100000011000001011111',\n",
       " '\\\\Biggr\\\\rangle': '000101000101000001011111',\n",
       " '\\\\Biggr\\\\rrbracket': '000100000111000001011111',\n",
       " '\\\\Biggr\\\\urcorner': '000100000110000001011111',\n",
       " '\\\\Biggr\\\\}': '000101000001011111',\n",
       " '\\\\Biggr]': '000100000001011111',\n",
       " '\\\\Biggr|': '000001110011',\n",
       " '\\\\Bigl(': '000001111011',\n",
       " '\\\\Bigl[': '000100000001111011',\n",
       " '\\\\Bigl\\\\llbracket': '000100000111000001111011',\n",
       " '\\\\Bigl\\\\llcorner': '000100000011000001111011',\n",
       " '\\\\Bigl\\\\ulcorner': '000100000110000001111011',\n",
       " '\\\\Bigl\\\\{': '000101000001111011',\n",
       " '\\\\Bigl\\\\|': '000001110011',\n",
       " '\\\\Bigl|': '000001110011',\n",
       " '\\\\Bigm|': '000001110011',\n",
       " '\\\\Bigr)': '000001011111',\n",
       " '\\\\Bigr\\\\lrcorner': '000100000011000001011111',\n",
       " '\\\\Bigr\\\\rangle': '000101000101000001011111',\n",
       " '\\\\Bigr\\\\rrbracket': '000100000111000001011111',\n",
       " '\\\\Bigr\\\\urcorner': '000100000110000001011111',\n",
       " '\\\\Bigr\\\\|': '000001110011',\n",
       " '\\\\Bigr\\\\}': '000101000001011111',\n",
       " '\\\\Bigr]': '000100000001011111',\n",
       " '\\\\Bigr|': '000001110011',\n",
       " '\\\\Bot': '110101100101011011011011110011',\n",
       " '\\\\Box': '110101010011',\n",
       " '\\\\Bumpeq': '000100110001000001110001',\n",
       " '\\\\Cap': '000101100101000111110101000101100101110111',\n",
       " '\\\\Colonapprox': '011000011000000010000100100011000100100011',\n",
       " '\\\\Coloneq': '011000011000000010100011',\n",
       " '\\\\Coloneqq': '011000011000000010000101101000',\n",
       " '\\\\Colonsim': '011000011000000100100011',\n",
       " '\\\\Cup': '000101001101000111110101000101001101110111',\n",
       " '\\\\Delta': '000101000001100110',\n",
       " '\\\\Diamond': '110101100110',\n",
       " '\\\\DiamondLeft': '110101010101011011011011110101100110',\n",
       " '\\\\DiamondRight': '110101100110110101011011011011101010',\n",
       " '\\\\Diamondblack': '110101000111100110',\n",
       " '\\\\Diamonddot': '110101100110000111110101100001110111',\n",
       " '\\\\DiamonddotLeft': '110101010101011011011011110101100110000111110101100001110111',\n",
       " '\\\\DiamonddotRight': '110101100110000111110101100001110111110101011011011011101010',\n",
       " '\\\\Diamonddotleft': '110101010101110101100110000111110101100001110111',\n",
       " '\\\\Diamonddotright': '110101100110000111110101100001110111110101101010',\n",
       " '\\\\Diamondleft': '110101010101110101100110',\n",
       " '\\\\Diamondright': '110101100110110101101010',\n",
       " '\\\\Downarrow': '110101100101011011011011101010',\n",
       " '\\\\Eqcolon': '100011000010011000011000',\n",
       " '\\\\Eqqcolon': '000101101000000010011000011000',\n",
       " '\\\\Finv': '110101000001110100110111',\n",
       " '\\\\Game': '110101000001110110110111',\n",
       " '\\\\Gamma': '000101000001110110',\n",
       " '\\\\Im': '000001010100101100',\n",
       " '\\\\Join': '110101000111000100100001111000110111',\n",
       " '\\\\Lambda': '000101000001111000',\n",
       " '\\\\Leftarrow': '110101010101011011011011',\n",
       " '\\\\Leftrightarrow': '110101010101011011011011101010',\n",
       " '\\\\Lleftarrow': '110101010101111111111111',\n",
       " '\\\\Longleftarrow': '110101010101010010010010',\n",
       " '\\\\Longleftrightarrow': '110101010101011011011011101010',\n",
       " '\\\\Longmappedfrom': '110101010101011011011011110011',\n",
       " '\\\\Longmapsto': '110101110011011011011011101010',\n",
       " '\\\\Longmmappedfrom': '110101010101011011011011110011110011',\n",
       " '\\\\Longmmapsto': '110101110011110011011011011011101010',\n",
       " '\\\\Longrightarrow': '110101010101011011011011',\n",
       " '\\\\Mappedfrom': '110101010101011011110011',\n",
       " '\\\\Mapsto': '110101110011011011101010',\n",
       " '\\\\Mmappedfrom': '110101010101011011110011110011',\n",
       " '\\\\Mmapsto': '110101110011110011011011101010',\n",
       " '\\\\Nearrow': '110101000110011011011011101010',\n",
       " '\\\\Nwarrow': '110101000110010101011011011011',\n",
       " '\\\\Omega': '000101000001010111',\n",
       " '\\\\Perp': '110101100101011011011011110011',\n",
       " '\\\\Phi': '000101000001110100',\n",
       " '\\\\Pi': '000101000001111100',\n",
       " '\\\\Pr': '000001111100111010',\n",
       " '\\\\Psi': '000101000001101111',\n",
       " '\\\\Qoppa': '000101000001111110',\n",
       " '\\\\Re': '000001111010100010',\n",
       " '\\\\Rightarrow': '110101011011011011101010',\n",
       " '\\\\Rrightarrow': '110101111111111111101010',\n",
       " '\\\\SS': '000001011100000001011100',\n",
       " '\\\\Sampi': '000101000001100100',\n",
       " '\\\\Searrow': '110101000011011011011011101010',\n",
       " '\\\\Sigma': '000101000001011100',\n",
       " '\\\\Stigma': '000101000001011101',\n",
       " '\\\\Subset': '000111000010101000000111110101000111000010101000110111',\n",
       " '\\\\Supset': '000111000101010000000111110101000111000101010000110111',\n",
       " '\\\\Swarrow': '110101000011010101011011011011',\n",
       " '\\\\Theta': '000101000001100111',\n",
       " '\\\\Top': '110101110001011011011011110011',\n",
       " '\\\\Uparrow': '110101110001011011011011101010',\n",
       " '\\\\Updownarrow': '110101110001010101011011011011101010',\n",
       " '\\\\Upsilon': '000101000001101001',\n",
       " '\\\\VDash': '110101110011110011010010010010',\n",
       " '\\\\Vdash': '110101110011110011011011011011',\n",
       " '\\\\VvDash': '110101110011110011110011011011011011',\n",
       " '\\\\Vvdash': '110101110011110011110011010010010010',\n",
       " '\\\\Wr': '',\n",
       " '\\\\Xi': '000101000001101101',\n",
       " '\\\\_': '001001001001',\n",
       " '\\\\acute': '110001001000',\n",
       " '\\\\adots': '110101110001001000001000001000',\n",
       " '\\\\aleph': '000001000001100000',\n",
       " '\\\\alpha': '000101100000',\n",
       " '\\\\amalg': '110101000101111100110111',\n",
       " '\\\\angle': '110101010101',\n",
       " '\\\\approx': '000100100011000100100011',\n",
       " '\\\\approxeq': '000100100011000100100011100011',\n",
       " '\\\\arccos': '100000111010100100100100101010011100',\n",
       " '\\\\arcsin': '100000111010100100011100010100101110',\n",
       " '\\\\arctan': '100000111010100100011110100000101110',\n",
       " '\\\\arg': '100000111010110110',\n",
       " '\\\\ast': '000100001111',\n",
       " '\\\\asymp': '110101100000110101001000',\n",
       " '\\\\atop': '100101',\n",
       " '\\\\backepsilon': '000100010001',\n",
       " '\\\\backprime': '000100001000',\n",
       " '\\\\backsim': '000100000100100011',\n",
       " '\\\\backsimeq': '000100000100100011100011',\n",
       " '\\\\bar': '100011',\n",
       " '\\\\barlambda': '000100000101111000',\n",
       " '\\\\barwedge': '100011000100100101',\n",
       " '\\\\base': '000010',\n",
       " '\\\\because': '000100001100',\n",
       " '\\\\beta': '000101110000',\n",
       " '\\\\beth': '000001000001111001',\n",
       " '\\\\between': '111011011111',\n",
       " '\\\\big': '000001',\n",
       " '\\\\big(': '000001111011',\n",
       " '\\\\big)': '000001011111',\n",
       " '\\\\big\\\\{': '000101000001111011',\n",
       " '\\\\big\\\\|': '000001110011000001110011',\n",
       " '\\\\big\\\\}': '000001110011000001110011',\n",
       " '\\\\bigcap': '000101100101',\n",
       " '\\\\bigcirc': '110101100100',\n",
       " '\\\\bigcup': '000101001101',\n",
       " '\\\\bigg': '000001',\n",
       " '\\\\bigg(': '000001111011',\n",
       " '\\\\bigg)': '000001011111',\n",
       " '\\\\bigg\\\\{': '000101000001111011',\n",
       " '\\\\bigg\\\\|': '000001110011000001110011',\n",
       " '\\\\bigg\\\\}': '000001110011000001110011',\n",
       " '\\\\biggl(': '000001111011',\n",
       " '\\\\biggl[': '000100000001111011',\n",
       " '\\\\biggl\\\\langle': '000101000101000001111011',\n",
       " '\\\\biggl\\\\llbracket': '000100000111000001111011',\n",
       " '\\\\biggl\\\\llcorner': '000100000011000001111011',\n",
       " '\\\\biggl\\\\ulcorner': '000100000110000001111011',\n",
       " '\\\\biggl\\\\{': '000101000001111011',\n",
       " '\\\\biggl|': '000001110011',\n",
       " '\\\\biggm|': '000001110011',\n",
       " '\\\\biggr)': '000001011111',\n",
       " '\\\\biggr\\\\lrcorner': '000100000011000001011111',\n",
       " '\\\\biggr\\\\rangle': '000101000101000001011111',\n",
       " '\\\\biggr\\\\rrbracket': '000100000111000001011111',\n",
       " '\\\\biggr\\\\urcorner': '000100000110000001011111',\n",
       " '\\\\biggr\\\\}': '000101000001011111',\n",
       " '\\\\biggr]': '000100000001011111',\n",
       " '\\\\biggr|': '000001110011',\n",
       " '\\\\bigg|': '000001110011000001110011',\n",
       " '\\\\bigl(': '000001111011',\n",
       " '\\\\bigl[': '000100000001111011',\n",
       " '\\\\bigl\\\\langle': '000101000101000001111011',\n",
       " '\\\\bigl\\\\llbracket': '000100000111000001111011',\n",
       " '\\\\bigl\\\\llcorner': '000100000011000001111011',\n",
       " '\\\\bigl\\\\ulcorner': '000100000110000001111011',\n",
       " '\\\\bigl\\\\{': '000101000001111011',\n",
       " '\\\\bigl\\\\|': '000001110011',\n",
       " '\\\\bigl|': '000001110011',\n",
       " '\\\\bigm|': '000001110011',\n",
       " '\\\\bignplus': '000101100101000111110101001101110111',\n",
       " '\\\\bigodot': '110101100100000111110101100001110111',\n",
       " '\\\\bigoplus': '110101100100000111110101001101110111',\n",
       " '\\\\bigotimes': '110101100100000111110101000100100001110111',\n",
       " '\\\\bigr)': '000001011111',\n",
       " '\\\\bigr\\\\lrcorner': '000100000011000001011111',\n",
       " '\\\\bigr\\\\rangle': '000101000101000001011111',\n",
       " '\\\\bigr\\\\rrbracket': '000100000111000001011111',\n",
       " '\\\\bigr\\\\urcorner': '000100000110000001011111',\n",
       " '\\\\bigr\\\\|': '000001110011',\n",
       " '\\\\bigr\\\\}': '000101000001011111',\n",
       " '\\\\bigr]': '000100000001011111',\n",
       " '\\\\bigr|': '000001110011',\n",
       " '\\\\bigsqcap': '000100000101100101',\n",
       " '\\\\bigsqcapplus': '000100000101100101000111110101001101110111',\n",
       " '\\\\bigsqcup': '000100000101001101',\n",
       " '\\\\bigsqcupplus': '000100000101001101000111110101001101110111',\n",
       " '\\\\bigstar': '110101000111011100',\n",
       " '\\\\bigtriangledown': '000101110101',\n",
       " '\\\\bigtriangleup': '110101011110',\n",
       " '\\\\biguplus': '000101001101000111110101001101110111',\n",
       " '\\\\bigvee': '000100001101',\n",
       " '\\\\bigwedge': '000100100101',\n",
       " '\\\\big|': '000001110011000001110011',\n",
       " '\\\\binom': '100101',\n",
       " '\\\\blacklozenge': '110101000111100110',\n",
       " '\\\\blacksquare': '110101000111010011',\n",
       " '\\\\blacktriangle': '110101000111011110',\n",
       " '\\\\blacktriangledown': '110101000111000101011110',\n",
       " '\\\\blacktriangleleft': '000111110101000010101000111000110111',\n",
       " '\\\\blacktriangleright': '000111110101000111000101010000110111',\n",
       " '\\\\bot': '110101111100',\n",
       " '\\\\bowtie': '110101000111000100100001111000110111',\n",
       " '\\\\boxLeft': '110101010101001011001011110101010011',\n",
       " '\\\\boxRight': '110101010011110101011011011011101010',\n",
       " '\\\\boxast': '110101010011000111110101000100001111110111',\n",
       " '\\\\boxbar': '110101010011000111110101110011110111',\n",
       " '\\\\boxbslash': '110101010011000111110101010001110111',\n",
       " '\\\\boxdot': '110101010011000111110101100001110111',\n",
       " '\\\\boxdotLeft': '110101010101011011011011110101010011000111110101100001110111',\n",
       " '\\\\boxdotRight': '110101010011000111110101100001110111110101011011011011101010',\n",
       " '\\\\boxdotleft': '110101010101110101010011000111110101100001110111',\n",
       " '\\\\boxdotright': '110101010011000111100001110111110101101010',\n",
       " '\\\\boxleft': '110101010101110101010011',\n",
       " '\\\\boxminus': '110101010011000111110101100011110111',\n",
       " '\\\\boxplus': '110101010011000111110101001101110111',\n",
       " '\\\\boxright': '110101010011110101101010',\n",
       " '\\\\boxslash': '110101010011000111110101001010110111',\n",
       " '\\\\boxtimes': '110101010011000111110101000100100001110111',\n",
       " '\\\\breve': '000111100101',\n",
       " '\\\\bullet': '000111010011',\n",
       " '\\\\cap': '000101100101',\n",
       " '\\\\cdot': '100001',\n",
       " '\\\\cdots': '001000001000001000',\n",
       " '\\\\centerdot': '100001',\n",
       " '\\\\check': '110001000100000111110001',\n",
       " '\\\\checked': '000100001110',\n",
       " '\\\\chi': '000101111101',\n",
       " '\\\\choose': '100101',\n",
       " '\\\\circ': '000101100001',\n",
       " '\\\\circeq': '000010000101101000110001000101100001110111',\n",
       " '\\\\circlearrowleft': '110101100100000111110101010101110111',\n",
       " '\\\\circlearrowright': '110101100100000111110101101010110111',\n",
       " '\\\\circledS': '110101100100000111110101000001011100110111',\n",
       " '\\\\circledast': '110101100100000111110101000100001111110111',\n",
       " '\\\\circledbar': '110101100100000111110101110011110111',\n",
       " '\\\\circledbslash': '110101100100000111110101010001110111',\n",
       " '\\\\circledcirc': '110101100100000111110101000101100001110111',\n",
       " '\\\\circleddash': '110101100100000111110101001001110111',\n",
       " '\\\\circleddotleft': '110101100100000111110101100001110101010101110111',\n",
       " '\\\\circleddotright': '110101100100000111110101100001110101101010110111',\n",
       " '\\\\circledgtr': '110101100100000111110101000101010000110111',\n",
       " '\\\\circledless': '110101100100000111110101000010101000110111',\n",
       " '\\\\circledvee': '110101100100000111110101000100001111110111',\n",
       " '\\\\circledwedge': '110101100100000111110101000100100111110111',\n",
       " '\\\\circleleft': '110101100100000111110101010101110111',\n",
       " '\\\\circleright': '110101100100000111110101101010110111',\n",
       " '\\\\colonapprox': '011000000100100011000100100011',\n",
       " '\\\\coloneq': '011000000010100011',\n",
       " '\\\\coloneqq': '011000000010000101101000',\n",
       " '\\\\colonsim': '011000000010000100100011',\n",
       " '\\\\complement': '000101100100',\n",
       " '\\\\cong': '000100100011000101101000',\n",
       " '\\\\coprod': '10010010111001011010110100010100101001010110100010010001',\n",
       " '\\\\copyright': '110101100100000111110101000001100100110111',\n",
       " '\\\\cos': '100100101010011100',\n",
       " '\\\\cosh': '100100101010011100110010',\n",
       " '\\\\cot': '100100101010011110',\n",
       " '\\\\coth': '100100101010011110110010',\n",
       " '\\\\csc': '100100011100100100',\n",
       " '\\\\cup': '000101001101',\n",
       " '\\\\curlyeqprec': '110101100011000101000010101000110111',\n",
       " '\\\\curlyeqsucc': '110101100011000101000101010000110111',\n",
       " '\\\\curlyvee': '110101000100001101110111',\n",
       " '\\\\curlywedge': '110101000100100101110111',\n",
       " '\\\\curvearrowleft': '110101010001001010101010',\n",
       " '\\\\curvearrowright': '110101010101010001001010',\n",
       " '\\\\dagger': '000111110111',\n",
       " '\\\\daleth': '000001000001100110',\n",
       " '\\\\dashleftarrow': '110101010101010010',\n",
       " '\\\\dashleftrightarrow': '110101010101010010',\n",
       " '\\\\dashrightarrow': '110101010010',\n",
       " '\\\\dashv': '110101010010010010110011',\n",
       " '\\\\ddag': '000111000111110111',\n",
       " '\\\\ddagger': '000111000111110111',\n",
       " '\\\\ddot': '110001100001100001110111',\n",
       " '\\\\ddots': '110101100101001000001000001000',\n",
       " '\\\\deg': '100110100010110110',\n",
       " '\\\\delta': '000101100110',\n",
       " '\\\\det': '100110100010011110',\n",
       " '\\\\diagdown': '000111100001',\n",
       " '\\\\diagup': '001100',\n",
       " '\\\\diamond': '110101100110',\n",
       " '\\\\digamma': '000101111001',\n",
       " '\\\\dim': '100110010100101100',\n",
       " '\\\\displaystyle': '',\n",
       " '\\\\div': '000101001100',\n",
       " '\\\\divideontimes': '000100100001000111110101000101001100110111',\n",
       " '\\\\dot-begin': '000010',\n",
       " '\\\\dot-end': '100001',\n",
       " '\\\\doteq': '000010000101101000110001100001110111',\n",
       " '\\\\doteqdot': '000010000101101000100101100001110001100001110111',\n",
       " '\\\\dotplus': '000010001101110001100001110111',\n",
       " '\\\\dots': '001000001000001000',\n",
       " '\\\\dotsc': '001000001000001000',\n",
       " '\\\\doublebarwedge': '000101101000000100100101',\n",
       " '\\\\downarrow': '110101100101010010010010101010',\n",
       " '\\\\downdownarrows': '110101100101010010010010101010000010110101100101010010010010101010',\n",
       " '\\\\downharpoonleft': '110101100101010010010010000001101010',\n",
       " '\\\\downharpoonright': '110101100101010010010010000100101010',\n",
       " '\\\\ell': '000001111000',\n",
       " '\\\\emptyset': '000111001011',\n",
       " '\\\\epsilon': '000101100010',\n",
       " '\\\\eqcirc': '000101100001000100000101101000110111',\n",
       " '\\\\eqcolon': '100011000010011000',\n",
       " '\\\\eqqcolon': '000101101000000010011000',\n",
       " '\\\\eqslantgtr': '100011000101010000',\n",
       " '\\\\eqslantless': '100011000010101000',\n",
       " '\\\\equiv': '000111111000',\n",
       " '\\\\eta': '000101100011',\n",
       " '\\\\eth': '110101001100000100100110110111',\n",
       " '\\\\exists': '000100111111',\n",
       " '\\\\exp': '100010101101111100',\n",
       " '\\\\fallingdotseq': '',\n",
       " '\\\\fint': '001100011101',\n",
       " '\\\\forall': '000100111101',\n",
       " '\\\\frac-b': '100111',\n",
       " '\\\\frac-e': '001111',\n",
       " '\\\\frac-separator': '001100',\n",
       " '\\\\frown': '110101100000',\n",
       " '\\\\gamma': '000101110110',\n",
       " '\\\\gcd': '110110100100100110',\n",
       " '\\\\geq': '000101010000100011',\n",
       " '\\\\geqq': '000101010000000101101000',\n",
       " '\\\\geqslant': '000101010000100011',\n",
       " '\\\\gg': '000101010000000100000101010000110111',\n",
       " '\\\\ggg': '000101010000000100000101010000000100000101010000110111',\n",
       " '\\\\gimel': '000001000001110110',\n",
       " '\\\\gnapprox': '000101010000001100000100100011000100100011',\n",
       " '\\\\gneq': '000101010000001100100011',\n",
       " '\\\\gneqq': '000010000101101000110001000101100001110111',\n",
       " '\\\\gnsim': '000101010000001100000100100011',\n",
       " '\\\\grave': '100011',\n",
       " '\\\\gtrapprox': '000101010000000100100011000100100011',\n",
       " '\\\\gtrdot': '000101010000000111110101100001110111',\n",
       " '\\\\gtreqless': '000101010000100011000010101000',\n",
       " '\\\\gtreqqless': '000101010000000101101000000010101000',\n",
       " '\\\\gtrless': '000101010000000010101000',\n",
       " '\\\\gtrsim': '000101010000000100100011',\n",
       " '\\\\gvertneqq': '000101010000001100000101101000',\n",
       " '\\\\hat': '110001000111110001',\n",
       " '\\\\hbar': '000100110010',\n",
       " '\\\\hom': '110010101010101100',\n",
       " '\\\\hookleftarrow': '110101010101010010010010000100101111',\n",
       " '\\\\hookrightarrow': '110101000100111101010010010010101010',\n",
       " '\\\\hslash': '110101001100110010110111',\n",
       " '\\\\hspace*': '',\n",
       " '\\\\idotsint': '011101001000001000001000011101',\n",
       " '\\\\iiiint': '011101011101011101011101',\n",
       " '\\\\iiint': '011101011101011101',\n",
       " '\\\\iint': '011101011101',\n",
       " '\\\\imath': '110101010100110111',\n",
       " '\\\\in': '000100100010',\n",
       " '\\\\inf': '010100101110110100',\n",
       " '\\\\infty': '000001111111',\n",
       " '\\\\int': '011101',\n",
       " '\\\\intercal': '110101110001010010010010110011',\n",
       " '\\\\invamp': '110101111101110111',\n",
       " '\\\\iota': '000101010100',\n",
       " '\\\\jmath': '110101010110110111',\n",
       " '\\\\kappa': '000101101000',\n",
       " '\\\\ker': '101000100010111010',\n",
       " '\\\\lJoin': '110101000111000100100001110111',\n",
       " '\\\\lambda': '000101111000',\n",
       " '\\\\lambdabar': '000100000101111000',\n",
       " '\\\\lambdaslash': '110101001100000101111000110111',\n",
       " '\\\\langle': '000101000101111011',\n",
       " '\\\\lceil': '000100000110111011',\n",
       " '\\\\ldots': '001000001000001000',\n",
       " '\\\\le': '000010101000100011',\n",
       " '\\\\leadsto': '110101001010010010010001101010',\n",
       " '\\\\leadstoext': '000100100011',\n",
       " '\\\\left(': '000001111011',\n",
       " '\\\\left.': '',\n",
       " '\\\\left[': '000100000001111011',\n",
       " '\\\\left\\\\langle': '000101000101000001111011',\n",
       " '\\\\left\\\\llbracket': '000100000111000001111011',\n",
       " '\\\\left\\\\llcorner': '000100000011000001111011',\n",
       " '\\\\left\\\\ulcorner': '000100000110000001111011',\n",
       " '\\\\left\\\\{': '000101000001111011',\n",
       " '\\\\left\\\\|': '000001110011000001110011',\n",
       " '\\\\leftarrow': '110101010101',\n",
       " '\\\\leftarrowtail': '110101010101010010010010010101',\n",
       " '\\\\leftharpoondown': '110101000001010101010010010010',\n",
       " '\\\\leftharpoonup': '110101000100010101010010010010',\n",
       " '\\\\leftleftarrows': '110101010101010010010010110101010101010010010010',\n",
       " '\\\\leftquote': '000001011001',\n",
       " '\\\\leftrightarrow': '110101010101010010010010101010',\n",
       " '\\\\leftrightarrows': '110101010101010010010010110101010010010010101010',\n",
       " '\\\\leftrightharpoons': '110101000001010101010010010010110101010010010010000100101010',\n",
       " '\\\\leftrightsquigarrow': '110101010101001010010001001010101010',\n",
       " '\\\\leftsquigarrow': '110101010101001010010001001010',\n",
       " '\\\\leftthreetimes': '',\n",
       " '\\\\left|': '000001110011',\n",
       " '\\\\lenqno': '',\n",
       " '\\\\leq': '000010101000100011',\n",
       " '\\\\leqno': '',\n",
       " '\\\\leqq': '000010101000000101101000',\n",
       " '\\\\leqslant': '000010101000100011',\n",
       " '\\\\lessapprox': '000010101000000100100011000100100011',\n",
       " '\\\\lessdot': '000010101000000111110101100001110111',\n",
       " '\\\\lesseqgtr': '000010101000100011000101010000',\n",
       " '\\\\lesseqqgtr': '000010101000000101101000000101010000',\n",
       " '\\\\lessgtr': '000010101000000101010000',\n",
       " '\\\\lesssim': '000010101000000100100011',\n",
       " '\\\\lfloor': '000100000011111011',\n",
       " '\\\\lg': '111000110110',\n",
       " '\\\\lhd': '110101000010101000111000110111',\n",
       " '\\\\lim': '111000010100101100',\n",
       " '\\\\liminf': '100101111000010100101100',\n",
       " '\\\\limsup': '110001111000010100101100',\n",
       " '\\\\ll': '000010101000000100000010101000110111',\n",
       " '\\\\llbracket': '000100000111111011',\n",
       " '\\\\llcorner': '000100000011111011',\n",
       " '\\\\lll': '000010101000000100000010101000000100000010101000110111',\n",
       " '\\\\ln': '111000101110',\n",
       " '\\\\lnapprox': '000010101000001100000100100011000100100011',\n",
       " '\\\\lneq': '000010101000001100100011',\n",
       " '\\\\lneqq': '000010101000001100000101101000',\n",
       " '\\\\lnsim': '000010101000001100000100100011',\n",
       " '\\\\log': '111000101010110110',\n",
       " '\\\\longleftarrow': '110101010101010010010010',\n",
       " '\\\\longleftrightarrow': '110101010101010010010010101010',\n",
       " '\\\\longmappedfrom': '110101010101010010010010110011',\n",
       " '\\\\longmapsto': '110101110011010010010010101010',\n",
       " '\\\\longmmappedfrom': '110101010101010010010010110011110011',\n",
       " '\\\\longmmapsto': '110101110011110011010010010010101010',\n",
       " '\\\\longrightarrow': '110101010010010010101010',\n",
       " '\\\\lowint': '100101011101',\n",
       " '\\\\lozenge': '110101100110',\n",
       " '\\\\lq': '000001011001',\n",
       " '\\\\lrJoin': '110101000111000100100001111000110111',\n",
       " '\\\\lrcorner': '000100000011011111',\n",
       " '\\\\lrtimes': '110101000111000100100001111000110111',\n",
       " '\\\\ltimes': '110101000111000100100001110111',\n",
       " '\\\\lvertneqq': '000010101000100011001100000101101000110111',\n",
       " '\\\\mappedfrom': '110101010101010010110011',\n",
       " '\\\\mapsto': '110101110011010010101010',\n",
       " '\\\\mathbb': '000111',\n",
       " '\\\\mathcal': '000100000011',\n",
       " '\\\\mathring': '000101100001',\n",
       " '\\\\max': '101100100000101101',\n",
       " '\\\\measuredangle': '110101010101000100110101100000110111',\n",
       " '\\\\medbullet': '110101000111100100',\n",
       " '\\\\medcirc': '110101100100',\n",
       " '\\\\mho': '110101000101010110110111',\n",
       " '\\\\mid': '110011',\n",
       " '\\\\min': '101100010100101110',\n",
       " '\\\\mmappedfrom': '110101010101010010110011110011',\n",
       " '\\\\mmapsto': '110101110011110011010010101010',\n",
       " '\\\\models': '110101110011011011011011',\n",
       " '\\\\mp': '001001001101',\n",
       " '\\\\mu': '000101101100',\n",
       " '\\\\multimap': '110101010010010010000101100001',\n",
       " '\\\\multimapboth': '110101000101100001010010010010000101100001',\n",
       " '\\\\multimapbothvert': '110101110001000101100001010010010010000101100001',\n",
       " '\\\\multimapdot': '110101010010010010100001',\n",
       " '\\\\multimapdotboth': '110101100001010010010010100001',\n",
       " '\\\\multimapdotbothA': '110101000101100001010010010010100001',\n",
       " '\\\\multimapdotbothAvert': '110101110001100001010010010010000101100001',\n",
       " '\\\\multimapdotbothB': '110101100001010010010010000101100001',\n",
       " '\\\\multimapdotbothBvert': '110101110001000101100001010010010010100001',\n",
       " '\\\\multimapdotbothvert': '110101110001100001010010010010100001',\n",
       " '\\\\multimapdotinv': '110101100001010010010010',\n",
       " '\\\\multimapinv': '110101000101100001010010010010',\n",
       " '\\\\nBumpeq': '001100000100110001000001110001',\n",
       " '\\\\nLeftarrow': '001100110101010101011011011011',\n",
       " '\\\\nLeftrightarrow': '001100110101010101011011011011101010',\n",
       " '\\\\nRightarrow': '001100110101011011011011101010',\n",
       " '\\\\nSubset': '001100000111000010101000000111110101000111000010101000110111',\n",
       " '\\\\nSupset': '001100000111000101010000000111110101000111000101010000110111',\n",
       " '\\\\nVDash': '001100110101110011110011010010010010',\n",
       " '\\\\nabla': '000101110101',\n",
       " '\\\\napprox': '001100000100100011000100100011',\n",
       " '\\\\napproxeq': '001100000100100011000100100011100011',\n",
       " '\\\\nasymp': '001100110101100000110101001000',\n",
       " '\\\\nbacksim': '001100000100000100100011',\n",
       " '\\\\ncong': '001100000100100011000101101000',\n",
       " '\\\\ne': '001100000101101000',\n",
       " '\\\\nearrow': '110101000110010010010010101010',\n",
       " '\\\\neg': '110101010010010010000001110011',\n",
       " '\\\\neq': '001100000101101000',\n",
       " '\\\\nequiv': '001100111111',\n",
       " '\\\\nexists': '001100000100111111',\n",
       " '\\\\ngeq': '001100000101010000100011',\n",
       " '\\\\ngeqq': '001100000101010000000101101000',\n",
       " '\\\\ngeqslant': '001100000101010000100011',\n",
       " '\\\\ngg': '001100000101010000000100000101010000110111',\n",
       " '\\\\ngtr': '001100000101010000',\n",
       " '\\\\ngtrapprox': '001100000101010000000100100011000100100011',\n",
       " '\\\\ngtrless': '001100000010101000000101010000',\n",
       " '\\\\ngtrsim': '001100000101010000000100100011',\n",
       " '\\\\ni': '000100010001',\n",
       " '\\\\nleftarrow': '001100110101010101',\n",
       " '\\\\nleftrightarrow': '001100110101010101010010010010101010',\n",
       " '\\\\nleq': '001100000010101000100011',\n",
       " '\\\\nleqq': '001100000010101000000101101000',\n",
       " '\\\\nleqslant': '001100000010101000100011',\n",
       " '\\\\nless': '001100000010101000',\n",
       " '\\\\nlessapprox': '001100000010101000000100100011000100100011',\n",
       " '\\\\nlessgtr': '001100000101010000000010101000',\n",
       " '\\\\nlesssim': '001100000010101000000100100011',\n",
       " '\\\\nll': '001100000010101000000100000010101000110111',\n",
       " '\\\\nmid': '001100110011',\n",
       " '\\\\not': '001100',\n",
       " '\\\\notin': '001100000100100010',\n",
       " '\\\\notni': '001100000100010001',\n",
       " '\\\\notowns': '001100000100010001',\n",
       " '\\\\nparallel': '001100110101111000',\n",
       " '\\\\nplus': '000101100101000111110101001101110111',\n",
       " '\\\\nprec': '001100000101000010101000',\n",
       " '\\\\nprecapprox': '001100000101000010101000000100100011000100100011',\n",
       " '\\\\npreccurlyeq': '001100110101000101000010101000100011110111',\n",
       " '\\\\npreceq': '001100000101000010101000100011',\n",
       " '\\\\npreceqq': '001100000101000010101000000101101000',\n",
       " '\\\\nprecsim': '001100000101000010101000000100100011',\n",
       " '\\\\nrightarrow': '001100110101101010',\n",
       " '\\\\nshortmid': '001100110011',\n",
       " '\\\\nshortparallel': '001100110101111000',\n",
       " '\\\\nsim': '001100000100100011',\n",
       " '\\\\nsimeq': '001100000100100011100011',\n",
       " '\\\\nsqsubset': '001100000100000111000010101000',\n",
       " '\\\\nsqsubseteq': '001100000100000111000010101000100011',\n",
       " '\\\\nsqsupset': '001100000100000111000101010000',\n",
       " '\\\\nsqsupseteq': '001100000100000111000101010000100011',\n",
       " '\\\\nsubset': '001100000111000010101000',\n",
       " '\\\\nsubseteq': '001100000111000010101000100011',\n",
       " '\\\\nsucc': '000101000101010000',\n",
       " '\\\\nsuccapprox': '001100000101000101010000000100100011000100100011',\n",
       " '\\\\nsucccurlyeq': '001100110101000101000101010000100011110111',\n",
       " '\\\\nsucceq': '001100000101000101010000100011',\n",
       " '\\\\nsucceqq': '001100000101000101010000000101101000',\n",
       " '\\\\nsuccsim': '001100000101000101010000000100100011',\n",
       " '\\\\nsupset': '001100000111000101010000',\n",
       " '\\\\nsupseteq': '001100000111000101010000100011',\n",
       " '\\\\nsupseteqq': '001100000111000101010000000101101000',\n",
       " '\\\\nthickapprox': '001100000111000100100011000111000100100011',\n",
       " '\\\\ntriangleleft': '001100110101000010101000111000110111',\n",
       " '\\\\ntrianglelefteq': '001100110101000010101000111000100011110111',\n",
       " '\\\\ntriangleright': '001100110101000111000101010000110111',\n",
       " '\\\\ntrianglerighteq': '001100110101000111000101010000100011110111',\n",
       " '\\\\ntwoheadleftarrow': '001100110101010101010101010010010010',\n",
       " '\\\\ntwoheadrightarrow': '001100110101010010010010101010101010',\n",
       " '\\\\nu': '000101101110',\n",
       " '\\\\nvDash': '001100110101110011011011011011',\n",
       " '\\\\nvarparallel': '001100110101111000',\n",
       " '\\\\nvarparallelinv': '001100000111100001000111100001',\n",
       " '\\\\nvdash': '001100110101110011010010010010',\n",
       " '\\\\nwarrow': '110101000110010101010010010010',\n",
       " '\\\\odot': '110101100100000111110101100001110111',\n",
       " '\\\\oiiint': '011101011101011101000100110101100100110111',\n",
       " '\\\\oiiintclockwise': '011101011101011101000100110101010101010001001010110111',\n",
       " '\\\\oiiintctrclockwise': '011101011101011101000100110101010001001010101010110111',\n",
       " '\\\\oiint': '011101011101000100110101100100110111',\n",
       " '\\\\oiintclockwise': '011101011101000100110101010101010001001010110111',\n",
       " '\\\\oiintctrclockwise': '011101011101000100110101010001001010101010110111',\n",
       " '\\\\oint': '011101000100110101100100110111',\n",
       " '\\\\ointclockwise': '011101000100110101010101010001001010110111',\n",
       " '\\\\ointctrclockwise': '011101000100110101010001001010101010110111',\n",
       " '\\\\omega': '000101010111',\n",
       " '\\\\ominus': '110101100100000111110101001001110111',\n",
       " '\\\\openJoin': '000100100001',\n",
       " '\\\\oplus': '110101100100000111110101001101110111',\n",
       " '\\\\oslash': '110101100100000111110101001010110111',\n",
       " '\\\\otimes': '110101100100000111110101000100100001110111',\n",
       " '\\\\overbrace-begin': '000010',\n",
       " '\\\\overbrace-end': '110111',\n",
       " '\\\\overbrace-middle': '110001000101111011110001110001',\n",
       " '\\\\overline-begin': '000010',\n",
       " '\\\\overline-end': '110001100011',\n",
       " '\\\\parallel': '110101111000',\n",
       " '\\\\partial': '000100100110',\n",
       " '\\\\perp': '110101111100',\n",
       " '\\\\phi': '000101110100',\n",
       " '\\\\pi': '000101111100',\n",
       " '\\\\pm': '001101001001',\n",
       " '\\\\prec': '000101000010101000',\n",
       " '\\\\precapprox': '000101000010101000000100100011000100100011',\n",
       " '\\\\preccurlyeq': '110101000101000010101000100011110111',\n",
       " '\\\\preceq': '000101000010101000100011',\n",
       " '\\\\preceqq': '000101000010101000000101101000',\n",
       " '\\\\precnapprox': '001100000101000010101000000100100011000100100011',\n",
       " '\\\\precnsim': '000101000010101000001100000100100011',\n",
       " '\\\\precsim': '000101000010101000000100100011',\n",
       " '\\\\prime': '001000',\n",
       " '\\\\prod': '000101000001111100',\n",
       " '\\\\propto': '000111111111',\n",
       " '\\\\psi': '000101101111',\n",
       " '\\\\qquad': '',\n",
       " '\\\\quad': '',\n",
       " '\\\\rJoin': '110101000100100001111000110111',\n",
       " '\\\\radical-index': '110001',\n",
       " '\\\\rangle': '000101000101011111',\n",
       " '\\\\rceil': '000100000110011111',\n",
       " '\\\\rfloor': '000100000011011111',\n",
       " '\\\\rhd': '110101000111000101010000110111',\n",
       " '\\\\rho': '000101111010',\n",
       " '\\\\right)': '000001011111',\n",
       " '\\\\right.': '',\n",
       " '\\\\right\\\\lrcorner': '000100000011000001011111',\n",
       " '\\\\right\\\\rangle': '000101000101000001011111',\n",
       " '\\\\right\\\\rrbracket': '000100000111000001011111',\n",
       " '\\\\right\\\\urcorner': '000100000110000001011111',\n",
       " '\\\\right\\\\|': '000001110011000001110011',\n",
       " '\\\\right\\\\}': '000101000001011111',\n",
       " '\\\\right]': '000100000001011111',\n",
       " '\\\\rightarrow': '110101101010',\n",
       " '\\\\rightarrowtail': '110101101010010010010010101010',\n",
       " '\\\\rightharpoondown': '110101010010010010000001101010',\n",
       " '\\\\rightharpoonup': '110101010010010010000100101010',\n",
       " '\\\\rightleftarrows': '110101010010010010101010110101010101010010010010',\n",
       " '\\\\rightleftharpoons': '110101010010010010000100101010110101000001010101010010010010',\n",
       " '\\\\rightquote': '001011001000',\n",
       " '\\\\rightrightarrows': '110101010010010010101010110101010010010010101010',\n",
       " '\\\\rightsquigarrow': '110101001010010001001010101010',\n",
       " '\\\\rightthreetimes': '',\n",
       " '\\\\right|': '000001110011',\n",
       " '\\\\risingdotseq': '',\n",
       " '\\\\rq': '001011001000',\n",
       " '\\\\rrbracket': '000100000111011111',\n",
       " '\\\\rtimes': '110101000100100001111000110111',\n",
       " '\\\\searrow': '110101000011010010010010101010',\n",
       " '\\\\sec': '011100100010100100',\n",
       " '\\\\setminus': '000111100001',\n",
       " '\\\\sharp': '000101001111',\n",
       " '\\\\shortmid': '110011',\n",
       " '\\\\shortparallel': '110101111000',\n",
       " '\\\\sigma': '000101011100',\n",
       " '\\\\sim': '000100100011',\n",
       " '\\\\simeq': '000100100011100011',\n",
       " '\\\\sin': '011100010100101110',\n",
       " '\\\\sinh': '011100010100101110110010',\n",
       " '\\\\smallfrown': '110101100000',\n",
       " '\\\\smallsetminus': '000111100001',\n",
       " '\\\\smallsmile': '110101001000',\n",
       " '\\\\smile': '110101001000',\n",
       " '\\\\sphericalangle': '110101010101000111110101110101100000110111',\n",
       " '\\\\sqcap': '000100000101100101',\n",
       " '\\\\sqcapplus': '000100000101100101000111110101001101110111',\n",
       " '\\\\sqcup': '000100000101001101',\n",
       " '\\\\sqcupplus': '000100000101001101000111110101001101110111',\n",
       " '\\\\sqiiintop': '011101011101011101000100110101111010110111',\n",
       " '\\\\sqiintop': '011101011101000100110101111010110111',\n",
       " '\\\\sqint': '011101000100110101010011110111',\n",
       " '\\\\sqrt-b': '001110',\n",
       " '\\\\sqrt-e': '110111',\n",
       " '\\\\sqrt-level': '000101',\n",
       " '\\\\sqsubset': '000100000111000010101000',\n",
       " '\\\\sqsubseteq': '000100000111000010101000100011',\n",
       " '\\\\sqsupset': '000100000111000101010000',\n",
       " '\\\\sqsupseteq': '000100000111000101010000100011',\n",
       " '\\\\square': '110101010011',\n",
       " '\\\\stackrel-begin': '000010',\n",
       " '\\\\stackrel-end': '110111',\n",
       " '\\\\stackrel-middle': '110001',\n",
       " '\\\\star': '110101011100',\n",
       " '\\\\strictfi': '110101111101010010010010',\n",
       " '\\\\strictif': '110101010010010010101111',\n",
       " '\\\\strictiff': '110101111101010010010010101111',\n",
       " '\\\\sub': '000011',\n",
       " '\\\\subset': '000111000010101000',\n",
       " '\\\\subseteq': '000111000010101000100011',\n",
       " '\\\\subseteqq': '000111000010101000000101101000',\n",
       " '\\\\subsetneq': '000111000010101000001100100011',\n",
       " '\\\\subsetneqq': '000111000010101000001100000101101000',\n",
       " '\\\\succ': '000101000101010000',\n",
       " '\\\\succapprox': '000101000101010000000100100011000100100011',\n",
       " '\\\\succcurlyeq': '110101000101000101010000100011110111',\n",
       " '\\\\succeq': '000101000101010000100011',\n",
       " '\\\\succeqq': '000101000101010000000101101000',\n",
       " '\\\\succnapprox': '000101000101010000001100000100100011000100100011',\n",
       " '\\\\succnsim': '000101000101010000001100000100100011',\n",
       " '\\\\succsim': '000101000101010000000100100011',\n",
       " '\\\\sum': '000101000001011100',\n",
       " '\\\\sup': '011100101001111100',\n",
       " '\\\\superscript': '000110',\n",
       " '\\\\supset': '000111000101010000',\n",
       " '\\\\supseteq': '000111000101010000100011',\n",
       " '\\\\supseteqq': '000111000101010000000101101000',\n",
       " '\\\\supsetneq': '000111000101010000001100100011',\n",
       " '\\\\supsetneqq': '000111000101010000001100000101101000',\n",
       " '\\\\surd': '001110',\n",
       " '\\\\swarrow': '110101000011010101010010010010',\n",
       " '\\\\tan': '011110100000101110',\n",
       " '\\\\tanh': '011110100000101110110010',\n",
       " '\\\\tau': '000101011110',\n",
       " '\\\\textstirling': '000100111000',\n",
       " '\\\\therefore': '000001100001',\n",
       " '\\\\theta': '000101100111',\n",
       " '\\\\thickapprox': '000111000100100011000111000100100011',\n",
       " '\\\\thicksim': '000111000100100011',\n",
       " '\\\\tianglelefteq': '110101000010101000111000100011110111',\n",
       " '\\\\tilde': '000100100011',\n",
       " '\\\\times': '000100100001',\n",
       " '\\\\to': '110101101010',\n",
       " '\\\\top': '110101110001010010010010110011',\n",
       " '\\\\trangleleft': '110101000010101000111000110111',\n",
       " '\\\\triangle': '110101011110',\n",
       " '\\\\triangledown': '000101110101',\n",
       " '\\\\trianglelefteq': '110101000010101000111000100011110111',\n",
       " '\\\\triangleq': '000010000101101000110001110101011110110111',\n",
       " '\\\\triangleright': '110101000111000101010000110111',\n",
       " '\\\\trianglerighteq': '110101000111000101010000100011110111',\n",
       " '\\\\twoheadleftarrow': '110101010101010101010010010010',\n",
       " '\\\\twoheadrightarrow': '110101010010010010101010101010',\n",
       " '\\\\ulcorner': '000100000110111011',\n",
       " '\\\\under': '100101',\n",
       " '\\\\underbrace-begin': '000010',\n",
       " '\\\\underbrace-end': '110111',\n",
       " '\\\\underbrace-middle': '100101000101011111100101100101',\n",
       " '\\\\underline-begin': '000010',\n",
       " '\\\\underline-end': '100101100011',\n",
       " '\\\\unlhd': '110101000010101000111000100011110111',\n",
       " '\\\\unrhd': '110101000111000101010000100011110111',\n",
       " '\\\\uparrow': '110101110001010010010010101010',\n",
       " '\\\\updownarrow': '110101110001010101010010010010101010',\n",
       " '\\\\upharpoonleft': '110101110001010010010010000100101010',\n",
       " '\\\\upharpoonright': '110101110001010010010010000001101010',\n",
       " '\\\\upint': '110001011101',\n",
       " '\\\\uplus': '000101001101000111110101001101110111',\n",
       " '\\\\upsilon': '000101101001',\n",
       " '\\\\upuparrows': '110101110001010010010010101010000010110101110001010010010010101010',\n",
       " '\\\\urcorner': '000100000110011111',\n",
       " '\\\\vDash': '110101110011011011011011',\n",
       " '\\\\varepsilon': '000101000100100010',\n",
       " '\\\\varg': '000100110110',\n",
       " '\\\\varkappa': '000101000100101000',\n",
       " '\\\\varliminf': '100101111000010100101100',\n",
       " '\\\\varlimsup': '110001111000010100101100',\n",
       " '\\\\varnothing': '000111001011',\n",
       " '\\\\varoiiintclockwise': '011101011101011101000100110101010101010001001010110111',\n",
       " '\\\\varoiiintctrclockwise': '011101011101011101000100110101010001001010101010110111',\n",
       " '\\\\varoiintclockwise': '011101011101000100110101010101010001001010110111',\n",
       " '\\\\varoiintctrclockwise': '011101011101000100110101010001001010101010110111',\n",
       " '\\\\varointclockwise': '011101000100110101010101010001001010110111',\n",
       " '\\\\varointctrclockwise': '011101000100110101010001001010101010110111',\n",
       " '\\\\varparallel': '110101111000',\n",
       " '\\\\varparallelinv': '000111100001000111100001',\n",
       " '\\\\varphi': '000101000100110100',\n",
       " '\\\\varpi': '000101000100111100',\n",
       " '\\\\varprod': '000010000100100001',\n",
       " '\\\\varpropto': '000111111111',\n",
       " '\\\\varrho': '000101000100111010',\n",
       " '\\\\varsigma': '000101000100011100',\n",
       " '\\\\varsubsetneq': '000111000010101000001100100011',\n",
       " '\\\\varsubsetneqq': '000111000010101000001100000101101000',\n",
       " '\\\\varsupsetneq': '000111000101010000001100100011',\n",
       " '\\\\varsupsetneqq': '000111000101010000001100000101101000',\n",
       " '\\\\vartheta': '000101000100100111',\n",
       " '\\\\vartriangle': '110101011110',\n",
       " '\\\\vartriangleleft': '110101000010101000111000110111',\n",
       " '\\\\vartrianlgeright': '110101000111000101010000110111',\n",
       " '\\\\varv': '000100111001',\n",
       " '\\\\varw': '000100010111',\n",
       " '\\\\vary': '000100101111',\n",
       " '\\\\vdash': '110101110011010010010010',\n",
       " '\\\\vdots': '110101100101001000001000001000',\n",
       " '\\\\vec-begin': '000010',\n",
       " '\\\\vec-end': '110001110101101010110111',\n",
       " '\\\\vee': '000100001101',\n",
       " '\\\\veebar': '000100001101100011',\n",
       " '\\\\wedge': '000100100101',\n",
       " '\\\\widetilde-begin': '000010',\n",
       " '\\\\widetilde-end': '110001000100000001100011',\n",
       " '\\\\wp': '000100000011111100',\n",
       " '\\\\wr': '',\n",
       " '\\\\xi': '000101101101',\n",
       " '\\\\zeta': '000101101011',\n",
       " '\\\\{': '000101111011',\n",
       " '\\\\|': '110011110011',\n",
       " '\\\\}': '000101011111',\n",
       " ']': '000100011111',\n",
       " 'a': '100000',\n",
       " 'b': '110000',\n",
       " 'c': '100100',\n",
       " 'd': '100110',\n",
       " 'e': '100010',\n",
       " 'f': '110100',\n",
       " 'frac-level': '000001',\n",
       " 'g': '110110',\n",
       " 'h': '110010',\n",
       " 'i': '010100',\n",
       " 'j': '010110',\n",
       " 'k': '101000',\n",
       " 'l': '111000',\n",
       " 'm': '101100',\n",
       " 'n': '101110',\n",
       " 'o': '101010',\n",
       " 'p': '111100',\n",
       " 'q': '111110',\n",
       " 'r': '111010',\n",
       " 's': '011100',\n",
       " 't': '011110',\n",
       " 'u': '101001',\n",
       " 'v': '111001',\n",
       " 'w': '010111',\n",
       " 'x': '101101',\n",
       " 'y': '101111',\n",
       " 'z': '101011',\n",
       " '{': '',\n",
       " '|': '110011',\n",
       " '}': '',\n",
       " 'Α': '000101100000',\n",
       " 'Β': '000101110000',\n",
       " 'Ε': '000101100010',\n",
       " 'Ζ': '000101101011',\n",
       " 'Η': '000101001110',\n",
       " 'Ι': '000101010100',\n",
       " 'Κ': '000101101000',\n",
       " 'Μ': '000101101100',\n",
       " 'Ν': '000101101110',\n",
       " 'Ξ': '000101101101',\n",
       " 'Ο': '000101101010',\n",
       " 'Ρ': '000101111010',\n",
       " 'Τ': '000101011110',\n",
       " 'Υ': '000101101111',\n",
       " 'Χ': '000101110010',\n",
       " 'α': '100000',\n",
       " 'β': '110000',\n",
       " 'γ': '110110',\n",
       " 'δ': '100110',\n",
       " 'ε': '100010',\n",
       " 'ζ': '101011',\n",
       " 'η': '001110',\n",
       " 'θ': '100111',\n",
       " 'ι': '010100',\n",
       " 'κ': '101000',\n",
       " 'λ': '111000',\n",
       " 'μ': '101100',\n",
       " 'ν': '101110',\n",
       " 'ξ': '101101',\n",
       " 'ο': '101010',\n",
       " 'π': '111100',\n",
       " 'ρ': '111010',\n",
       " 'ς': '011100',\n",
       " 'σ': '011100',\n",
       " 'τ': '011110',\n",
       " 'υ': '101111',\n",
       " 'φ': '110100',\n",
       " 'χ': '110010',\n",
       " 'ψ': '111101',\n",
       " 'ω': '010110',\n",
       " 'ϊ': '010100',\n",
       " 'ϋ': '101111'}"
      ]
     },
     "execution_count": 6,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "# Let's see the result:\n",
    "raise_dot"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "# Save the data into nemeth.dict\n",
    "with open(\"nemeth.dict\", 'w') as f:\n",
    "    json.dump(raise_dot, f)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Now the only thing that is needed in order to integrate the Nemeth code is to convert and use the keys in this dictionary appropriately, in order to do the correct translation of math."
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.5.2"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}