Linter fixes.
Better supported unicode arrows.