&&
AndSyntax
=:=
EqualitySyntax