Cfrtjryk

I would like to typeset an arrow over a pair of letters, in the way that overright does: i.e., as overright{PP'}. However, I would like the arrow to be a different style: specifically, I would like to replicate the following:

(It doesn't need to be exactly like the above arrow, but I would like it to have the same triple-tail.) Is this possible?

I do not know that symbol, but it is easy construct an arrow with triple tail with another math symbols:

documentclass{article}

usepackage{graphicx, amsmath, amssymb}

defarrow3tails{%

resizebox{2em}{!}{$gggkern-1.1emrule[2pt]{2em}{1pt}%

kern-.4emblacktriangleright$}}

begin{document}

$overset{arrow3tails}{PP'}$

end{document}

I use scriptscriptstyle succ and the arrow in scriptstyle:

documentclass{article}

usepackage{amsmath}



makeatletter

newcommand{overrightarrowttt}[1]{%

  mathord{%

    vbox{%

      m@thoffinterlineskip

      ialign{%

        hfil##hfilcr

        rightarrow@tttcr

        noalign{kern0.4pt}

        $#1$cr

      }%

    }%

  }%

}

newcommand{ttt@joinrel}[1]{%

  mathrel{mspace{-#1mu}}%

}

newcommand{ttt@ail}{%

  mathrel{%

    vcenter{hbox{$scriptscriptstylesucc$}}%

  }%

}

newcommand{rightarrow@ttt}{%

  $scriptstyle

  ttt@ailttt@joinrel{9}

  ttt@ailttt@joinrel{9}

  ttt@ailttt@joinrel{12}

  relbarttt@joinrel{9}

  rightarrowttt@joinrel{6}$

}

makeatother



begin{document}



$overrightarrowttt{PP'}$



end{document}