"a "="A"	"A "="a"	"a  " <= "A b"	
1	1	1