Text this: Lie groups and definability