TeX source:

P R G G:\{0,1\}^{\lambda} \rightarrow\{0,1\}^{2 \lambda}