"\u03C0¹ UMa"@cs .