You need to sign in or sign up before continuing.
Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
O, sym0, T, 1.0, 0
O, sym1, A, 1.0, 2, 1
O, sym2, -, 1.0, 3
O, sym3, I, 1.0, 4
O, sym4, -, 1.0, 5
O, sym5, a, 1.0, 8, 6, 7
O, sym6, =, 1.0, 9, 10, 11
O, sym7, A, 1.0, 13, 12
O, sym8, +, 1.0, 14, 15
O, sym9, d, 1.0, 16
O, sym10, b, 1.0, 17, 18
O, sym11, -, 1.0, 19
O, sym12, d, 1.0, 20
O, sym13, \in, 1.0, 22, 21
O, sym14, k, 1.0, 24, 23
O, sym15, I, 1.0, 26, 25
# Relations:
R, sym2, sym12, Above, 1.0
R, sym3, sym9, Above, 1.0
R, sym3, sym8, Above, 1.0
R, sym3, sym10, Above, 1.0
R, sym5, sym11, Inside, 1.0
R, sym5, sym14, Inside, 1.0
R, sym6, sym0, Sub, 1.0
R, sym7, sym3, Sup, 1.0
R, sym7, sym4, Sup, 1.0
R, sym7, sym5, Sup, 1.0
R, sym7, sym1, Sup, 1.0
R, sym7, sym2, Sup, 1.0
R, sym7, sym6, Sup, 1.0
R, sym8, sym13, Inside, 1.0
R, sym14, sym15, Sup, 1.0
# Top k symbols
#(['0'], [('T', 9.287973), ('\\Delta', 8.607839), ('d', 8.264719), ('\\{', 7.8652935), ('\\forall', 7.410329)])
#(['2', '1'], [('A', 7.6077743), ('\\theta', 7.1449723), ('\\in', 5.977083), ('k', 5.976622), ('L', 5.433133)])
#(['3'], [('-', 10.1391945), ('I', 8.907538), ('T', 8.587393), ('P', 6.7891164), ('\\ldots', 5.486129)])
#(['4'], [('I', 9.962349), ('\\prime', 9.794038), ('1', 9.498001), ('T', 7.484714), ('M', 7.073248)])
#(['5'], [('-', 19.91239), ('I', 13.595089), ('\\in', 11.712992), ('\\{', 10.864998), ('T', 8.519812)])
#(['8', '6', '7'], [('a', 8.15768), ('\\in', 8.146306), ('I', 7.286691), ('\\sigma', 6.050026), ('\\mu', 5.9779563)])
#(['9', '10', '11'], [('=', 26.352354), ('T', 22.378359), ('I', 17.860826), ('\\in', 17.477325), ('\\neq', 14.95716)])
#(['13', '12'], [('A', 9.479235), ('\\theta', 8.5390215), ('I', 7.470682), ('M', 6.8791704), ('\\mu', 6.0767546)])
#(['14', '15'], [('+', 6.7481956), ('\\prime', 6.25502), ('COMMA', 6.108961), ('P', 6.03195), ('\\ldots', 5.870945)])
#(['16'], [('d', 9.087897), ('y', 6.8739576), ('\\sin', 6.437478), ('u', 5.995504), ('w', 5.7787027)])
#(['17', '18'], [('b', 8.335287), ('N', 7.5025454), ('k', 7.475606), ('H', 6.7091293), ('A', 5.6875024)])
#(['19'], [('-', 15.793432), ('\\sqrt', 13.566296), ('\\{', 11.73585), ('\\in', 9.275288), ('\\Delta', 8.083772)])
#(['20'], [('d', 9.900089), ('u', 9.670531), ('N', 8.645205), ('v', 7.9993544), ('M', 7.9054837)])
#(['22', '21'], [('\\in', 10.580679), ('\\cos', 9.839798), ('2', 9.695202), ('C', 9.14694), ('\\Delta', 8.898951)])
#(['24', '23'], [('k', 8.92191), ('A', 8.633324), ('I', 6.832522), ('E', 6.4177303), ('R', 6.331655)])
#(['26', '25'], [('I', 7.128731), ('\\mu', 6.8386426), ('\\prime', 6.1293845), ('j', 5.7363086), ('\\ldots', 5.600365)])