check font name if add symbol into cells editor(plugin symbol table)

cell/model/clipboard.js

@@ -2902,6 +2902,7 @@
 								format.setItalic(true);
 							}
 							var fontFamily = computedStyle.getPropertyValue("font-family");
+							fontFamily = g_fontApplication.GetFontNameDictionary(fontFamily, true);
 							if(fontFamily){
 								format.setName(fontFamily);
 								res.fonts[fontFamily] = 1;