@@ -164,6 +164,14 @@ function DisplayMath(s)
164164 return "\\[" .. escape(s) .. "\\]"
165165end
166166
167+function SingleQuoted(s)
168+ return "‘" .. s .. "’"
169+end
170+
171+function DoubleQuoted(s)
172+ return "“" .. s .. "”"
173+end
174+
167175function Note(s)
168176 local num = #notes + 1
169177 -- insert the back reference right before the final closing tag.