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
 |