The top documents tagged [basic logic symbols]