: >= < NOT ; : <= > NOT ; : 0>= 0< NOT ;