over:
B
x
over:
B
y
over:
B
y
over:
∑
y
over:
∫
y
Overs:
x
^
A
_
x
_
A
^
v
→
a
b
c