p<=>q