The top documents tagged [set of formulae x]