ra’s Twitter Archive—№ 4,277

@__get__ Come on. You know I wouldn't use as sloppy a name as 'every number.' @everypositiveinteger, maybe. @∀x|ℤ∋x, more likely.