math 3 13
x
n
y
m
x
y
partialdiffdegree
list
n
m
plus
n
m
lambda
x
y
sin
times
x
y
x
y
a
div
a
E
div
E
∇
⋅
E
x
y
z
x
y
x
z
z
y
div
(
x
↦
x
+
y
y
↦
x
+
z
z
↦
z
+
y
)
f
grad
f
∇
f
x
y
z
x
y
z
grad
(
x
y
z
↦
x
y
z
)
a
curl
a
∇
×
a
E
∇
2
E
x
y
z
f
x
y
∇
2
(
x
y
z
↦
f
x
y
)
a
b
c
{
a
,
b
,
c
}
x
x
5
x
{
x
|
x
<
5
}
S
S
T
S
{
S
|
S
∈
T
}
x
x
5
x
x
{
x
|
(
x
<
5
)
∧
x
∈
N
}
{
a
b
c
(
a
,
b
,
c
)
x
x
5
(
x
|
x
<
5
)
A
B
A
∪
B
S
L
S
⋃
L
S
A
B
A
∩
B
S
L
S
⋂
L
S
a
A
a
∈
A
a
A
a
∉
A
A
B
A
⊆
B
A
B
A
⊂
B
A
B
A
⊈
B
A
B
A
⊄
B
A
B
A
∖
B
A
5
|
A
|
=
5
A
B
A
×
B