Text this: The Selberg trace formula for PSL (2, [mathematical symbol for the real line]) /