Open rrthomas opened 7 years ago
Indeed. I would welcome a patch for this! It might not be quite that simple; I'm not sure off the top of my head whether HPMOR already uses single and double quotes for different purposes "at the top level", e.g. for reported speech versus scare quotes.
A suggestion would be to use the
csquotes
package and its\enquote
command instead of manually typing the quotation marks.