\sub {<=>}