Re: about some potentially interesting unicode operators

On Thu, 29 Aug 2024 09:59:49 -0700
Keith Thompson <Keith.S.Thompson+u@gmail.com> wrote:

Janis Papanagnou <janis_papanagnou+ng@hotmail.com> writes:

On 29.08.2024 04:07, Janis Papanagnou wrote: 

On 29.08.2024 02:04, Keith Thompson wrote: 

>
If there's an easy way to type non-ASCII characters like '·' that
works across different systems, including all the various terminal
emulators used on Windows and Linux (as well as MacOS, but I don't
happen to use it), I'd love to know about it.  

 
I don't think there can be a portable or consistent way to create
that character. Incidentally (I just tried a few keys) I can get
the '·' by typing "Alt GR" and ',' (on my DE keyboard). [...] 

>
Keith, what does your keyboard produce when typing <Alt>-<7> ?
>
On my US keyboard it produces the '·'. Don't know whether that
is reliable, though. (I don't think it is; e.g. my Thunderbird
doesn't expand any character when entering <Alt> combinations.) 

 
It produces the two-character sequence Escape 7.
 

Which 7? The one on numeric pad produces • in quite a lot of contexts.
The character appears after release of Alt key.