diff options
| -rw-r--r-- | data/sample.lua | 8 |
1 files changed, 8 insertions, 0 deletions
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. |