@jwildeboer

Ah, das ist demnach die Menge der Quartalszahlen von Twitter, und damit äquivalent ℝ¬.