I'll be interning in DC this summer (staying at GWU), and I was wondering where I could find cheap, vegetarian food near the campus and around Capital Hill.

I visited the Mall yesterday and then Chinatown and no kidding was the Chinese food awful. I've seen the DC food guide, but I'm from Philly and love truck fare. Does it exist beyond those pretzel / half-smoke / ice-cream vendors around the Mall?

Thanks!