Category talk:APL: Difference between revisions
Content added Content deleted
No edit summary |
(Try installing an Unicode font which includes APL characters) |
||
| Line 1: | Line 1: | ||
== viewing APL symbols == |
|||
What type of encoding are the symbols APL uses in? It'd be nice to see the actual symbols instead of boxes. --[[User:Mwn3d|Mwn3d]] 17:18, 7 October 2008 (UTC) |
What type of encoding are the symbols APL uses in? It'd be nice to see the actual symbols instead of boxes. --[[User:Mwn3d|Mwn3d]] 17:18, 7 October 2008 (UTC) |
||
:MediaWiki and HTTP take care of the encoding; it's a matter of your having the fonts for the symbols (which are U+2336 to U+237A, plus some other characters shared with other purposes), and a browser/OS which will switch fonts as needed. --[[User:Kevin Reid|Kevin Reid]] 18:20, 7 October 2008 (UTC) |
:MediaWiki and HTTP take care of the encoding; it's a matter of your having the fonts for the symbols (which are U+2336 to U+237A, plus some other characters shared with other purposes), and a browser/OS which will switch fonts as needed. --[[User:Kevin Reid|Kevin Reid]] 18:20, 7 October 2008 (UTC) |
||
::Try installing an [http://www.dyalog.com/downloads/fonts/Apl385.ttf Unicode font which includes APL characters]. --[[User:DanBron|DanBron]] 19:15, 7 October 2008 (UTC) |
|||
Revision as of 19:15, 7 October 2008
viewing APL symbols
What type of encoding are the symbols APL uses in? It'd be nice to see the actual symbols instead of boxes. --Mwn3d 17:18, 7 October 2008 (UTC)
- MediaWiki and HTTP take care of the encoding; it's a matter of your having the fonts for the symbols (which are U+2336 to U+237A, plus some other characters shared with other purposes), and a browser/OS which will switch fonts as needed. --Kevin Reid 18:20, 7 October 2008 (UTC)
- Try installing an Unicode font which includes APL characters. --DanBron 19:15, 7 October 2008 (UTC)