I don't mind typing @user as that's been the standard for well over a decade.