Original: AOL Inc. ( ) , formerly known as America Online and logo typeset as '' Aol . ''
Simplified: America Online ( or AOL ) is a U.S.-based online service provider and Internet service provider .