Text this: User interface considerations for a better TeX environment /