Newer
Older
O, sym0, T, 1.0, 0
O, sym1, \in, 1.0, 1
O, sym2, I, 1.0, 2, 3
O, sym3, \mu, 1.0, 4, 5, 6
# Relations:
R, sym2, sym0, Inside, 1.0
R, sym2, sym1, Sup, 1.0
R, sym2, sym3, Right, 1.0
# Top k symbols
#(['0'], [('T', 17.356964), ('-', 14.212632), ('\\sum', 12.753144), ('I', 11.760873), ('\\forall', 11.709812)])
#(['1'], [('\\in', 12.896552), ('r', 9.976405), ('P', 9.813893), ('T', 9.720867), ('I', 8.374703)])
#(['2', '3'], [('I', 7.2581306), ('\\lt', 6.612817), ('\\in', 6.5871944), ('\\neq', 6.471962), ('\\times', 6.4000716)])
#(['4', '5', '6'], [('\\mu', 6.18714), ('I', 5.8992515), ('N', 5.5743866), ('u', 5.417416), ('G', 5.122639)])