1op_add = '+' 2op_sub = '-' 3op_mul = '*' 4op_div = '/' 5op_eq = '=' 6op_neq = '!=' 7op_imp = '=>' 8op_matching = '\u22b3' # (contains) 9op_consistency = '~' 10op_precision = '\u2291' # (square image of or equal to) 11op_leq = '\u2264' # less-than or equal to 12op_lt = '<' 13op_gt = '>' 14op_mod = '%' 15