In reply to Bart.

Thank you, Bart, great point! SAS formats are always useful. Knowing that symbol "∞" has Unicode representation of '221E' we can even write user-defined format to use "∞" for "Infinity":

proc format;
value infbest
low-high = [best32.]
.I = "+(*ESC*){unicode '221E'x}"
.M = "-(*ESC*){unicode '221E'x}"
other = "Missing"
;
run;