<=   ^   =>