[Cuis-dev] Math symbols and greek letters

[Luciano Notarfrancesco]

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.

On Thu, 21 May 2020 at 5:52 PM, Andres Valloud via Cuis-dev <
cuis-dev at lists.cuis.st> wrote:

> If you look around in the fonts directory, you will find Knuth's
> Concrete Mathematics fonts, including the neo-euler math font.
>
> On 5/21/20 02:22, Luciano Notarfrancesco via Cuis-dev wrote:
> > This change set improves support for some mathematical symbols and
> letters.
> >
> > Greek letters and mathematical double struck (blackboard bold) letters
> > can be used just as ordinary letters, they work as variable names or in
> > unary or keyword selectors. Personally, I use greek letters as temporary
> > variables sometimes, and double struck letters as globals for the ring
> > of rational integers, the field of rational numbers, etc.
> >
> > The change set also includes most of the extra binary operators we had
> > before (I just made some tweaks there).
> >
> > And I also include a method in SmalltalkEditor that allows entering
> > otherwise untypable characters, following (mostly) LaTeX conventions.
> > For example, in a workspace or a browser you can type '\alpha _ (\Z
> > \oplus \Z) atRandom', and it automatically replaces '\alpha' with the
> > letter alpha and '\Z' with the double struck Z used in mathematics to
> > represent the ring of rational integers, and '\oplus' with the direct
> > sum symbol. If you type '\alpha' nothing happens, then if you type one
> > more character and it is not a letter it recognizes '\alpha' and makes
> > the replacement.
> >
> > If you want to try the change set, remember to do 'Character initialize'
> > and 'Scanner initialize' after loading it (in that order), and make sure
> > you're using the new TrueType fonts (I'm using DejaVu Sans, others don't
> > seem to include glyphs for all the symbols).
> >
> --
> Cuis-dev mailing list
> Cuis-dev at lists.cuis.st
> https://lists.cuis.st/mailman/listinfo/cuis-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cuis.st/mailman/archives/cuis-dev/attachments/20200521/900c37fe/attachment.htm>