The top documents tagged [symbols of logic]