I was reading some paper and I found out something of which I cannot find the correct meaning. What does $A\xleftarrow{R}B$ means in functions notation? The $R$ on top of the function throw me off, I really want to know what it really means
EDIT: the paper in quetion is Craig Gentry's PhD Thesis, page 8, Recrypt algorithm