Returned 76 matches (100 formulae, 115 docs)
    Lookup 27.120 ms, Re-ranking 97.708 ms
    Found 194089 tuple postings, 158604 formulae, 143537 documents
[ formulas ] [ documents ] [ documents-by-formula ]

0.5217
-1.0000
5.0000
Pp=P-{p}

0.4255
-1.0000
4.0000
PT=P-Λ

0.4255
-1.0000
4.0000
B=P-{f}

0.4255
-2.0000
4.0000
P~ε=P-ε

0.4255
-2.0000
4.0000
PT=P-TQ
Pϵ=P-ϵν
PT=P-V.
Pδ=P-δν
Pint=P-MB

0.4255
-2.0000
4.0000
Pn=P-Ps
Pi=P-ei

0.4255
-2.0000
4.0000
X=P-{p}

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

0.4255
-3.0000
4.0000
Pλ=P-λP

0.4255
-3.0000
4.0000
Pδ=P0-δQ

0.4255
-5.0000
5.0000
Px=Pb-Q-P

0.3614
-2.0000
5.0000
P=P{a}

0.3614
-3.0000
4.0000
{ag∣ aA0}

0.3288
0.0000
4.0000
Px=P

0.3288
-1.0000
4.0000
Pj-{a}

0.3288
-1.0000
4.0000
Px=PΩ
Px=Pa
Px=Py
0.3288
-1.0000
3.0000
Py=Px
PΩ=Px

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

0.3288
-2.0000
4.0000
P0=P-S
P0=P-Q

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

0.3288
-2.0000
4.0000
P=P-Q
P^=P-C
P=P-1
P~=P-Q

0.3288
-2.0000
4.0000
Px=P(x)

0.3288
-2.0000
4.0000
P=Pm-σ
P=Pvac-γ

0.3288
-2.0000
4.0000
Px=Px
Px=PxB

0.3288
-3.0000
4.0000
P1=P2-y

0.3288
-3.0000
4.0000
Pxy=Pyx

0.3288
-3.0000
4.0000
P=P2-P1
P=PV-PH
P=P1-P2
P=PL-PR

0.3288
-3.0000
4.0000
P=P-P=A

0.3288
-3.0000
4.0000
P2=P-P1
P-=P-P+

0.3288
-3.0000
4.0000
cPi-{a}

0.3288
-3.0000
4.0000
P=P-2k

0.3288
-3.0000
4.0000
δP=P-P¯

0.3288
-3.0000
4.0000
P2=P-Pτ

0.3288
-3.0000
4.0000
Pxγ=Pxκ

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

0.3288
-3.0000
4.0000
ΔP=P^-P

0.3288
-3.0000
4.0000
{aa=1}

0.3288
-3.0000
4.0000
{aiai is a cusp form}

0.3288
-3.0000
4.0000
Px=Px(G)

0.3288
-3.0000
4.0000
P=P^-c

0.3288
-3.0000
4.0000
Px=PEx

0.3288
-3.0000
4.0000
P=P0-iW

0.3288
-3.0000
3.0000
P=PI-{a}

0.3288
-3.0000
3.0000
Pt2=Px2

0.3288
-4.0000
4.0000
P^=P-P~,

0.3288
-4.0000
4.0000
P1=P-R>0

0.3288
-4.0000
4.0000
P0=P~0-W

0.3288
-4.0000
4.0000
P-=P0-P1

0.3288
-4.0000
4.0000
P=P-BM,

0.3288
-4.0000
4.0000
ΔP=Pj-Pi

0.3288
-4.0000
4.0000
Px12=Px1

0.3288
-4.0000
4.0000
P2=P0-c
P1=P0-c

0.3288
-4.0000
4.0000
P1=P-vi

0.3288
-4.0000
4.0000
Pxy=PxPy

0.3288
-4.0000
4.0000
Pxk=PPyk

0.3288
-4.0000
4.0000
P=P~-nτ

0.3288
-4.0000
4.0000
P=Pγ-Pγ

0.3288
-4.0000
4.0000
P*=P~-P0

0.3288
-4.0000
4.0000
P^=P-P

0.3288
-4.0000
4.0000
Px2=Pt2,

0.3288
-4.0000
3.0000
Pb=Px(b)1

0.3288
-4.0000
3.0000
Pz=Px×Py

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

0.2581
-4.0000
3.0000
{aaaA}

0.2308
-1.0000
3.0000
P=Px

0.2308
-2.0000
3.0000
P1=Px

0.2308
-2.0000
3.0000
P-P=P

0.2308
-3.0000
3.0000
P=PxPy

0.2308
-3.0000
3.0000
P=Px,y

0.2308
-4.0000
3.0000
P=Px,tK

0.2308
-4.0000
3.0000
P=Px+Py

0.2308
-4.0000
3.0000
P1-P2=P

0.2308
-5.0000
3.0000
P2-P2=P1

0.2308
-5.0000
3.0000
A=Px-Py.

0.2308
-5.0000
3.0000
P-P+=P-.

0.1290
-5.0000
2.0000
{a1=P=0}