The syntax of Prop is an extension of C++. Most new constructs
of Prop starts with new keywords, listed below.
In addition, the following new multi-character symbols are added:
<-> <=> := :- .( .[
#[ #( #{ [| |] (| |) {| |}