Esto se escribe como f("a") = ↓.