Returned 80 matches (100 formulae, 131 docs)
    Lookup 220.502 ms, Re-ranking 106.794 ms
    Found 2641503 tuple postings, 2185045 formulae, 1441667 documents
[ formulas ] [ documents ] [ documents-by-formula ]

0.5217
-1.0000
5.0000
Pp=P-{p}

0.4615
-3.0000
4.0000
Px3=PTx(M)

0.4615
-4.0000
4.0000
Px=P/(IxP)

0.4255
-1.0000
4.0000
B=P-{f}

0.4255
-2.0000
4.0000
X=P-{p}

0.4255
-3.0000
5.0000
P¯=P-{0^}

0.4255
-5.0000
5.0000
Px=Pb-Q-P

0.3614
-2.0000
5.0000
P=P{a}

0.3288
0.0000
4.0000
Px=P

0.3288
-1.0000
4.0000
Px=Py
Px=PΩ
Px=Pa
0.3288
-1.0000
4.0000
Pj-{a}

0.3288
-1.0000
3.0000
PΩ=Px
Py=Px

0.3288
-2.0000
4.0000
Px*=Px
Px2=Px
Px+=Px
Px=Px

0.3288
-2.0000
4.0000
Px=P(x)

0.3288
-2.0000
4.0000
Px=PxB
Px=Px

0.3288
-2.0000
4.0000
Px=PSx
Px=Pλx

0.3288
-3.0000
4.0000
Px=Px(G)

0.3288
-3.0000
4.0000
{aa=1}

0.3288
-3.0000
4.0000
Pxγ=Pxκ

0.3288
-3.0000
4.0000
Pxy=Pyx

0.3288
-3.0000
4.0000
{aiai is a cusp form}

0.3288
-3.0000
4.0000
Px=PEx

0.3288
-3.0000
4.0000
Px=Px+v
Px=Py=0

0.3288
-3.0000
4.0000
cPi-{a}

0.3288
-3.0000
3.0000
P=PI-{a}

0.3288
-4.0000
4.0000
Pxj2=Pxj
Px12=Px1

0.3288
-4.0000
4.0000
Pxθ=Px-1

0.3288
-4.0000
2.0000
Vx-{vi,x}

0.3288
-5.0000
4.0000
Px-1=Px-1

0.3288
-5.0000
3.0000
Pρ(h)x=Px

0.3288
-6.0000
4.0000
Px^=P|X×x^

0.3288
-6.0000
4.0000
Pxs=PxSq~

0.3288
-7.0000
4.0000
P^=P^x-iP^y

0.3288
-7.0000
4.0000
Px=Px++Px-.

0.3288
-7.0000
3.0000
P=(P-{x})xA

0.3288
-8.0000
4.0000
Px=PeidxAx.

0.3288
-9.0000
4.0000
PΩPx=PΩ{x}

0.2581
-3.0000
3.0000
[x]=x-{x}

0.2581
-3.0000
3.0000
{axxJ}

0.2581
-4.0000
4.0000
Πx=Px-Ax

0.2581
-4.0000
3.0000
{-x}=1-{x}

0.2581
-4.0000
3.0000
{aaaA}

0.2581
-4.0000
2.0000
y{x}¯-{x}

0.2581
-5.0000
2.0000
YRN(x)-{x}

0.2308
0.0000
3.0000
ax

0.2308
-1.0000
3.0000
P=Px

0.2308
-2.0000
3.0000
Px=x
Px=Qx

0.2308
-2.0000
3.0000
P1=Px

0.2308
-2.0000
3.0000
Pxx=0

0.2308
-3.0000
3.0000
Px=xαmax

0.2308
-3.0000
3.0000
P=PxPy

0.2308
-3.0000
3.0000
P^x=x

0.2308
-3.0000
3.0000
P1x=Px
P0x=Px

0.2308
-3.0000
3.0000
Px=kerTx
Px=kerTx

0.2308
-3.0000
2.0000
PxM-{0}

0.2308
-4.0000
3.0000
P=Px+Py

0.2308
-4.0000
3.0000
NPx=Nx

0.2308
-4.0000
3.0000
Px=(Ex)
Px=(x)

0.2308
-4.0000
3.0000
Px=UxNx
Px=NxUx

0.2308
-4.0000
3.0000
Px=x(1)

0.2308
-4.0000
2.0000
Tn(x)-{x}
Bρ(x)-{x}

0.2308
-5.0000
3.0000
A=Px-Py.

0.2308
-6.0000
3.0000
U=PxUPx=0

0.2308
-6.0000
2.0000
Δ(Pxl)-{xl}

0.2308
-7.0000
3.0000
P¯=Px1+Px2

0.2308
-8.0000
3.0000
Px={v-x:vx}

0.2308
-8.0000
2.0000
Ix={aAa<x}

0.1463
-2.0000
3.0000
Ωx=Px
Lx=Px

0.1463
-2.0000
2.0000
Px{x}

0.1463
-4.0000
3.0000
wx=P{𝒟x}

0.1463
-4.0000
3.0000
x=PxG

0.1463
-4.0000
3.0000
G=PxNPx

0.1463
-5.0000
2.0000
V(x)P={x}

0.1290
-1.0000
2.0000
Pxx
Px-

0.1290
-4.0000
2.0000
ϕ(x)=Px
ρ(x)=Px

0.1290
-5.0000
2.0000
{a1=P=0}

0.1290
-5.0000
2.0000
τ(Px)=Px
φ(Lx)=Px

0.1290
-5.0000
2.0000
πx(P)=Px

0.1290
-5.0000
2.0000
(x)=Px

0.1290
-6.0000
2.0000
1-{-x}={x}