Fix description of \rightarrowgtr

closes #256