<div dir="auto">Hi Juan,</div><div dir="auto">The example sequences you mentioned are not important for me, removing those would be enough? Or restricting to alphanumeric names like \times and \alpha, plus \^ for superscript and \_ for subscript?</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Oct 4, 2024 at 22:31 Juan Vuletich <<a href="mailto:juan@cuis.st">juan@cuis.st</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)">Hi Folks, especially Luciano.<br>
<br>
Today I learned that the \ + name + space sequence for entering selected <br>
Unicode characters meant that some valid Smalltalk could not be entered. <br>
For instance:<br>
'C:\' [space] (i.e. some reasonable Windows file path in a String <br>
literal, followed by a space character)<br>
"C:\" [space] (i.e. some reasonable Windows file path in a comment, <br>
followed by a space character)<br>
a \~ b (i.e. some weird but possible binary selector)<br>
`a copyWith: $\` (i.e. some backtick compile time constant ending with a <br>
backslash)<br>
<br>
If Luciano or anyone thinks they really need this, we can add a preference.<br>
<br>
Comments welcome.<br>
<br>
Thanks!<br>
<br>
-- <br>
Juan Vuletich<br>
<a href="http://cuis.st" rel="noreferrer" target="_blank">cuis.st</a><br>
<a href="http://github.com/jvuletich" rel="noreferrer" target="_blank">github.com/jvuletich</a><br>
<a href="http://researchgate.net/profile/Juan-Vuletich" rel="noreferrer" target="_blank">researchgate.net/profile/Juan-Vuletich</a><br>
<a href="http://independent.academia.edu/JuanVuletich" rel="noreferrer" target="_blank">independent.academia.edu/JuanVuletich</a><br>
<a href="http://patents.justia.com/inventor/juan-manuel-vuletich" rel="noreferrer" target="_blank">patents.justia.com/inventor/juan-manuel-vuletich</a><br>
<a href="http://linkedin.com/in/juan-vuletich-75611b3" rel="noreferrer" target="_blank">linkedin.com/in/juan-vuletich-75611b3</a><br>
<a href="http://twitter.com/JuanVuletich" rel="noreferrer" target="_blank">twitter.com/JuanVuletich</a><br>
<br>
</blockquote></div></div>