Ref.manual: fix in latex formula w.r.t. underscores