Text this: Topological vector spaces and distributions