Li-Fan Chen says to YSITD
就 因為我們等一下的討論會需要 = 這個符號的精確定義