+ docstring const res = phantomtranslator_loc().find(params_.type);
+ return toolTipText(res + from_ascii(": "));
+}
+
+
+void InsetPhantom::latex(otexstream & os, OutputParams const & runparams) const
+{
+ if (runparams.moving_arg)
+ os << "\\protect";
+
+ switch (params_.type) {
+ case InsetPhantomParams::Phantom: