問一下<=>跟=>是什麼數學符號....

a<=>b
的意思是a可以推到b b也可以推到a 如: 國慶日<=>10月10日
a=>b
的意思是a可以推到b b不可以推到a 如: 下雨=>地濕

請問 <=>跟=> 的中文名稱跟英文名稱是什麼呢