x
b
a
x
b
a
min
A
max
B
det
C
Pr
A
gcd
A
u
̇
2
u
¯
ɛ
u
¯
b
a
a
+
b
︷
term
a
+
b
⎴
c
a
+
b
︸
c
a
+
b
⎵
c
H
e
3
x
A
x
3