From 8cf72d9901b2d4954b3b3a031071d481019c5f5a Mon Sep 17 00:00:00 2001 From: Ben Alpert Date: Wed, 23 Jul 2014 20:25:57 -0700 Subject: [PATCH] Add \_ Test Plan: http://0.0.0.0:7936/?text=%5Cpink%7B80%7D%2C%20%5C_%5C_%5C_%2C%20%5Cgreen%7B100%7D Auditors: emily --- symbols.js | 5 +++++ 1 file changed, 5 insertions(+) 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",