Character codes: Difference between revisions

<code>7 u:</code> converts fromto utf-16 (<code>8 u:</code> would convert to utf-168, and (<code>9 u:</code> would instead have convertedconvert to utf-32), and <code>3 u:</code> converts what the uncode consortium calls "code points" to numeric form. Since J character literals are utf-8 (primarily because that's how OS interfacesn work), by itself <code>3 u:</code> would give us: