Tools for Text Editing and Formatting