>>59
n∈Rって書けばいいんじゃね