discussion:zh:symbol:logic:translation