Unicode Input
The following table lists Unicode characters that can be entered via
tab completion of LaTeX-like abbreviations in the Julia REPL (and
in various other editing environments). You can also get information on how to
type a symbol by entering it in the REPL help, i.e. by typing ?
and then
entering the symbol in the REPL (e.g., by copy-paste from somewhere you saw
the symbol).
!!! warning
This table may appear to contain missing characters in the second column, or even
show characters that are inconsistent with the characters as they are rendered in
the Julia REPL. In these cases, users are strongly advised to check their choice
of fonts in their browser and REPL environment, as there are known issues with
glyphs in many fonts.
```@eval
Generate a table containing all LaTeX and Emoji tab completions available in the REPL.
const NBSP = '\u00A0'
function tab_completions(symbols...) completions = Dict{String, Vector{String}}() for each in symbols, (k, v) in each completions[v] = push!(get!(completions, v, String[]), k) end return completions end
function unicode_data() file = normpath(JULIA_HOME, "..", "..", "doc", "UnicodeData.txt") names = Dict{UInt32, String}() open(file) do unidata for line in readlines(unidata) id, name, desc = split(line, ";")[[1, 2, 11]] codepoint = parse(UInt32, "0x$id") names[codepoint] = titlecase(lowercase(name == "" ? desc : desc == "" ? name : "$name / $desc")) end end return names end
Surround combining characters with no-break spaces (i.e '\u00A0'). Follows the same format
for how unicode is displayed on the unicode.org website:
http://unicode.org/cldr/utility/character.jsp?a=0300
function fix_combining_chars(char) cat = Base.UTF8proc.category_code(char) return cat == 6 || cat == 8 ? "$NBSP$char$NBSP" : "$char" end
function table_entries(completions, unicode_dict) entries = [[ "Code point(s)", "Character(s)", "Tab completion sequence(s)", "Unicode name(s)" ]] for (chars, inputs) in sort!(collect(completions), by = first) code_points, unicode_names, characters = String[], String[], String[] for char in chars push!(code_points, "U+$(uppercase(hex(char, 5)))") push!(unicode_names, get(unicode_dict, UInt32(char), "(No Unicode name)")) push!(characters, isempty(characters) ? fix_combining_chars(char) : "$char") end push!(entries, [ join(code_points, " + "), join(characters), join(inputs, ", "), join(unicode_names, " + ") ]) end return Markdown.Table(entries, [:l, :l, :l, :l]) end
table_entries( tab_completions( Base.REPLCompletions.latex_symbols, Base.REPLCompletions.emoji_symbols ), unicode_data() ) ```