From c79fb5893686ac0b8c4d8ec33ea1b940d2e4a0c4 Mon Sep 17 00:00:00 2001
From: Kevin Barabash <kevinb@khanacademy.org>
Date: Tue, 29 Dec 2015 10:21:44 -0800
Subject: [PATCH] Revert previous change to make \centerdot like \cdot

Summary:
Alpert alerted me to the fact that \centerdot and \cdot are
not the same despite what MathJax thinks.

Test Plan:
- make serve
- load http://localhost:7936/
- see the `a \centerdot b` produces a small, bottom-aligned square

Auditors: alpert emily
---
 src/symbols.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/symbols.js b/src/symbols.js
index 044fef50d..6170cb5e7 100644
--- a/src/symbols.js
+++ b/src/symbols.js
@@ -352,7 +352,7 @@ defineSymbol(math, ams, bin, "\u22cf", "\\curlywedge");
 defineSymbol(math, ams, bin, "\u22ce", "\\curlyvee");
 defineSymbol(math, ams, bin, "\u229d", "\\circleddash");
 defineSymbol(math, ams, bin, "\u229b", "\\circledast");
-defineSymbol(math, main, bin, "\u22c5", "\\centerdot");
+defineSymbol(math, ams, bin, "\u22c5", "\\centerdot");
 defineSymbol(math, ams, bin, "\u22ba", "\\intercal");
 defineSymbol(math, ams, bin, "\u22d2", "\\doublecap");
 defineSymbol(math, ams, bin, "\u22d3", "\\doublecup");