Li-Fan Chen
says to
YSITD
代表從上面可以推導到下面 通常拿來表示 「我們改證上面的」