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)])