letArrowOutsideDo.lean:2:7-2:9: error: unexpected token '←'; expected ':=' or '|'