wouldn't "<<" look slightly better for this?