读作等价于
b＜=a、a=＞b表示由a可以推出b
a＜=＞b,表示a等价于b,表示ab可以互推