$\operatorname{env}\mskip-2.0muJ_{\nu}(x)=\sqrt{2}J_{\nu}(x),$