<div dir="ltr">Thanks for pointing this out. I know that the term "caret" is not that widely known, so to keep things simple, I have avoided using it in these discussions.<br clear="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><br>        /Richard</div></div><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Den ons 20 jan. 2021 kl 15:09 skrev Luke Bakken <<a href="mailto:luke@bakken.io">luke@bakken.io</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hello -<br>
<br>
> One of the more annoying things about the proposal is that it is<br>
> impossible to actually search for if you don't already know what it is<br>
> called, and if you do you don't need to search for it. The term "pinning<br>
> operator" is certainly not what would come to mind<br>
<br>
If I saw the ^ character (ASCII caret) being used in any programming<br>
language and didn't understand why, I would search using the term<br>
"caret".<br>
<br>
For instance, the search phrase "python caret character" immediately<br>
finds relevant web pages.<br>
<br>
Documented correctly. the phrase "erlang caret character" would do the same.<br>
<br>
^ is pretty much universally known as "ASCII caret" or "ASCII circumflex".<br>
<br>
Thanks,<br>
Luke<br>
</blockquote></div>