Use proper named HTML entity for double right arrows