+docstring InsetPhantom::toolTip(BufferView const &, int, int) const
+{
+ docstring const res = phantomtranslator_loc().find(params_.type);
+ return toolTipText(res + from_ascii(": "));
+}
+
+
+void InsetPhantom::latex(otexstream & os, OutputParams const & runparams) const