Deciphering unicode chars

In

[julia/julia-parser.scm at master · JuliaLang/julia · GitHub]

there are definitions that group various characters. In the browser, and when I copy that line to my editor, most of the characters are displayed as boxes.

(define prec-power (add-dots '(^ ↑ ↓ ⇵ ⟰ ⟱ ⤈ ⤉ ⤊ ⤋ ⤒ ⤓ ⥉ ⥌ ⥍ ⥏ ⥑ ⥔ ⥕ ⥘ ⥙ ⥜ ⥝ ⥠ ⥡ ⥣ ⥥ ⥮ ⥯ ↑ ↓)))

oh … I see they are displaying better on here, but there are still a couple of boxes.

is there someway to a find out what those boxes are, and to find out if any of those characters have REPL “” names?

The boxes are because your editor doesn’t have a font to display them. You can try JuliaMono font.

In the repl you can do ?⤈

help?> ⤈
"⤈" can be typed by \downarrowbarred<tab>

search:

  No documentation found.

  Binding ⤈ does not exist.

As you venture out into the less frequently visited areas of Unicode, the environment you’re using will determine how the characters are rendered. The number of empty boxes (aka “notdefs”) that you’ll see depends on how many fonts you’ve installed, and your operating system, among other things.

On Discourse, the theme you’re using (as set in your Preferences) determines which font you’re likely to see. If you use the Dark or Light themes, you’ll probably be served JuliaMono - your post looks like this to me (no boxes):

With the other Discourse themes, you’re likely to get one of:

Consolas, Menlo, Monaco, "Lucida Console", "Liberation Mono", 
"DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Courier New"

and it looks like this in my browser:

On my Mac, those themes display using mostly Menlo (which is Apple’s hacked version of DejaVu which they used from 2009 to 2015). On other OSs there’s a good chance you’ll see Consolas. But other fonts will be used if necessary.

5 Likes