<div style="background-color:rgba(0,0,0,0)!important;border-color:rgb(255,255,255)!important;color:rgb(255,255,255)!important" dir="auto"><span>For example you</span><span style="background-color:rgba(0,0,0,0);border-color:rgb(255,255,255)"> have to type v\vec followed by space or any other non-alphabetical character. You need to fileIn the change set in my previous email for that to work.</span></div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, 10 Dec 2022 at 15:50 Hilaire Fernandes via Cuis-dev <<a href="mailto:cuis-dev@lists.cuis.st">cuis-dev@lists.cuis.st</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)">
  
    
  
  <div text="#000000" bgcolor="#FFFFFF">
    <p><font size="4" style="color:rgb(0,0,0)">How do you write character over a character, like
        vector arrow?</font><br>
    </p></div><div text="#000000" bgcolor="#FFFFFF">
    <div>Le 10/12/2022 à 07:06, Luciano
      Notarfrancesco via Cuis-dev a écrit :<br>
    </div>
    <blockquote type="cite">
      <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 cols="72" style="font-family:monospace">-- 
GNU Dr. Geo
<a href="http://drgeo.eu" target="_blank" style="font-family:monospace">http://drgeo.eu</a>
<a href="http://blog.drgeo.eu" target="_blank" style="font-family:monospace">http://blog.drgeo.eu</a></pre>
  </div>

-- <br>
Cuis-dev mailing list<br>
<a href="mailto:Cuis-dev@lists.cuis.st" target="_blank">Cuis-dev@lists.cuis.st</a><br>
<a href="https://lists.cuis.st/mailman/listinfo/cuis-dev" rel="noreferrer" target="_blank">https://lists.cuis.st/mailman/listinfo/cuis-dev</a><br>
</blockquote></div></div>