added '\sheq' for should equal sign