% Wrapper for backwards compatibility \RequirePackage{bussproofs-extra} \PackageWarning{bussproofs-extra}{You've loaded bussproofs with bpextra, but you should use bussproofs-extra instead}