`A/α` is still defined.  JuliaLang/julia#5810 only deprecated `α/A`.