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::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 }, }