Formatting to please AMS