Using HTML code instead of litteral character for arrows, fixes #332.