Deletion of Transreal number line

Comment: Per the external link, |new terminology from a paper scheduled for publication next year
Stance: delete
Cited policy: Wikipedia:Wikipedia is not a dictionary (WP:NEO)