bystartw_tw@tg says to YSITD
[lambda符號]a.2a vs f(a)=2a