discussion:zh:en:symbol:formal_sequence