+ if (wid_.empty())
+ os << "[kern]";
+ else
+ os << "[kern " << from_utf8(wid_.asLatexString()) << ']';
+}
+
+
+void InsetMathKern::infoize2(odocstream & os) const
+{
+ os << "Kern";
+ if (!wid_.empty())
+ os << ": " << from_utf8(wid_.asLatexString());