 Equality is a binary symbol that could be strict or liberal. In our language, the equality symbol \(\approx\) with \(\Rank(\approx )=2\) is liberal (having arity 2 and being allowed to work between terms of any  sort).[2]  The quantifier \(\exists x^{i}\) is used for variables \(x^{i}\) of any sort \(i\).