The top documents tagged [x logic symbol x x f]