<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p><font size="4">How do you write character over a character, like
vector arrow?</font><br>
</p>
<div class="moz-cite-prefix">Le 10/12/2022 à 07:06, Luciano
Notarfrancesco via Cuis-dev a écrit :<br>
</div>
<blockquote type="cite"
cite="mid:CAL5GDypSTJytBryzQb79oLNT+As-p-jYjNKcr923Y9mD=j60xA@mail.gmail.com">
<div dir="auto">Yes, it’s all in the method UnicodeCodePoint
class>><span style="color:rgb(0,0,0)">initializeNamedCharactersMap.
I’m mostly following Leandro Caniglia with this, who suggested
using the same command names that LaTeX uses and implemented
the same thing in Bee Smalltalk.</span></div>
<div><br>
</div>
</blockquote>
<pre class="moz-signature" cols="72">--
GNU Dr. Geo
<a class="moz-txt-link-freetext" href="http://drgeo.eu">http://drgeo.eu</a>
<a class="moz-txt-link-freetext" href="http://blog.drgeo.eu">http://blog.drgeo.eu</a></pre>
</body>
</html>