Table 1: Some HOL4 notations and their semantics.

MeaningHOL notationsStandard notations

Truth
Falsity
Negation~t ¬t
Disjunction
Conjunctiont1 t2
Implication 1==> 2
Equality 1= 2
-quantification!  · 
-quantification?  · 
Lambda  ·