Err, except it's `space.newsymbol("<<")`