H. P. Grice enjoys Hilbert's and Ackerman's treatment of the Peirce stroke: "X/X" " gleichbedeutend mit X̄."

"X/X ist dann gleichbedeutend mit X̄."