+
Z2
Z3
+=
MergeQueue
-
Z2
Z3
<
Z2
Z3
<=
Z2
Z3
==
Z2
Z3
>
Z2
Z3
>=
Z2
Z3