离散数学中”对于”怎么符号化比如说:”对于篮球他一点也不会”怎么符号化