<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">Hi,<br>
<br>
Thanks for asking all these questions (after all it's an RFC).<br>
<br>
I choose a dot, because I tried to find a character, that is less
visible,<br>
thus not visually impairing the ASCI art picture. Maybe an
underscore<br>
is a better choice. Up to to now I paid attention, that every
picture<br>
symbol starts with a non-letter. Therefore we could get away<br>
with a backslash only.<br>
<br>
Now that I think about it, we might even get away with a single<br>
space after the backslash. I will try.<br>
<br>
BTW: I changed some of the pictures. I used an underscore to<br>
depict a down arrow, which was bad idea. A single $v is much<br>
better suited.<br>
<br>
Thanks again for your comments and<br>
<br>
<br>
Best Regards,<br>
<br>
Gerald<br>
<br>
<br>
On 11/7/23 6:20 AM, Luciano Notarfrancesco via Cuis-dev wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAL5GDyoNhAjSU_1j-RMqxLfTae_nMAWfWu9Csq5i8Y93fd4Q=Q@mail.gmail.com">
<pre class="moz-quote-pre" wrap="">Hi,
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?
On Tue, Nov 7, 2023 at 02:47 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="">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:
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> <a class="moz-txt-link-rfc2396E" href="mailto:cuis.01@klix.ch"><cuis.01@klix.ch></a> wrote:
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>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
</blockquote>
<br>
</body>
</html>