Input: lasolve(y(0.5,x)=2y)
Write: `lasolve(y(0.5,x)=2y)`
Output: $$ lasolve(y^{(0.5)}(x)=2\ y) == y(0)\ E_{0.5} (2\ \sqrt{x}) $$ Result:$$y(0)\ E_{0.5} (2\ \sqrt{x})$$