diff --git a/symbols.js b/symbols.js index fd65d71e4..64a93ce26 100644 --- a/symbols.js +++ b/symbols.js @@ -29,6 +29,11 @@ var symbols = { group: "textord", replace: "%" }, + "\\_": { + font: "main", + group: "textord", + replace: "_" + }, "\\angle": { font: "main", group: "textord",