[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Bug-apl] ELEMENT OF rendering problems

From: Elias Mårtenson
Subject: [Bug-apl] ELEMENT OF rendering problems
Date: Tue, 24 Dec 2013 22:15:49 +0800

I have had all sorts of problems rendering the character U+2208 ELEMENT OF in Emacs. Part of that problem stems from the fact that the normal APL fonts like APL385 does not have that character.

On OSX the symbol gets rendering as a back square and on Linux it's very high, completely messing up the look of character graphics like the output of 8⎕CR.

In my input keymap I've solved it by using U+220A SMALL ELEMENT OF instead. This one renders correctly, and seems to be the one used by tools like Dyalog and APLX.

Would it make sense to use this in GNU APL as well? Or at least provide some mechanism by which one can choose to use it?

As a last result I could apply an input filter on all displayed text, converting all instances of U+2208 to U+220A, but I'd rather not, as there may be valid reasons for a program to display both.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]