import Lean.Compiler.NameMangling

#eval "ab12".mangle
#eval "ÿ".mangle
#eval "α₁".mangle
#eval "𝒫".mangle