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

	// the following are not in the operator dictionary and are added "manually"
	"mod" => OperatorInfo{ op_type: OperatorTypes::INFIX, priority: 800, next: &None },
}
