swapped arrows from characters to HTML character codes to fix encoding issues