envAi⁡(x)=2⁢Ai⁡(x),