¹ is now a symbol

Fix in response to the fix to https://coq.inria.fr/bugs/show_bug.cgi?id=3541