File:Equational Inference Bar Cancel (( )).png