⋁
+
⋀
&
¬
~
Atom
Any Letter
→
>
↔
<
=
=
≠
#
⊥
!
⊤
?
∀
@
∃
$
Predicate
(
Function
)
Confirm
1:
Goal: