Added blackboard bold R for reals