discussion:zh:en:symbol:logic:order