←
ℙ
P
⌕
≤
≥
⇩
∀
∅
∀
∅
+
≤
≥
|Sol|=0
−
+