ensure symbols are always correctly represented/printed
ensure symbols are always correctly represented/printed