Text this: Elements of general topology