#real number set #double-struck r #blackboard bold r #reals