I'm trying to decide which lightweight computer I want to buy this coming summer before school starts.

I would like to get the Macbook Air for use on campus, but am also considering the HP TX2 tablet PC which looks like a pretty good deal and may be more beneficial to be able to write on the screen.

What lightweight computers are current students using?