The top documents tagged [symbolic logic symbols]