O, sym0, \{, 1.0, 0 O, sym1, -, 1.0, 1 O, sym2, x, 1.0, 2, 3 O, sym3, I, 1.0, 7, 4, 5, 6 O, sym4, y, 1.0, 8 # Relations: R, sym2, sym4, Above, 1.0 R, sym3, sym0, Inside, 1.0 R, sym3, sym1, Sup, 1.0 R, sym3, sym2, Sup, 1.0 # Top k symbols #(['0'], [('\\{', 10.897897), ('y', 8.639038), ('M', 8.163615), ('V', 8.0824585), ('\\forall', 7.8687944)]) #(['1'], [('-', 20.585804), ('=', 15.111104), ('T', 13.395771), ('\\in', 11.6307), ('I', 11.1924515)]) #(['2', '3'], [('x', 11.742023), ('\\in', 7.9301825), ('I', 7.5930376), ('\\Delta', 6.762449), ('\\sum', 6.7327056)]) #(['7', '4', '5', '6'], [('I', 7.8613067), ('\\in', 7.447402), ('E', 6.106133), ('H', 5.787963), ('\\mu', 5.396449)]) #(['8'], [('y', 8.95176), ('q', 8.09616), ('\\}', 8.07194), ('\\theta', 7.095082), ('g', 6.929609)])