TAG:乘法分配律用字母表示