Definition:Linearly Irrational Number/Linguistic Note