diff --git a/src/symbols.js b/src/symbols.js index 41ad43083..dd4fa53df 100644 --- a/src/symbols.js +++ b/src/symbols.js @@ -627,6 +627,11 @@ var symbols = { group: "textord", replace: "\u2297" }, + "\\partial":{ + font: "main", + group: "textord", + replace: "\u2202" + }, "\\oslash": { font: "main", group: "textord",