What is the main symbol in Isabelle's set operator (‘) :: ('a => 'b) => 'a set => 'b set?

Question

I was wondering what is the symbol ‘ in the Isabelle tutorial main.pdf below (under the section "Set")?

(‘)  :: (\'a => \'b) => \