From 642c022d816a88bd877b9f63819db7c4187f0c0b Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Thu, 29 Nov 2018 10:42:05 -0800 Subject: [PATCH] sample.lua: add SingleQuoted, DoubleQuoted. Closes #5104. --- data/sample.lua | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/data/sample.lua b/data/sample.lua index 9d6bf0fc7..86f95c860 100644 --- a/data/sample.lua +++ b/data/sample.lua @@ -164,6 +164,14 @@ function DisplayMath(s) return "\\[" .. escape(s) .. "\\]" end +function SingleQuoted(s) + return "‘" .. s .. "’" +end + +function DoubleQuoted(s) + return "“" .. s .. "”" +end + function Note(s) local num = #notes + 1 -- insert the back reference right before the final closing tag.