tangent
Not Supported
A
⊕
B
=
(
A
c
⊖
B
s
)
c
Search
Returned 72 matches (100 formulae, 60 docs)
Lookup 2.050 ms, Re-ranking 0.156 ms
Found 20787 tuple postings, 16604 formulae, 6491 documents
[ formulas ]
[ documents ]
[ documents-by-formula ]
Doc 1
1.0000
3.7698
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Mathematical_morphology.html
A
⊕
B
=
(
A
c
⊖
B
s
)
c
A
∙
B
=
(
A
c
∘
B
s
)
c
A
∙
B
=
(
A
c
∘
B
s
)
c
A
∘
B
=
(
A
⊖
B
)
⊕
B
A
∙
B
=
(
A
⊕
B
)
⊖
B
(
A
⊕
B
)
⊆
C
A
⊕
B
=
⋃
b
∈
B
A
b
(
A
⊕
B
)
⊕
C
=
A
⊕
(
B
⊕
C
)
(
A
⊖
B
)
⊖
C
=
A
⊖
(
B
⊕
C
)
Doc 2
0.6383
1.2466
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Opening_(morphology).html
A
∙
B
=
(
A
c
∘
B
s
)
c
A
∘
B
=
(
A
⊖
B
)
⊕
B
,
(
A
∘
B
)
∘
B
=
A
∘
B
Doc 3
0.3871
0.5222
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Closing_(morphology).html
A
∙
B
=
(
A
⊕
B
)
⊖
B
,
(
A
∙
B
)
∙
B
=
A
∙
B
Doc 4
0.3333
2.8164
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/De_Morgan's_laws.html
A
c
∪
B
c
⊆
(
A
∩
B
)
c
A
c
∪
B
c
⊆
(
A
∩
B
)
c
A
c
∪
B
c
⊆
(
A
∩
B
)
c
(
A
∪
B
)
c
=
A
c
∩
B
c
(
A
∩
B
)
c
=
A
c
∪
B
c
(
A
∩
B
)
c
=
A
c
∪
B
c
(
A
∩
B
)
c
⊆
A
c
∪
B
c
(
A
∩
B
)
c
⊆
A
c
∪
B
c
(
A
∩
B
)
c
⊆
A
c
∪
B
c
x
∈
(
A
∩
B
)
c
x
∈
(
A
∩
B
)
c
x
∈
(
A
∩
B
)
c
x
∉
(
A
∩
B
)
c
x
∉
(
A
∩
B
)
c
x
∈
(
A
∩
B
)
c
)
Doc 5
0.3191
0.6470
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Union_(set_theory).html
A
∪
B
=
(
A
C
∩
B
C
)
C
A
∩
(
B
∪
C
)
=
(
A
∩
B
)
∪
(
A
∩
C
)
A
∪
(
B
∩
C
)
=
(
A
∪
B
)
∩
(
A
∪
C
)
Doc 6
0.2881
0.2881
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Hit-or-miss_transform.html
A
⊙
B
=
(
A
⊖
C
)
∩
(
A
c
⊖
D
)
Doc 7
0.2727
1.3670
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Symmetric_difference.html
A
∪
B
=
(
A
△
B
)
△
(
A
∩
B
)
A
△
B
=
(
A
∪
B
)
∖
(
A
∩
B
)
,
A
△
B
=
(
A
∖
B
)
∪
(
B
∖
A
)
,
A
△
B
=
A
c
△
B
c
A
∩
(
B
△
C
)
=
(
A
∩
B
)
△
(
A
∩
C
)
,
A
⊕
B
.
A
⊖
B
.
Doc 8
0.2727
0.7879
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Ring_of_sets.html
A
△
B
=
(
A
∖
B
)
∪
(
B
∖
A
)
A
∪
B
=
(
A
△
B
)
△
(
A
∩
B
)
A
∖
B
=
A
△
(
A
∩
B
)
.
A
∩
B
=
A
∖
(
A
∖
B
)
.
Doc 9
0.2727
0.2727
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Linear_logic.html
A
≡
B
=
(
A
⊸
B
)
&
(
B
⊸
A
)
Doc 10
0.2727
0.2727
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Jaccard_index.html
A
△
B
=
(
A
∪
B
)
-
(
A
∩
B
)
Doc 11
0.2564
0.2564
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Set_(mathematics).html
A
Δ
B
=
(
A
∖
B
)
∪
(
B
∖
A
)
.
Doc 12
0.2151
0.2151
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Functional_completeness.html
A
∨
B
:=
(
A
→
B
)
→
B
.
Doc 13
0.2128
0.5698
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Two-element_Boolean_algebra.html
A
⋅
B
=
A
¯
+
B
¯
¯
A
+
B
=
A
¯
⋅
B
¯
¯
.
A
+
(
B
⋅
C
)
=
(
A
+
B
)
⋅
(
A
+
C
)
.
Doc 14
0.2128
0.2128
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Context-free_language.html
A
∩
B
=
A
¯
∪
B
¯
¯
Doc 15
0.2041
1.0471
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/XOR_swap_algorithm.html
(
A
⊕
B
)
⊕
A
=
A
⊕
(
A
⊕
B
)
A
⊕
B
=
B
⊕
A
=
(
A
⊕
A
)
⊕
B
(
A
⊕
B
)
⊕
B
=
A
⊕
(
B
⊕
B
)
(
A
⊕
B
)
⊕
C
=
A
⊕
(
B
⊕
C
)
A
⊕
B
A
⊕
B
Doc 16
0.1942
0.1942
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/E7_(mathematics).html
A
∘
B
=
(
A
B
+
B
A
)
/
2
Doc 17
0.1935
0.7939
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/List_of_logic_systems.html
B
→
(
A
∨
B
)
B
→
(
A
∨
B
)
A
→
(
B
→
(
A
∧
B
)
)
A
→
(
B
→
(
A
∧
B
)
)
(
A
↔
B
)
→
(
A
→
B
)
Doc 18
0.1935
0.3135
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Schnirelmann_density.html
A
⊕
B
=
𝒩
.
A
⊕
B
Doc 19
0.1905
0.1905
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Hadamard_product_(matrices).html
A
∘
(
B
∘
C
)
=
(
A
∘
B
)
∘
C
,
Doc 20
0.1887
0.6687
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Exclusive_or.html
(
A
⊕
B
)
A
⊕
B
A
⊕
B
A
⊕
B
A
⊕
B
Doc 21
0.1818
0.5040
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Complement_(set_theory).html
(
A
∪
B
)
c
=
A
c
∩
B
c
.
(
A
∩
B
)
c
=
A
c
∪
B
c
.
(
A
c
)
c
=
A
.
Doc 22
0.1818
0.1818
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Monoidal_t-norm_logic.html
A
↔
B
≡
(
A
→
B
)
∧
(
B
→
A
)
Doc 23
0.1818
0.1818
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/T-norm_fuzzy_logics.html
A
↔
B
≡
(
A
→
B
)
∧
(
B
→
A
)
Doc 24
0.1818
0.1818
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/BL_(logic).html
A
↔
B
≡
(
A
→
B
)
∧
(
B
→
A
)
Doc 25
0.1786
0.1786
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Multivariate_mutual_information.html
A
~
=
(
A
~
∩
B
~
)
∪
(
A
~
\
B
~
)
Doc 26
0.1687
0.1687
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Crossed_ladders_problem.html
(Eq. 1)
A
B
=
h
(
A
+
B
)
Doc 27
0.1649
0.1649
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Lamé_function.html
d
2
y
d
x
2
=
(
A
+
B
\weierp
(
x
)
)
y
Doc 28
0.1639
0.9124
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Algebra_of_sets.html
A
∩
(
B
∪
C
)
=
(
A
∩
B
)
∪
(
A
∩
C
)
A
∪
(
B
∩
C
)
=
(
A
∪
B
)
∩
(
A
∪
C
)
A
∩
B
=
A
∖
(
A
∖
B
)
A
∩
(
A
∪
B
)
=
A
A
∪
(
A
∩
B
)
=
A
(
A
∪
B
)
C
=
A
C
∩
B
C
(
A
∩
B
)
C
=
A
C
∪
B
C
Doc 29
0.1600
0.1600
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Probability_axioms.html
P
(
B
∖
(
A
∩
B
)
)
Doc 30
0.1550
0.6009
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Cartesian_product.html
A
×
(
B
∖
C
)
=
(
A
×
B
)
∖
(
A
×
C
)
,
A
×
(
B
∩
C
)
=
(
A
×
B
)
∩
(
A
×
C
)
,
A
×
(
B
∪
C
)
=
(
A
×
B
)
∪
(
A
×
C
)
,
(
A
×
B
)
c
=
(
A
c
×
B
c
)
∪
(
A
c
×
B
)
∪
(
A
×
B
c
)
.
Doc 31
0.1538
0.1538
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/XOR_gate.html
A
⋅
B
¯
+
A
¯
⋅
B
≡
(
A
+
B
)
⋅
Doc 32
0.1500
0.1500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Activity_selection_problem.html
B
=
(
A
∖
{
k
}
)
∪
{
1
}
Doc 33
0.1500
0.1500
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/Computron_tube.html
S
=
(
A
*
B
)
+
C
+
D
Doc 34
0.1481
0.1481
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Duality_(mathematics).html
(
A
c
)
c
=
A
Doc 35
0.1446
0.2578
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Logical_biconditional.html
A
↔
B
⇔
¬
(
A
⊕
B
)
(
A
↔
B
)
Doc 36
0.1446
0.1446
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Spherical_trigonometry.html
2
S
=
(
A
+
B
+
C
)
Doc 37
0.1412
0.1412
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Amagat's_law.html
B
1
,
2
=
(
B
1
+
B
2
)
/
2
Doc 38
0.1353
0.1353
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Adder_(electronics).html
C
o
u
t
=
(
A
⋅
B
)
+
(
C
i
n
⋅
(
A
⊕
B
)
)
Doc 39
0.1333
0.1333
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Geometric_calculus.html
𝒫
B
(
A
)
=
(
A
⋅
B
-
1
)
B
Doc 40
0.1319
0.1319
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Reaction_rate.html
A
+
B
⇌
|
A
⋯
B
|
‡
→
P
Doc 41
0.1304
0.2529
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Dilation_(morphology).html
A
⊕
B
=
⋃
b
∈
B
A
b
.
(
A
⊕
B
)
⊕
C
=
A
⊕
(
B
⊕
C
)
Doc 42
0.1290
0.1290
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/State-space_representation.html
𝐱
˙
(
t
)
=
(
A
+
B
K
)
𝐱
(
t
)
Doc 43
0.1263
0.2526
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Geometric_algebra.html
𝒫
B
(
A
)
=
(
A
⌟
B
-
1
)
⌟
B
𝒫
B
(
A
)
=
(
A
⌟
B
-
1
)
⌟
B
Doc 44
0.1224
0.1224
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Erosion_(morphology).html
(
A
⊖
B
)
⊖
C
=
A
⊖
(
B
⊕
C
)
Doc 45
0.1212
0.1212
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Q-Vandermonde_identity.html
(
A
+
B
)
m
(
A
+
B
)
n
Doc 46
0.1200
0.3600
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Direct_sum.html
A
⊕
B
A
⊕
B
A
⊕
B
Doc 47
0.1200
0.2311
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Logic_gate.html
A
⊕
B
A
⊕
B
¯
Doc 48
0.1200
0.1200
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Carry-lookahead_adder.html
A
⊕
B
Doc 49
0.1200
0.1200
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Direct_sum_of_modules.html
A
⊕
B
Doc 50
0.1176
0.2353
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Homotopy_type_theory.html
(
A
=
B
)
→
(
A
≃
B
)
(
A
=
B
)
≃
(
A
≃
B
)
Doc 51
0.1159
0.2319
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Combinational_logic.html
A
+
(
A
⋅
B
)
=
A
A
⋅
(
A
+
B
)
=
A
Doc 52
0.1149
0.1149
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Feynman_parametrization.html
u
=
(
z
-
B
)
/
(
A
-
B
)
Doc 53
0.1132
0.5660
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Logical_conjunction.html
(
A
and
B
)
(
A
and
B
)
(
A
and
B
)
(
A
and
B
)
(
A
and
B
)
Doc 54
0.1132
0.1132
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Damping.html
x
(
t
)
=
(
A
+
B
t
)
e
-
ω
0
t
Doc 55
0.1132
0.1132
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Comma_category.html
(
A
↓
B
)
Doc 56
0.1132
0.1132
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Tautology_(logic).html
(
A
∧
B
)
Doc 57
0.1121
0.1121
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Pfaffian.html
A
1
⊕
A
2
=
[
A
1
0
0
A
2
]
,
Doc 58
0.1121
0.1121
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Generalized_method_of_moments.html
I
-
B
=
(
I
-
B
)
(
I
-
B
)
′
Doc 59
0.1111
0.2222
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Natural_deduction.html
A
prop
B
prop
(
A
∧
B
)
prop
∧
F
A
true
B
true
(
A
∧
B
)
true
∧
I
Doc 60
0.1111
0.1111
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Intuitionistic_logic.html
(
A
∧
B
)
*