Expression List
p
q
r
s
⌫
∧
x1
x2
x3
x4
x5
∨
F =
G =
H =
0
1
¬
apply
=
(
)
→
restriction
↔
↑
↓
⊕