let
equality =
create_symbol
Predicate
"="
"="
2