kdrag.notation.QImplies ======================= .. currentmodule:: kdrag.notation .. autofunction:: QImplies