implement a \punct macro for end-of-math punctuation, this may be a bad idea, but at least it would now be searchable