544D9 |
HXS==HXS
|
( hxs hxs' → %flag )
== test
|
544EC |
HXS#HXS
|
( hxs hxs' → %flag )
≠ test
|
54552 |
HXS<HXS
|
( hxs hxs' → %flag )
< test
|
54500 |
HXS>HXS
|
( hxs hxs' → %flag )
> test
|
5452C |
HXS>=HXS
|
( hxs hxs' → %flag )
≥ test
|
5453F |
HXS<=HXS
|
( hxs hxs' → %flag )
≤ test
|