Li-Fan Chen
says to
YSITD
然後箭頭是 若P則Q 的那個 P->Q