Text this: Grupos topológicos de isometrías