<div><div dir="auto">Yeah, yesterday I tried all the fonts and only DejaVu had all the math symbols... but it is weird for Knuth’s to be incomplete, I’ll try again in case I missed something.</div></div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 21 May 2020 at 5:52 PM, Andres Valloud 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)">If you look around in the fonts directory, you will find Knuth's <br>
Concrete Mathematics fonts, including the neo-euler math font.<br>
<br>
On 5/21/20 02:22, Luciano Notarfrancesco via Cuis-dev wrote:<br>
> This change set improves support for some mathematical symbols and letters.<br>
> <br>
> Greek letters and mathematical double struck (blackboard bold) letters <br>
> can be used just as ordinary letters, they work as variable names or in <br>
> unary or keyword selectors. Personally, I use greek letters as temporary <br>
> variables sometimes, and double struck letters as globals for the ring <br>
> of rational integers, the field of rational numbers, etc.<br>
> <br>
> The change set also includes most of the extra binary operators we had <br>
> before (I just made some tweaks there).<br>
> <br>
> And I also include a method in SmalltalkEditor that allows entering <br>
> otherwise untypable characters, following (mostly) LaTeX conventions. <br>
> For example, in a workspace or a browser you can type '\alpha _ (\Z <br>
> \oplus \Z) atRandom', and it automatically replaces '\alpha' with the <br>
> letter alpha and '\Z' with the double struck Z used in mathematics to <br>
> represent the ring of rational integers, and '\oplus' with the direct <br>
> sum symbol. If you type '\alpha' nothing happens, then if you type one <br>
> more character and it is not a letter it recognizes '\alpha' and makes <br>
> the replacement.<br>
> <br>
> If you want to try the change set, remember to do 'Character initialize' <br>
> and 'Scanner initialize' after loading it (in that order), and make sure <br>
> you're using the new TrueType fonts (I'm using DejaVu Sans, others don't <br>
> seem to include glyphs for all the symbols).<br>
> <br>
-- <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>