<div dir="ltr"><div dir="ltr">On Sat, Jun 14, 2025 at 11:19 AM Jukka K. Korpela via Unicode <<a href="mailto:unicode@corp.unicode.org">unicode@corp.unicode.org</a>> wrote:</div><div class="gmail_quote gmail_quote_container"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">I would first ask why UNDO SYMBOL was included</div></blockquote><div><br></div><div>It was encoded in 1998 in ISO 10646 Amendment 22 Keyboard Symbols, and then published in 1999 in Unicode 3.0.</div><div>The first documents about "keyboard symbols" appear in 1997:</div><div><a href="https://www.unicode.org/L2/L1997/Register-1997.html">https://www.unicode.org/L2/L1997/Register-1997.html</a></div><div><a href="https://www.unicode.org/L2/L1998/Register-1998.html">https://www.unicode.org/L2/L1998/Register-1998.html</a></div><div><a href="https://www.unicode.org/wg2/docs/n2100.htm">https://www.unicode.org/wg2/docs/n2100.htm</a></div><div><br></div><div>Many of these documents were on paper and don't have online versions.</div><div><br></div><div>In general, user interfaces do just fine with symbols as images, not needing encoded characters, and not wanting to rely on variable font support and glyph design.</div><div><br></div><div>markus<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div></div></blockquote></div>
</blockquote></div></div>