I was thinking about that too, however you only do so in environments where is supported or make a parameter to ascii_art allow Unicode or an entirely new method
From: Volker Braun Sent: Wednesday, 27 February 2019 00:39 To: sage-devel Subject: [sage-devel] Re: Proposal: Add ascii_art representation to factor Unicode has superscripts btw, would be neat to make use of that: x⁴⁵⁶⁷⁸⁹ 16 = 2⁴ -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.