TeX source:
\widetilde{b}=\operatorname{Enc}(b)