x是y的同学符号化