-// include this always
-extern string const lyx_def;
-extern string const lyxline_def;
-extern string const noun_def;
-extern string const lyxarrow_def;
-extern string const quotedblbase_def;
-extern string const quotesinglbase_def;
-extern string const guillemotleft_def;
-extern string const guillemotright_def;
-extern string const guilsinglleft_def;
-extern string const guilsinglright_def;
-extern string const paragraphindent_def;
-extern string const floatingfootnote_def;
-extern string const minipageindent_def;
-extern string const boldsymbol_def;
-extern string const binom_def;
+///
+extern std::string const lyx_def;
+///
+extern std::string const lyxline_def;
+///
+extern std::string const noun_def;
+///
+extern std::string const lyxarrow_def;
+///
+extern std::string const quotedblbase_def;
+///
+extern std::string const quotesinglbase_def;
+///
+extern std::string const guillemotleft_def;
+///
+extern std::string const guillemotright_def;
+///
+extern std::string const guilsinglleft_def;
+///
+extern std::string const guilsinglright_def;
+///
+extern std::string const paragraphleftindent_def;
+///
+extern std::string const floatingfootnote_def;
+///
+extern std::string const boldsymbol_def;
+///
+extern std::string const binom_def;
+///
+extern std::string const mathcircumflex_def;
+///
+extern std::string const tabularnewline_def;
+///
+extern std::string const lyxgreyedout_def;
+///
+extern std::string const lyxdot_def;