TeX source:

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