What is the antiderivative of #lnx#?