Comment Comment by latexr Do you have a link to documentation on that method of highlighting text? Hard to search for due to the all the non-letter characters. parent latexr 3 years ago