don't use unicode arrows (confuses mac eclipse)