<html> <head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> </head> <body bgcolor="#FFFFFF" text="#000000"> <div class="moz-cite-prefix">On 10/3/23 7:54 AM, Luciano Notarfrancesco via Cuis-dev wrote: </div> <blockquote type="cite" cite="mid:CAL5GDyqc3hGH-jOC2LypXuKna07MCecxFCjC5GVQX_AByTr5YA@mail.gmail.com"> <pre class="moz-quote-pre" wrap="">On Tue, Oct 3, 2023 at 04:41 H. Hirzel via Cuis-dev <a class="moz-txt-link-rfc2396E" href="mailto:cuis-dev@lists.cuis.st"><cuis-dev@lists.cuis.st></a> wrote: </pre> <blockquote type="cite"> <pre class="moz-quote-pre" wrap="">If I want an epsilon I type \epsilon<space><backspace> This is in DrGeo 23.06 beta Is this the intended behavior to have to type a <backspace> in addition to the <space> character? </pre> </blockquote> <pre class="moz-quote-pre" wrap=""> </pre> <blockquote type="cite"> <pre class="moz-quote-pre" wrap="">Yes, but instead of <space> you can type the character that you actually </pre> </blockquote> <pre class="moz-quote-pre" wrap="">want after epsilon, so you don’t need to press <backspace> to delete it. For example to write α+β you can type \alpha+\beta, and to write α⊕β you can write \alpha\oplus\beta. </pre> <fieldset class="mimeAttachmentHeader"></fieldset> </blockquote> There is, as Luciano pointed out, a subtle difference between these two forms of input syntax: <ul> <li><tt>\someLatexSymbol</tt> keeps the next character the user typed (usually a space)</li> <li><tt>\+161 </tt>replaces the character sequence in including the space</li> </ul> The rationale behind this – seemingly arbitrary – difference in behavior is as follows: The symbol input is meant for Smalltalk code and the operator symbol must be followed by some white-space to denote a one-character binary message selector. If you want to type a multi-character binary selector it also works nicely (See Luciano's explanation). The input of arbitrary Unicode symbols works for every text editor and is meant to enter Unicode characters, everywhere in the text, possible in the middle of a word. It closely mimics the Unicode input methods of the those of many Unix X11 based programs, where you can type <tt>Shift-Control-U <hex digits ...> space</tt>. HTH and Best Regards, Gerald </body> </html>