commit 8cf72d9901b2d4954b3b3a031071d481019c5f5a
parent 6dd6032ebcf7fed1e5277ee7ed03f6e078ad05d9
Author: Ben Alpert <spicyjalapeno@gmail.com>
Date: Wed, 23 Jul 2014 20:25:57 -0700
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
Diffstat:
1 file changed, 5 insertions(+), 0 deletions(-)
diff --git 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",