Returned 40 matches (100 formulae, 125 docs)
    Lookup 47.502 ms, Re-ranking 82.771 ms
    Found 785718 tuple postings, 324313 formulae, 345214 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
0.0000
5.0000
L(b)L(p)
L(b)L(a)
L(f)L(g)
L(z)L(x)
L(f)L(ϕ)
L(h)L(u)
L(p)L(u)
L(η)L(γ)
L(h)L(g)
L(g)L(h)
L(ϕ)L(f)
L(γ)L(Γ)
L(T)L(G)
L(c)L(b)
L(x)L(y)
L(w)L(v)
L(g)L(f)

1.0000
-1.0000
5.0000
L(ϕ)Ls(A)
L(x)Lm(y)
L(x)Lc(y)
L(x)Lv(y)

1.0000
-1.0000
5.0000
Ls(A)L(f)
Ls(A)L(ϕ)

1.0000
-1.0000
5.0000
L¯(𝒮)L(𝒯)

1.0000
-1.0000
5.0000
L(𝒜)WL()

1.0000
-1.0000
5.0000
L(wε)L(v)

1.0000
-2.0000
6.0000
LA(f)LB(T)

1.0000
-2.0000
5.0000
L(f)Lc(Mf)
L(f)Ls(Mf)

1.0000
-2.0000
5.0000
Ls(Mf)L(f)

1.0000
-2.0000
5.0000
L2(B)L2(Γ)
L𝒞(t)L𝒞(α)
Lk(S)Lk(𝐜)
L2(δ)L2(γ)
Lk(𝐚)Lk(𝐛)
Lk(μ)Lk(λ)
L(γ)L(α)
Lp(ϵ)Lp(α)
Lk(S)Lk(𝐛)
Lp(α)Lp(β)
Lk(𝐚)Lk(𝐜)

1.0000
-2.0000
5.0000
0L(τ)L(t)

1.0000
-2.0000
5.0000
L(π(b))L(b)
L(T(s))L(s)

1.0000
-2.0000
5.0000
L(an)L¯(c)

1.0000
-2.0000
5.0000
L(g)L(f)+r
L(q)L(p)+ϵ

1.0000
-2.0000
5.0000
L(zu)L(y))

1.0000
-2.0000
5.0000
L(a¯i)L(x¯)

1.0000
-2.0000
5.0000
L(vb)L(u+)

1.0000
-3.0000
6.0000
LA(σT)LB(T)

1.0000
-4.0000
6.0000
LA(σT)LB(T).

0.8451
-1.0000
5.0000
L(0)L(k)

0.8451
-2.0000
5.0000
L(p)L(p*)
L(γ)L(γ)
L(τ)L(τ′′)
L(λ)L(λ*)

0.8451
-2.0000
5.0000
Ln(α)L(α)
Lσ(η)L(η)
L𝒪(𝔞)L(𝔞)
L0(a)L(a)

0.8451
-2.0000
5.0000
L(γ~)L(γ)
L(p~)L(p)
L(P¯)L(P)
L(α)L(α)
L(β)L(β)

0.8451
-2.0000
5.0000
L(a)L~(a)
L(a)L(a)
L(ϕ)L~(ϕ)
L(s)L~(s)

0.8451
-2.0000
5.0000
L~(ϕ)L(ϕ)
Ls(a)L(a)
L*(q)L(q)
0.8451
-2.0000
5.0000
L(t1)L(0)

0.8451
-2.0000
5.0000
L(fn)L(f)
L(fγ)L(f)
L(u+)L(u)
0.8451
-3.0000
5.0000
[L(f)L(f)]

0.8451
-3.0000
5.0000
[L(f)L(f)]

0.8451
-3.0000
5.0000
L(s)L~λ(s)

0.8451
-3.0000
5.0000
L(W)L¯(W).

0.8451
-3.0000
5.0000
Lt(i)Ls(i)
L2(a)Lk(a)
Lθ(f)L*(f)
LS(𝒩)LW(𝒩)
Lm(y)Lc(y)
LS(z)L1(z)
Lc(A)Ls(A)

0.8451
-3.0000
5.0000
L(γi)L(γk)
L(γj)L(γk)
L(γi)L(γj)
0.8451
-3.0000
5.0000
L(s0)L(s),

0.8451
-3.0000
5.0000
L(γA)L(γ)

0.8451
-4.0000
6.0000
L(Tij)Lq(T)

0.7500
-3.0000
5.0000
L(a)L(T),

0.6897
0.0000
4.0000
L(Q)L
L(α)L
L(x)L
0.6897
-2.0000
5.0000
R:=L(C)L

0.5333
-1.0000
3.0000
wid(T)L