<div dir="auto">Hi,</div><div dir="auto">Oh, I didn’t see the code (for some reason gmail app only show me the contents of some changesets, and not others). But why the dot? Why two different ways to do the same?</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Nov 7, 2023 at 02:47 Gerald Klix <<a href="mailto:cuis.01@klix.ch">cuis.01@klix.ch</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)">
  
    
  
  <div bgcolor="#FFFFFF" text="#000000">
    <div>Luciano,<br>
      <br>
      I added these symbols to this very method and this very
      dictionary.<br>
      <br>
      A neat side effect that you can type "\.left" in any text editor<br>
      (not only code editor)<br>
      and it will be replaced by the left arrow (→) or – if you don't
      know Latex<br>
      well – you can type \.-> and get the same.<br>
      <br>
      I personally find it easier to remember than those Latex names,<br>
      although I write letters and invoices with Latex.<br>
      <br>
      <br>
      Just my 0.00€,<br>
      <br>
      Gerald</div></div><div bgcolor="#FFFFFF" text="#000000"><div><br>
      <br>
      <br>
      <br>
      On 11/6/23 8:34 PM, Luciano Notarfrancesco via Cuis-dev wrote:<br>
    </div>
    <blockquote type="cite">
      <pre style="font-family:monospace">Hi Gerald,
Some of those are already implemented, for example you can input subscripts
and superscripts like \^n or \_0. Also you can extend the named characters
by adding entries to the Dictionary of named characters (in
UnicodeCodePoint class), you can add entries to the dictionary or change
the initialization method that creates the default named characters.

On Tue, Nov 7, 2023 at 01:55 Gerald Klix <a href="mailto:cuis.01@klix.ch" target="_blank" style="font-family:monospace"><cuis.01@klix.ch></a> wrote:

</pre>
      <blockquote type="cite">
        <pre style="font-family:monospace">Hi all, Hi Juan,

I found it a bit tedious to remember various Unicode codes points
to just input characters like ⧐, therefore I added a method
to input them conveniently.

With the attached change set, you type \.||> ("\." is the prefix
just like "\+" for numerical input) in any text editor,
this input will be replaced replaced by ⧐ after you enter a space.

*Question: Is this the way to go?*

The implementation is a bit crude
and needs to be refined if we add this concept to the core image.


Best Regards,

Gerald



Encl.:
Current symbol mappings:

   '
   "    ̈
   $$    $
   $B    ฿
   $C    ₵
   $E    €
   $L    ₺
   $N    ₪
   $NIS    ₪
   $P    £
   $R    ₹
   $W    ₩
   $Y    ¥
   ''    ́
   (C)    ©
   (TM)    ™
   **    ×
   +-    ±
   --    —
   -->    ⟶
   --|    ⊣
   -/->    ↛
   ->    →
   ->>    ↠
   ->|    ⇥
   -^^    ↟
   -|->    ⇸
   -||->    ⇻
   -[>    ⇾
   -__    ↡
   ...    …
   .;^    ⋰
   //    ÷
   0*    ⊛
   0+    ⊕
   0+>    ⟴
   0-    ⊖
   0.    ⊙
   0/    ⊘
   00    ∘
   0;    ⊝
   0=    ⊜
   0C    ℃
   0F    ℉
   0O    ∙
   0x    ⊗
   2->    ⇉
   2^    ⇈
   2_    ⇊
   3->    ⇛
   :-)    😀
   ;-)    😉
   ;;;    ⋯
   ;;>    ⇢
   ;;^    ⇡
   ;;_    ⇣
   <-    ←
   <--    ⟵
   <-->    ⟷
   <--|    ⟻
   <-/-    ↚
   <-<    ↢
   <->    ↔
   <-|    ↤
   <-|-    ⇷
   <-|->    ⇹
   <-||-    ⇺
   <-||->    ⇼
   <3-    ⇚
   <::    ⇠
   <<    «
   <<-    ↞
   <=    ⇐
   <==>    ⟺
   <==|    ⟽
   <=>    ⇔
   <=|    ⤆
   <|    ⊲
   <||    ⧏
   <~    ⇜
   <]-    ⇽
   <{    ⟨
   =/    ≠
   =<    ≤
   =>    ⇒
   >->    ↣
   ><<    ⧒
   >=    ≥
   >>    »
   >><    ⧑
   >><<    ⧓
   >^    ↑
   >_    ↓
   \/\_    ↯
   ^+    ⁺
   ^-    ⁻
   ^0    ⁰
   ^1    ¹
   ^2    ²
   ^3    ³
   ^4    ⁴
   ^5    ⁵
   ^6    ⁶
   ^7    ⁷
   ^8    ⁸
   ^9    ⁹
   ^;.    ⋱
   ^><<    ⧕
   ^|    ⌉
   ^i    ⁱ
   ^n    ⁿ
   ^o    °
   ^_    ↕
   |+    ⊧
   |-    ⊦
   |--    ⊢
   |-->    ⟼
   |->    ↦
   |<-    ⇤
   |==    ⊨
   |==>    ⟾
   |=>    ⤇
   |>    ⊳
   |^    ⌈
   |^>    ↥
   ||-    ⊩
   ||=    ⊫
   ||>    ⧐
   |||-    ⊪
   |]    ⟧
   |_    ⌊
   |_>    ↧
   |}    ⦄
   ~    ̃
   ~=    ≠
   ~>    ⇝
   ~~>    ⟿
   [+]    ⊞
   [.]    ⊡
   [|    ⟦
   [x]    ⊠
   _+    ₊
   _-    ₋
   _0    ₀
   _1    ₁
   _2    ₂
   _3    ₃
   _4    ₄
   _5    ₅
   _6    ₆
   _7    ₇
   _8    ₈
   _9    ₉
   _|    ⌋
   _h    ₕ
   _i    ᵢ
   _j    ⱼ
   _k    ₖ
   _l    ₗ
   _m    ₘ
   _n    ₙ
   _p    ₚ
   _r    ᵣ
   _s    ₛ
   _t    ₜ
   _u    ᵤ
   _v    ᵥ
   `    ̀
   {|    ⦃
   }>    ⟩' .

</pre>
      </blockquote>
      <pre style="font-family:monospace"></pre>
      <br>
      <fieldset></fieldset>
    </blockquote>
    <br>
  </div>

</blockquote></div></div>