Юникод или определение табуляции для трех цветных точек, представляющих Джулию
На разных экземплярах мастодонта пользователи Julia добавляли три цветные точки к своему имени пользователя. В источнике страницы это выглядит как:julia:, но я не могу отобразить этот смайлик как\julia. Как его сгенерировать? Спасибо!
2 ответа
Пшемыслав прав, но, хотя официального символа Unicode для Джулии нет (и я бы не стал задерживать дыхание на этом...), Unicode имеет «частную область использования», которая позволяет шрифтам определять свои собственные символы.
Шрифт JuliaMono использует это, чтобы предоставить символ для точек Julia, а также другие вещи, связанные с Julia.
Julia REPL использует символы Unicode, которые вы можете ввести с помощью\за которым следует стиль, похожий на LaTeX. Однако существует (пока) специальный символ Юникода, представляющий логотип Джулии. Когда люди пишут на форумах:julia:это заменяется значком (не символом), но в Julia REPL доступны только символы Unicode.
Сказав это, есть страница, посвященная логотипу языка Julia, на которую вы, возможно, захотите взглянуть:https://github.com/JuliaLang/julia-logo-graphics .