Corrected mathbb A command (using renew)