n∈RみたいなやつもRは実数とか書くんか?