\[\operatorname{envAi}\left(x\right)=\operatorname{envBi}\left(x\right)=\left({%
\operatorname{Ai}}^{2}\left(x\right)+{\operatorname{Bi}}^{2}\left(x\right)%
\right)^{1/2},\]