Demonstrate that both \reals and \mathbb trigger ams_required.