The top documents tagged [sdosymbol file]