Text this: Mathematical quantum theory