Newer
Older
O, sym0, x, 1.0, 1, 0
O, sym1, G, 1.0, 2
O, sym2, \prime, 1.0, 3
O, sym3, +, 1.0, 4, 5
O, sym4, \in, 1.0, 6, 7
O, sym5, I, 1.0, 8
O, sym6, I, 1.0, 9, 10
# Relations:
R, sym3, sym4, Below, 1.0
R, sym3, sym5, Inside, 1.0
R, sym3, sym6, Inside, 1.0
R, sym4, sym2, Right, 1.0
R, sym5, sym0, Sup, 1.0
R, sym5, sym1, Sup, 1.0
# Top k symbols
#(['1', '0'], [('x', 8.396134), ('\\{', 6.1452074), ('\\sigma', 5.932554), ('\\in', 5.895943), ('\\Delta', 5.8723965)])
#(['2'], [('G', 9.504162), ('S', 8.751827), ('C', 6.5078034), ('\\theta', 6.0446787), ('a', 5.245551)])
#(['3'], [('\\prime', 7.5214896), ('\\forall', 7.415002), ('M', 7.319584), ('\\mu', 7.316534), ('A', 6.6012244)])
#(['4', '5'], [('+', 16.922638), ('T', 15.056359), ('I', 12.435536), ('\\in', 12.327513), ('P', 11.176288)])
#(['6', '7'], [('\\in', 9.313211), ('\\lt', 8.385302), ('x', 8.212973), ('k', 7.4425077), ('2', 6.553683)])
#(['8'], [('I', 8.8245125), ('\\mu', 8.208898), ('N', 7.548174), ('1', 7.0630674), ('u', 6.0486937)])
#(['9', '10'], [('I', 10.507577), ('T', 8.1347885), ('\\in', 8.031169), ('L', 7.0555596), ('-', 7.04872)])