O, sym0, -, 1.0, 0
O, sym1, 6, 1.0, 1
O, sym2, COMMA, 1.0, 2
O, sym3, \in, 1.0, 3
O, sym4, x, 1.0, 4, 5
O, sym5, COMMA, 1.0, 6
O, sym6, 0, 1.0, 7
O, sym7, +, 1.0, 8, 9
O, sym8, I, 1.0, 10, 11


# Relations:
R, sym1, sym0, Above, 1.0
R, sym1, sym2, Above, 1.0
R, sym3, sym1, Above, 1.0
R, sym4, sym5, Inside, 1.0
R, sym5, sym6, Inside, 1.0
R, sym6, sym7, Inside, 1.0
R, sym6, sym8, Inside, 1.0
R, sym7, sym3, Below, 1.0


# Top k symbols
#(['0'], [('-', 24.255575), ('T', 19.318886), ('\\{', 16.918486), ('\\in', 16.875862), ('=', 14.01645)])
#(['1'], [('6', 11.460338), ('b', 10.830265), ('a', 10.731585), ('G', 9.305092), ('\\sigma', 7.4978733)])
#(['2'], [(',', 16.760254), ('.', 11.36672), ('\\ldots', 10.158601), ('\\mu', 8.957737), ('I', 8.922055)])
#(['3'], [('\\in', 8.144871), ('M', 7.059166), ('u', 6.7620335), ('\\Delta', 6.661337), ('r', 6.13617)])
#(['4', '5'], [('x', 12.910072), ('k', 11.085196), ('X', 9.389327), ('\\times', 8.101736), ('\\mu', 6.7958922)])
#(['6'], [(',', 8.546344), ('.', 5.7743735), ('d', 5.5848436), ('1', 5.1421137), ('\\mu', 4.9896774)])
#(['7'], [('0', 8.435532), ('C', 8.426647), ('c', 6.0243654), ('N', 5.920013), ('\\sin', 5.5146875)])
#(['8', '9'], [('+', 17.596985), ('H', 13.049231), ('\\neq', 12.449403), ('t', 12.12772), ('I', 11.433929)])
#(['10', '11'], [('I', 16.072878), ('\\in', 9.158218), ('7', 8.735651), ('T', 8.082097), ('\\theta', 6.5148706)])