【 】这是什么符号?最大公因数?最小公倍数?