tangent
Not Supported
L
(
C
)
≤
L
(
T
)
Search
Returned 24 matches (100 formulae, 96 docs)
Lookup 3.656 ms, Re-ranking 39.336 ms
Found 93731 tuple postings, 60878 formulae, 14600 documents
[ formulas ]
[ documents ]
[ documents-by-formula ]
L
(
C
)
≤
L
(
T
)
Doc 1
1.0000, 0.0000, 7.0000, 1.3750
testing/wikipedia/v3/00485.html
f
(
T
)
≤
f
(
S
)
Doc 2
1.0000, 0.0000, 3.0000, 1.0000
testing/wikipedia/v3/27117.html
L
2
′
(
C
X
(
T
)
)
≤
L
2
′
(
X
)
Doc 3
1.0000, -7.0000, 6.0000, 1.0000
testing/wikipedia/v3/26128.html
L
(
g
h
)
≤
L
(
g
)
+
L
(
h
)
Doc 4
0.8451, -6.0000, 5.0000, 0.8451
testing/wikipedia/v3/11506.html
L
(
T
)
Doc 5
0.3750, 0.0000, 3.0000, 1.1250
testing/wikipedia/v3/02606.html
L
(
C
)
Doc 1
1.0000, 0.0000, 7.0000, 1.3750
testing/wikipedia/v3/00485.html
g
(
T
)
Doc 22
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/01344.html
b
(
T
)
Doc 28
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/18212.html
σ
(
T
)
Doc 35
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/07273.html
Doc 42
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/02951.html
st
(
C
)
Doc 24
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/10358.html
Div
(
C
)
Doc 7
0.3750, 0.0000, 2.0000, 1.1250
testing/wikipedia/v3/23578.html
R
(
T
)
Doc 6
0.3750, 0.0000, 2.0000, 1.1250
testing/wikipedia/v3/24398.html
ℱ
(
T
)
Doc 33
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/24231.html
Γ
(
T
)
Doc 9
0.3750, 0.0000, 2.0000, 0.9605
testing/wikipedia/v3/12284.html
D
(
T
)
Doc 6
0.3750, 0.0000, 2.0000, 1.1250
testing/wikipedia/v3/24398.html
Doc 15
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/09464.html
K
(
T
)
Doc 21
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/23646.html
TIME
(
C
)
Doc 18
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/06480.html
μ
(
T
)
Doc 39
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/07793.html
f
(
T
)
Doc 17
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/04140.html
Doc 25
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/13290.html
J
(
C
)
Doc 7
0.3750, 0.0000, 2.0000, 1.1250
testing/wikipedia/v3/23578.html
Doc 38
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/05562.html
f
(
C
)
Doc 36
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/24916.html
W
(
C
)
Doc 8
0.3750, 0.0000, 2.0000, 1.1250
testing/wikipedia/v3/17498.html
U
(
T
)
Doc 14
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/26665.html
W
(
T
)
Doc 20
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/17091.html
Doc 30
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/04840.html
q
(
T
)
Doc 26
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/00710.html
S
(
T
)
Doc 10
0.3750, 0.0000, 2.0000, 0.7500
testing/wikipedia/v3/08396.html
Doc 23
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/06591.html
Doc 37
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/04826.html
F
(
C
)
Doc 8
0.3750, 0.0000, 2.0000, 1.1250
testing/wikipedia/v3/17498.html
Princ
(
C
)
Doc 7
0.3750, 0.0000, 2.0000, 1.1250
testing/wikipedia/v3/23578.html
T
(
C
)
Doc 8
0.3750, 0.0000, 2.0000, 1.1250
testing/wikipedia/v3/17498.html
χ
(
T
)
Doc 32
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/27741.html
δ
(
C
)
Doc 13
0.3750, 0.0000, 2.0000, 0.7500
testing/wikipedia/v3/07659.html
Doc 19
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/25695.html
p
(
C
)
Doc 27
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/02114.html
Ω
(
T
)
Doc 41
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/13580.html
R
(
C
)
Doc 13
0.3750, 0.0000, 2.0000, 0.7500
testing/wikipedia/v3/07659.html
P
(
T
)
Doc 31
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/04249.html
Doc 34
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/26160.html
B
(
T
)
Doc 5
0.3750, 0.0000, 3.0000, 1.1250
testing/wikipedia/v3/02606.html
N
(
T
)
Doc 10
0.3750, 0.0000, 2.0000, 0.7500
testing/wikipedia/v3/08396.html
Doc 11
0.3750, 0.0000, 2.0000, 0.7500
testing/wikipedia/v3/26537.html
Doc 12
0.3750, 0.0000, 2.0000, 0.7500
testing/wikipedia/v3/00888.html
υ
(
T
)
Doc 40
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/26514.html
x
(
T
)
Doc 16
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/06679.html
E
(
T
)
Doc 29
0.3750, 0.0000, 2.0000, 0.3750
testing/wikipedia/v3/01045.html
L
(
C
n
)
Doc 43
0.3750, -1.0000, 3.0000, 0.3750
testing/wikipedia/v3/14983.html
W
(
T
i
)
Doc 63
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/26063.html
σ
(
T
0
)
Doc 70
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/14844.html
ϱ
(
T
h
)
Doc 60
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/13351.html
I
(
T
0
)
Doc 44
0.3750, -1.0000, 2.0000, 0.7500
testing/wikipedia/v3/25224.html
Doc 49
0.3750, -1.0000, 2.0000, 0.7500
testing/wikipedia/v3/25218.html
I
(
T
M
)
Doc 44
0.3750, -1.0000, 2.0000, 0.7500
testing/wikipedia/v3/25224.html
Doc 49
0.3750, -1.0000, 2.0000, 0.7500
testing/wikipedia/v3/25218.html
P
(
T
i
)
Doc 61
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/07066.html
P
(
C
1
)
Doc 65
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/22516.html
π
0
(
C
)
Doc 51
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/24084.html
I
ν
(
T
)
Doc 50
0.3750, -1.0000, 2.0000, 0.7500
testing/wikipedia/v3/02799.html
B
2
(
T
)
Doc 48
0.3750, -1.0000, 2.0000, 0.7500
testing/wikipedia/v3/23030.html
Doc 75
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/16336.html
e
i
(
T
)
Doc 54
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/03912.html
H
∙
(
C
)
Doc 55
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/02271.html
P
1
(
T
)
Doc 47
0.3750, -1.0000, 2.0000, 0.7500
testing/wikipedia/v3/07002.html
P
0
(
T
)
Doc 47
0.3750, -1.0000, 2.0000, 0.7500
testing/wikipedia/v3/07002.html
u
ν
(
T
)
Doc 50
0.3750, -1.0000, 2.0000, 0.7500
testing/wikipedia/v3/02799.html
α
V
(
T
)
Doc 69
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/08831.html
p
sat
(
T
)
Doc 59
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/13195.html
B
i
(
T
)
Doc 48
0.3750, -1.0000, 2.0000, 0.7500
testing/wikipedia/v3/23030.html
Doc 57
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/07728.html
ℶ
n
(
T
)
Doc 72
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/12598.html
B
λ
(
T
)
Doc 46
0.3750, -1.0000, 2.0000, 0.7500
testing/wikipedia/v3/03322.html
B
ν
(
T
)
Doc 46
0.3750, -1.0000, 2.0000, 0.7500
testing/wikipedia/v3/03322.html
Doc 53
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/11329.html
Doc 68
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/06925.html
H
k
(
T
)
Doc 58
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/24981.html
N
0
(
T
)
Doc 11
0.3750, 0.0000, 2.0000, 0.7500
testing/wikipedia/v3/26537.html
Doc 12
0.3750, 0.0000, 2.0000, 0.7500
testing/wikipedia/v3/00888.html
Doc 73
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/22878.html
π
1
(
C
)
Doc 67
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/03885.html
P
n
(
C
)
Doc 56
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/12608.html
X
∙
(
T
)
Doc 45
0.3750, -1.0000, 2.0000, 0.7500
testing/wikipedia/v3/05263.html
ℋ
s
(
T
)
Doc 66
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/22198.html
e
s
(
T
)
Doc 64
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/09284.html
Doc 76
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/13993.html
tan
δ
(
T
)
Doc 52
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/25938.html
L
P
(
T
)
Doc 74
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/24884.html
X
∙
(
T
)
Doc 45
0.3750, -1.0000, 2.0000, 0.7500
testing/wikipedia/v3/05263.html
Γ
(
T
)
¯
Doc 9
0.3750, 0.0000, 2.0000, 0.9605
testing/wikipedia/v3/12284.html
k
^
(
C
)
Doc 62
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/11634.html
R
(
T
′
)
Doc 6
0.3750, 0.0000, 2.0000, 1.1250
testing/wikipedia/v3/24398.html
R
(
T
n
)
Doc 71
0.3750, -1.0000, 2.0000, 0.3750
testing/wikipedia/v3/03611.html
L
(
C
;
P
)
Doc 78
0.3750, -2.0000, 3.0000, 0.3750
testing/wikipedia/v3/10273.html
L
v
(
T
L
)
Doc 77
0.3750, -2.0000, 3.0000, 0.3750
testing/wikipedia/v3/03823.html
B
(
L
(
T
)
)
Doc 5
0.3750, 0.0000, 3.0000, 1.1250
testing/wikipedia/v3/02606.html
l
o
g
(
T
)
Doc 83
0.3750, -2.0000, 2.0000, 0.3750
testing/wikipedia/v3/21688.html
G
=
π
(
T
)
Doc 84
0.3750, -2.0000, 2.0000, 0.3750
testing/wikipedia/v3/25261.html
J
a
c
(
C
)
Doc 80
0.3750, -2.0000, 2.0000, 0.3750
testing/wikipedia/v3/05990.html
h
=
h
(
T
)
Doc 79
0.3750, -2.0000, 2.0000, 0.7500
testing/wikipedia/v3/02919.html
C
=
f
(
T
)
Doc 82
0.3750, -2.0000, 2.0000, 0.3750
testing/wikipedia/v3/25106.html
P
→
P
(
T
)
Doc 81
0.3750, -2.0000, 2.0000, 0.3750
testing/wikipedia/v3/07150.html
e
=
e
(
T
)
Doc 79
0.3750, -2.0000, 2.0000, 0.7500
testing/wikipedia/v3/02919.html
(
C
)
Doc 85
0.2105, 0.0000, 2.0000, 0.2105
testing/wikipedia/v3/26820.html
Doc 86
0.2105, 0.0000, 2.0000, 0.2105
testing/wikipedia/v3/28321.html
Doc 87
0.2105, 0.0000, 2.0000, 0.2105
testing/wikipedia/v3/07303.html
(
T
T
)
Doc 88
0.2105, -1.0000, 2.0000, 0.8421
testing/wikipedia/v3/09725.html
(
T
2
)
Doc 88
0.2105, -1.0000, 2.0000, 0.8421
testing/wikipedia/v3/09725.html
(
T
3
)
Doc 88
0.2105, -1.0000, 2.0000, 0.8421
testing/wikipedia/v3/09725.html
(
T
1
)
Doc 88
0.2105, -1.0000, 2.0000, 0.8421
testing/wikipedia/v3/09725.html
(
T
n
)
Doc 91
0.2105, -1.0000, 2.0000, 0.2105
testing/wikipedia/v3/15987.html
E
(
T
)
Doc 89
0.2105, -1.0000, 2.0000, 0.2105
testing/wikipedia/v3/21696.html
Ob
(
C
)
Doc 90
0.2105, -1.0000, 2.0000, 0.2105
testing/wikipedia/v3/00774.html
Dom
(
T
)
Doc 9
0.3750, 0.0000, 2.0000, 0.9605
testing/wikipedia/v3/12284.html
ran
(
T
)
Doc 92
0.2105, -1.0000, 2.0000, 0.2105
testing/wikipedia/v3/08407.html
Hol
(
C
3
)
Doc 94
0.2105, -2.0000, 2.0000, 0.2105
testing/wikipedia/v3/11185.html
<
d
(
C
)
Doc 93
0.2105, -2.0000, 2.0000, 0.2105
testing/wikipedia/v3/05601.html
A
∈
Ob
(
C
)
Doc 95
0.2105, -3.0000, 2.0000, 0.2105
testing/wikipedia/v3/13622.html
M
∼
(
T
-
T
C
)
β
Doc 96
0.2105, -6.0000, 2.0000, 0.2105
testing/wikipedia/v3/02529.html