GUI: use Unicode arrow symbols for buttons