Li-Fan Chen
says to
YSITD
= 這個符號在我們目前的討論範圍中 需要先定義一次