<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<div class="moz-cite-prefix">Le 31/12/2020 à 16:11, Antoine
Monmayrant a écrit :<br>
</div>
<blockquote type="cite"
cite="mid:981b2550-cb94-f1a4-cd99-5a5ecfbb21df@laas.fr">
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<div class="moz-cite-prefix">On 31/12/2020 15:43, Samuel Gougeon
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:fd92afb5-4486-cd57-f953-fadab555bd8c@free.fr">
<meta http-equiv="Content-Type" content="text/html;
charset=UTF-8">
.../...<br>
We enter and display<br>
<font size="+1">--> %chars // (OK not here. See the
proposed documentation for the full display)</font><br>
<font size="+1"><br>
or for a chosen class</font><br>
<font size="+1"><br>
--> %chars.greek</font><br>
<font size="+1"> ans =</font><br>
<font size="+1"> lower =
"αβδεϵζηθικλμνξοπρστυφϕχψωάϐέήϑίϊϰόϱςύϋΰϖώ"</font><br>
<font size="+1"> upper = "ΑΒΓΔΕΖΗΘϴΙΪΚΛΜΝΞΟΠΡΣΤΥΫΦΧΨΩ KΩ℧"</font><br>
</blockquote>
<font size="+1"><br>
OK, I see better what you propose.<br>
But you are trading remembering a code (ie \lambda for λ) for
remembering which class the symbol you are looking for belongs
to...<br>
</font></blockquote>
<p>%chars displays all of them, on less than a screen (50 characters
per line x 20 lines make 1000 characters ;-). It is illustrated in
the provided help page.<br>
And it is hierarchical. So remembering 2 to 10 trivial fields
names is enough (instead of 1000 codes), if you wish to display
subsets.<br>
</p>
<p><br>
</p>
<blockquote type="cite"
cite="mid:981b2550-cb94-f1a4-cd99-5a5ecfbb21df@laas.fr"><font
size="+1"> Again, for some of them, it might be obvious (ie
\lambda is easy, so is %chars.greek for a Greek symbol) but for
some others it's far from obvious.<br>
Like where would you put your \Diamond or \vdash?<br>
</font></blockquote>
<p>I may not understand the question. Please see the documentation.
Both are already included in my current %chars illustrated in the
doc.<br>
</p>
<p><br>
</p>
<blockquote type="cite"
cite="mid:981b2550-cb94-f1a4-cd99-5a5ecfbb21df@laas.fr"><font
size="+1"> I've used my share of LaTeX IDEs and all the symbols
assistants failed me in the same way: they give you easy and
obvious access to symbols you already know by heart (ie \alpha
is in Greek, top first element) but are a useless mess when
looking for more obscure symbols (why is \bigstar in Misc-Math,
between \blacklozenge and \spadsuit ?)</font><br>
</blockquote>
<p><font size="+1">+1. That's the point. This is why most often i
display the whole %chars. Just %chars. Without any codes.</font></p>
<p><font size="+1"><br>
</font></p>
</body>
</html>