Li-Fan Chen
says to
YSITD
f:x -> x+1 是 f(x)=x+1的意思嗎