+string const mathcircumflex_def =
+ "%% For printing a cirumflex inside a formula\n"
+ "\\newcommand{\\mathcircumflex}[0]{\\mbox{\\^{}}}\n";
+
+string const tabularnewline_def =
+ "%% Because html converters don't know tabularnewline\n"
+ "\\providecommand{\\tabularnewline}{\\\\}\n";
+
+string const lyxgreyedout_def =
+ "%% The greyedout annotation environment\n"
+ "\\newenvironment{lyxgreyedout}{\\color[gray]{0.8}}{}\n";