Li-Fan Chen says to YSITD
只是表示法有點特殊