string lower_case( string str );
Return the lowercase version of a given string (original string remains unchanged).
See also: capitalize
Beek @ZorkMUD, Lima Bean, IdeaExchange, TMI-2, and elsewhere