phf_map! {
"!" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 230,
next: &Some( OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 810, next: &None } )},
"!!" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 810, next: &None },
"!=" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"\"" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"%" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 640, next: &None },
"&" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"&&" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 380, next: &None },
"'" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"(" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
")" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"*" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"**" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 720, next: &None },
"*=" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"+" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280,
next: &Some( OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 690, next: &None } )},
"++" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"+=" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"," => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 40, next: &None },
"-" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280,
next: &Some( OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 690, next: &None } )},
"--" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"-=" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"->" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 90, next: &None },
"." => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390,
next: &Some( OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 25, next: &None } )}, // Punctuation
"/" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 680, next: &None },
"//" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 140, next: &None },
"/=" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
":" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 60, next: &None },
":=" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260,
next: &Some( OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 25, next: &None } )}, // Punctuation
";" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 30,
next: &Some( OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 25, next: &None } )}, // Punctuation
"<" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"<=" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"<>" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 780, next: &None },
"=" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"==" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
">" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
">=" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"?" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 835,
next: &Some( OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 25, next: &None } )}, // Punctuation,
"@" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 360, next: &None },
"[" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"\\" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 650, next: &None },
"]" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"^" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880,
next: &Some( OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 780, next: &None } )},
"_" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880,
next: &Some( OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 900, next: &None } )},
// we merge '_'s as they are likely filling the blanks that were generated separately (we list up to 5'_'s here so they are treated the same)
"__" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880,
next: &Some( OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 900, next: &None } )},
"___" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880,
next: &Some( OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 900, next: &None } )},
"____" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880,
next: &Some( OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 900, next: &None } )},
"_____" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880,
next: &Some( OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 900, next: &None } )},
"`" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"{" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"|" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 70,
next: &Some( OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20,
next: &Some( OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None } )} )},
"||" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260,
next: &Some( OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20,
next: &Some( OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None } )} )},
"}" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"~" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"¨" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"¬" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 230, next: &None },
"¯" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"°" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"±" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280,
next: &Some( OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 690, next: &None } )},
"²" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"³" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"´" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"·" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"¸" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"¹" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"×" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"÷" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 680, next: &None },
"ˆ" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"ˇ" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"ˉ" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"ˊ" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"ˋ" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"ˍ" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"˘" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"˙" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"˚" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"˜" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"˝" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"˷" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"̂" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"̑" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"‖" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20,
next: &Some( OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None } )},
"‘" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 10, next: &None },
"’" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 10, next: &None },
"‚" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"‛" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"“" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 10, next: &None },
"”" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 10, next: &None },
"„" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"‟" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"•" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"′" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 800, next: &None },
"″" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"‴" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"‵" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"‶" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"‷" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"‾" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"⁃" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⁄" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 680, next: &None },
"⁗" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 850, next: &None }, // U+2061
"" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None }, // U+2062
"" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 40, next: &None }, // U+2063
"" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 880, next: &None }, // U+2064
"⃛" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"⃜" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"ⅅ" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 740, next: &None },
"ⅆ" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 740, next: &None },
"←" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↑" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"→" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↓" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↔" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↕" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↖" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↗" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↘" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↙" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↚" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↛" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↜" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↝" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↞" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↟" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↠" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↡" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↢" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↣" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↤" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↥" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↦" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↧" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↨" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↩" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↪" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↫" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↬" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↭" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↮" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↯" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↰" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↱" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↲" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↳" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↴" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↵" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↶" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↷" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↹" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↺" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↻" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↼" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↽" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↾" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"↿" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇀" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇁" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇂" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇃" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇄" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇅" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇆" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇇" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇈" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇉" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇊" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇋" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇌" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇍" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇎" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇏" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇐" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇑" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇒" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇓" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇔" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇕" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇖" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇗" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇘" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇙" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇚" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇛" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇜" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇝" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇞" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇟" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇠" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇡" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇢" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇣" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇤" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇥" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇦" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇧" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇨" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇩" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇪" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇫" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇬" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇭" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇮" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇯" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇰" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇱" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇲" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇳" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇴" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇵" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇶" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇷" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇹" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇺" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇻" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇼" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇽" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇾" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⇿" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"∀" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 230, next: &None },
"∁" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 690, next: &None },
"∂" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 740, next: &None },
"∃" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 230, next: &None },
"∄" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 230, next: &None },
"∆" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 690, next: &None },
"∇" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 740, next: &None },
"𝛁" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 740, next: &None },
"∈" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"∉" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"∊" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"∋" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"∌" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"∍" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"∏" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 350, next: &None },
"∐" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 350, next: &None },
"∑" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 290, next: &None },
"−" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280,
next: &Some( OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 690, next: &None } )},
"∓" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280,
next: &Some( OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 690, next: &None } )},
"∔" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"∕" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 680, next: &None },
"∖" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"∗" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"∘" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 860, next: &None },
"∙" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"√" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 845, next: &None },
"∛" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 845, next: &None },
"∜" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 845, next: &None },
"∝" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"∟" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"∠" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"∡" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"∢" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"∣" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"∤" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"∥" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"∦" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"∧" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 380, next: &None },
"∨" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"∩" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 277, next: &None },
"∪" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 274, next: &None },
"∫" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"∬" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"∭" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"∮" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"∯" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"∰" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"∱" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"∲" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"∳" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"∴" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 70,
next: &Some( OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 70, next: &None } )},
"∵" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 70,
next: &Some( OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 70, next: &None } )},
"∶" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 278, next: &None }, // changed: less than addition (280) but more than arrows (270)
"∷" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"∸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"∹" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"∺" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"∻" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"∼" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260,
next: &Some( OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 230, next: &None } )},
"∽" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"∾" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≀" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"≁" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≂" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≃" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≄" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≅" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≆" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≇" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≈" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≉" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≊" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≋" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≌" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≍" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≎" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≏" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≐" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≑" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≒" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≓" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≔" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≕" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≖" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≗" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≘" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≙" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≚" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≛" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≜" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≝" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≞" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≟" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≠" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≡" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≢" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≣" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≤" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≥" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≦" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≧" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≨" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≩" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≪" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≫" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≬" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≭" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≮" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≯" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≰" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≱" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≲" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≳" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≴" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≵" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≶" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≷" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≹" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≺" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≻" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≼" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≽" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≾" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"≿" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⊀" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⊁" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⊂" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⊃" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⊄" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⊅" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⊆" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⊇" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⊈" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⊉" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⊊" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⊋" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⊌" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 274, next: &None },
"⊍" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 274, next: &None },
"⊎" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 274, next: &None },
"⊏" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⊐" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⊑" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⊒" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⊓" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 277, next: &None },
"⊔" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 274, next: &None },
"⊕" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⊖" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⊗" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⊘" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 680, next: &None },
"⊙" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⊚" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 860, next: &None },
"⊛" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⊜" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⊝" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⊞" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⊟" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⊠" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⊡" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⊢" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⊣" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⊦" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⊧" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⊨" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⊩" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⊪" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⊫" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⊬" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⊭" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⊮" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⊯" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⊰" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⊱" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⊲" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⊳" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⊴" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⊵" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⊶" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 90, next: &None },
"⊷" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 90, next: &None },
"⊸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 90, next: &None },
"⊺" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⊻" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 285, next: &None },
"⊼" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 380, next: &None },
"⊽" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⊾" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⊿" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⋀" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 330, next: &None },
"⋁" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 330, next: &None },
"⋂" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 330, next: &None },
"⋃" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 320, next: &None },
"⋄" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 860, next: &None },
"⋅" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⋆" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⋇" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⋈" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⋉" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⋊" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⋋" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⋌" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⋍" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⋎" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⋏" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 380, next: &None },
"⋐" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋑" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋒" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 277, next: &None },
"⋓" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 274, next: &None },
"⋔" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⋕" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⋖" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⋗" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⋘" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⋙" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⋚" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⋛" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⋜" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⋝" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⋞" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⋟" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⋠" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⋡" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⋢" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋣" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋤" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋥" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋦" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⋧" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⋨" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⋩" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⋪" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋫" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋬" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋭" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋲" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋳" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋴" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋵" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋶" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋷" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋹" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋺" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋻" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋼" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋽" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋾" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⋿" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⌁" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⌅" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⌆" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⌈" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"⌉" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"⌊" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"⌋" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"⌐" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 230, next: &None },
"⌙" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 230, next: &None },
"⌢" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"⌣" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"〈" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"〉" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"⍼" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⎋" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⎴" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"⎵" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"⏍" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"⏜" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"⏝" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"⏞" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"⏟" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"⏠" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"⏡" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"❲" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"❳" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"➔" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➕" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280,
next: &Some( OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 690, next: &None } )},
"➖" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280,
next: &Some( OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 690, next: &None } )},
"➗" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 680, next: &None },
"➘" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➙" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➚" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➛" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➜" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➝" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➞" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➟" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➠" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➡" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➥" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➦" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➧" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➨" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➩" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➪" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➫" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➬" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➭" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➮" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➯" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➱" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➲" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➳" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➴" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➵" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➶" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➷" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➹" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➺" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➻" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➼" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➽" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"➾" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⟀" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⟂" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⟋" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 680, next: &None },
"⟍" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 680, next: &None },
"⟦" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"⟧" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"⟨" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"⟩" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"⟪" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"⟫" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"⟬" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"⟭" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"⟮" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"⟯" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"⟰" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⟱" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⟲" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⟳" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⟴" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⟵" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⟶" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⟷" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⟸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⟹" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⟺" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⟻" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⟼" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⟽" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⟾" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⟿" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤀" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤁" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤂" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤃" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤄" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤅" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤆" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤇" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤈" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤉" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤊" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤋" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤌" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤍" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤎" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤏" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤐" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤑" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤒" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤓" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤔" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤕" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤖" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤗" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤘" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤙" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤚" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤛" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤜" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤝" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤞" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤟" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤠" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤡" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤢" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤣" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤤" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤥" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤦" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤧" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤨" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤩" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤪" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤫" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤬" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤭" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤮" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤯" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤰" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤱" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤲" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤳" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤴" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤵" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤶" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤷" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤹" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤺" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤻" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤼" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤽" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤾" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⤿" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥀" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥁" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥂" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥃" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥄" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥅" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥆" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥇" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥈" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥉" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥊" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥋" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥌" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥍" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥎" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥏" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥐" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥑" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥒" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥓" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥔" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥕" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥖" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥗" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥘" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥙" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥚" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥛" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥜" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥝" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥞" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥟" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥠" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥡" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥢" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥣" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥤" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥥" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥦" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥧" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥨" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥩" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥪" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥫" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥬" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥭" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥮" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥯" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥰" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥱" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥲" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥳" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥴" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥵" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥶" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⥷" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⥸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⥹" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⥺" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⥻" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⥼" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥽" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥾" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⥿" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⦀" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20,
next: &Some( OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None } )},
"⦁" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 30, next: &None },
"⦂" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 60, next: &None },
"⦃" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"⦄" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"⦅" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"⦆" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"⦇" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"⦈" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"⦉" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"⦊" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"⦋" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"⦌" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"⦍" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"⦎" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"⦏" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"⦐" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"⦑" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"⦒" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"⦓" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"⦔" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"⦕" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"⦖" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"⦗" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"⦘" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"⦙" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20,
next: &Some( OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None } )},
"⦛" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⦜" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⦝" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⦞" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⦟" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⦠" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⦡" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⦢" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⦣" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⦤" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⦥" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⦦" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⦧" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⦨" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⦩" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⦪" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⦫" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⦬" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⦭" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⦮" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⦯" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 370, next: &None },
"⦶" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⦷" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⦸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⦹" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⦼" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 680, next: &None },
"⧀" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⧁" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⧄" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 680, next: &None },
"⧅" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⧆" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⧇" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 860, next: &None },
"⧈" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⧎" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⧏" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⧏̸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⧐" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⧐̸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⧑" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⧒" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⧓" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⧔" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⧕" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⧖" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⧗" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⧘" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"⧙" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"⧚" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"⧛" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"⧟" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⧡" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⧢" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⧣" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⧤" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⧥" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⧦" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⧴" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 90, next: &None },
"⧵" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⧶" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 680, next: &None },
"⧷" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⧸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 680, next: &None },
"⧹" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⧺" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⧻" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⧼" => OperatorInfo{ op_type: OperatorTypes::LEFT_FENCE, priority: 20, next: &None },
"⧽" => OperatorInfo{ op_type: OperatorTypes::RIGHT_FENCE, priority: 20, next: &None },
"⨀" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 330, next: &None },
"⨁" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 300, next: &None },
"⨂" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 330, next: &None },
"⨃" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 320, next: &None },
"⨄" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 320, next: &None },
"⨅" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 330, next: &None },
"⨆" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 330, next: &None },
"⨇" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 330, next: &None },
"⨈" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 330, next: &None },
"⨉" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 330, next: &None },
"⨊" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 290, next: &None },
"⨋" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 290, next: &None },
"⨌" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"⨍" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"⨎" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"⨏" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"⨐" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"⨑" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"⨒" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"⨓" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"⨔" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"⨕" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"⨖" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"⨗" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"⨘" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"⨙" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"⨚" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"⨛" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"⨜" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 310, next: &None },
"⨝" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390,
next: &Some( OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 290, next: &None } )},
"⨞" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390,
next: &Some( OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 290, next: &None } )},
"⨟" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 277, next: &None },
"⨠" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 277, next: &None },
"⨡" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 277, next: &None },
"⨢" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⨣" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⨤" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⨥" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⨦" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⨧" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⨨" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⨩" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⨪" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⨫" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⨬" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⨭" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⨮" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⨯" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⨰" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⨱" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⨲" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⨳" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⨴" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⨵" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⨶" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⨷" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⨸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 680, next: &None },
"⨹" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⨺" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⨻" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⨼" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⨽" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⨾" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 277, next: &None },
"⨿" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⩀" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 277, next: &None },
"⩁" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 274, next: &None },
"⩂" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 274, next: &None },
"⩃" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 277, next: &None },
"⩄" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 277, next: &None },
"⩅" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 274, next: &None },
"⩆" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 277, next: &None },
"⩇" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 277, next: &None },
"⩈" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 277, next: &None },
"⩉" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 277, next: &None },
"⩊" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 274, next: &None },
"⩋" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 277, next: &None },
"⩌" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 274, next: &None },
"⩍" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 277, next: &None },
"⩎" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 277, next: &None },
"⩏" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 274, next: &None },
"⩐" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 390, next: &None },
"⩑" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 380, next: &None },
"⩒" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⩓" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 380, next: &None },
"⩔" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⩕" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 380, next: &None },
"⩖" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⩗" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⩘" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 380, next: &None },
"⩙" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 380, next: &None },
"⩚" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 380, next: &None },
"⩛" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⩜" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 380, next: &None },
"⩝" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⩞" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 380, next: &None },
"⩟" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 380, next: &None },
"⩠" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 380, next: &None },
"⩡" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⩢" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⩣" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 280, next: &None },
"⩤" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 685, next: &None },
"⩥" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 685, next: &None },
"⩦" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩧" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩨" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩩" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩪" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩫" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩬" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩭" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩮" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩯" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩰" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩱" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩲" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩳" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩴" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩵" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩶" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩷" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩹" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩺" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩻" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩼" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩽" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩾" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⩿" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪀" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪁" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪂" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪃" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪄" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪅" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪆" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪇" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪈" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪉" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪊" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪋" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪌" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪍" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪎" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪏" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪐" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪑" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪒" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪓" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪔" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪕" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪖" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪗" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪘" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪙" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪚" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪛" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪜" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪝" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪞" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪟" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪠" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪡" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪢" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪣" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪤" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪥" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪦" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪧" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪨" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪩" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪪" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪫" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪬" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪭" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪮" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪯" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪰" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪱" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪲" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪳" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪴" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪵" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪶" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪷" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪹" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪺" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪻" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪼" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⪽" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⪾" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⪿" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫀" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫁" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫂" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫃" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫄" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫅" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫆" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫇" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫈" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫉" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫊" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫋" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫌" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫍" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫎" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫏" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫐" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫑" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫒" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫓" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫔" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫕" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫖" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫗" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫘" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫙" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 240, next: &None },
"⫚" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⫛" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 277, next: &None },
"⫝̸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 700, next: &None },
"⫝" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 700, next: &None },
"⫞" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⫟" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⫠" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⫡" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⫢" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⫣" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⫤" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⫥" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⫦" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⫧" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⫨" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⫩" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⫪" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⫫" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 170, next: &None },
"⫬" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 230, next: &None },
"⫭" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 230, next: &None },
"⫮" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⫲" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⫳" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⫴" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⫵" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⫶" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 680, next: &None },
"⫷" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⫸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⫹" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⫺" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"⫻" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 680, next: &None },
"⫼" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 330, next: &None },
"⫽" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 680, next: &None },
"⫾" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 680, next: &None },
"⫿" => OperatorInfo{ op_type: OperatorTypes::PREFIX, priority: 330, next: &None },
"⬀" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬁" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬂" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬃" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬄" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬅" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬆" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬇" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬈" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬉" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬊" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬋" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬌" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬍" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬎" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬏" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬐" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬑" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬰" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬱" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬲" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬳" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬴" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬵" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬶" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬷" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬹" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬺" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬻" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬼" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬽" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬾" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⬿" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭀" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭁" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭂" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭃" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭄" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭅" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭆" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭇" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭈" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭉" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭊" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭋" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭌" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭍" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭎" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭏" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭚" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭛" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭜" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭝" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭞" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭟" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭠" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭡" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭢" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭣" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭤" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭥" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭦" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭧" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭨" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭩" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭪" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭫" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭬" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭭" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭮" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭯" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭰" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭱" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭲" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭳" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭶" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭷" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭹" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭺" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭻" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭼" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⭽" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮀" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮁" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮂" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮃" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮄" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮅" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮆" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮇" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮈" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮉" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮊" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮋" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮌" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮍" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮎" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮏" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮔" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮕" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮠" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮡" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮢" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮣" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮤" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮥" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮦" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮧" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮨" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮩" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮪" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮫" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮬" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮭" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮮" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮯" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮰" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮱" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮲" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮳" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮴" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮵" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮶" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮷" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⮸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"⯑" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 260, next: &None },
"𞻰" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"𞻱" => OperatorInfo{ op_type: OperatorTypes::POSTFIX, priority: 880, next: &None },
"🠀" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠁" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠂" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠃" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠄" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠅" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠆" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠇" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠈" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠉" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠊" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠋" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠐" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠑" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠒" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠓" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠔" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠕" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠖" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠗" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠘" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠙" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠚" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠛" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠜" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠝" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠞" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠟" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠠" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠡" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠢" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠣" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠤" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠥" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠦" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠧" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠨" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠩" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠪" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠫" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠬" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠭" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠮" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠯" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠰" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠱" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠲" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠳" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠴" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠵" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠶" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠷" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠹" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠺" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠻" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠼" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠽" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠾" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🠿" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡀" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡁" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡂" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡃" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡄" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡅" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡆" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡇" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡐" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡑" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡒" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡓" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡔" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡕" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡖" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡗" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡘" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡙" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡠" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡡" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡢" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡣" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡤" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡥" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡦" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡧" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡨" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡩" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡪" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡫" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡬" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡭" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡮" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡯" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡰" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡱" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡲" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡳" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡴" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡵" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡶" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡷" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡸" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡹" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡺" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡻" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡼" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡽" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡾" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🡿" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢀" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢁" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢂" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢃" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢄" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢅" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢆" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢇" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢘" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢙" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢚" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢛" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢠" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢡" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢢" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢣" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢤" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢥" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢦" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢧" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢨" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢩" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢪" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
"🢫" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 270, next: &None },
// the following are not in the operator dictionary and are added "manually"
"mod" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 800, next: &None },
}