Add \md for adding a proof/matching definition