<html> <head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> </head> <body bgcolor="#FFFFFF" text="#000000"> <div class="moz-cite-prefix">Luciano, I added these symbols to this very method and this very dictionary. A neat side effect that you can type "\.left" in any text editor (not only code editor) and it will be replaced by the left arrow (→) or – if you don't know Latex well – you can type \.-> and get the same. I personally find it easier to remember than those Latex names, although I write letters and invoices with Latex. Just my 0.00€, Gerald On 11/6/23 8:34 PM, Luciano Notarfrancesco via Cuis-dev wrote: </div> <blockquote type="cite" cite="mid:CAL5GDyq3uzGRpU8FGA9Z-n=KpM9TQVq=8NWT5nz_F29vPkiQUA@mail.gmail.com"> <pre class="moz-quote-pre" wrap="">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 class="moz-txt-link-rfc2396E" href="mailto:cuis.01@klix.ch"><cuis.01@klix.ch></a> wrote: </pre> <blockquote type="cite"> <pre class="moz-quote-pre" wrap="">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 class="moz-quote-pre" wrap=""> </pre> <fieldset class="mimeAttachmentHeader"></fieldset> </blockquote> </body> </html>