Add all JuliaLang unicode abbreviations to AutoKey.

Overview

Autokey Unicode characters

demo

Usage

This script adds all the unicode character abbreviations supported by Julia to autokey. However, instead of [TAB], they are triggered on [SPACE]. If you do not want perform the replacement, simply hit [BACKSPACE] afterwards.

Installation & Requirements

  1. Install autokey. Only works on X11, no Wayland support.
  2. Execute generate_phrases.py (requires python ≥3.7)
  3. Restart autokey

Features

For overview see Supported Alphabets

Advantages of Unicode

  1. Work even when MathJax / LaTeX is not available.
  2. Is character efficient.
  3. Increases readability of uncompiled documents.
  4. Copy-paste persistance.

Compatibility with MathJax & LaTeX

  1. MathJax supports unicode characters: $\sin(\theta)$ and $\sin(θ)$ should look exactly the same.
  2. LaTeX has unicode compatibility, at least in math-mode when using the unicode-math package and compiling with LuaLaTeX

Known Issues & Limitations

  • So far was only tested with Ubuntu 20.04 LTS and Autokey 0.95.10
  • Seems to behave weird with Gnome Terminal, no idea what's going on.
  • Can show strange behaviour with VSCode.
    • Seems to be fixable by deleting all [shift]+[insert] hotkeys combinations. (File > Preferences > Keyboard Shortcuts)
    • Our macros here insert symbols with [shift]+[insert] and VScode seems to mess with that
  • Composed characters seem to not always work as intended, not many editors render them correctly.
  • Doesn't support multiple sub/super-scripts like Julia does (e.g. in REPL, a\^(k)+[TAB]) gives a⁽ᵏ⁾. With AutoKey we need to add the superscripts one at a time.
  • Seems like it doesnt work with a German keyboard because AutoKey interprets \ and [AltGr]+? (what you type on a German keyboard to get backslash) as different things.

Supported Alphabets

Serif Font

family bf it bi
latin 𝐚𝐛𝐜𝐀𝐁𝐂 𝑎𝑏𝑐𝐴𝐵𝐶 𝒂𝒃𝒄𝑨𝑩𝑪
greek 𝛂𝛃𝛄𝚨𝚩𝚪 𝛼𝛽𝛾𝛢𝛣𝛤 𝜶𝜷𝜸𝜜𝜝𝜞
letter

Sans Serif Font

family sans bsans isans bisans
latin 𝖺𝖻𝖼𝖠𝖡𝖢 𝗮𝗯𝗰𝗔𝗕𝗖 𝘢𝘣𝘤𝘈𝘉𝘊 𝙖𝙗𝙘𝘼𝘽𝘾
greek ??𝝱𝝲𝝖𝝗𝝘 𝞪𝞫𝞬𝞐𝞑𝞒
letter 𝟢𝟣𝟤 𝟬𝟭𝟮

Speciality Font

family tt bb frak bfrak scr bscr
latin 𝚊𝚋𝚌𝙰𝙱𝙲 𝕒𝕓𝕔𝔸𝔹ℂ 𝔞𝔟𝔠𝔄𝔅ℭ 𝖆𝖇𝖈𝕬𝕭𝕮 𝒶𝒷𝒸𝒜ℬ𝒞 𝓪𝓫𝓬𝓐𝓑𝓒
greek
letter 𝟶𝟷𝟸 𝟘𝟙𝟚
Owner
Randolf Scholz
Randolf Scholz
E5 自动续期

请选择跳转 新版本系统 (2021-2-9采用): 以后更新都在AutoApi,采用v0.0版本号覆盖式更新 AutoApi : 最新版 保留1到2个稳定的简易版,防止萌新大范围报错 AutoApi'X' : 稳定版1 ( 即本版AutpApiP ) AutoApiP ( 即v5.0,稳定版 ) —

95 Feb 15, 2021
Tutorial on Tempo, Beat and Downbeat estimation

Tempo, Beat and Downbeat Estimation By Matthew E. P. Davies, Sebastian Böck and Magdalena Fuentes Resources and Jupyter Book for the ISMIR 2021 tutori

49 Nov 06, 2022
Something like Asteroids but not really, done in CircuitPython

CircuitPython Staroids Something like Asteroids, done in CircuitPython. Works with FunHouse, MacroPad, Pybadge, EdgeBadge, CLUE, and Pygamer. circuitp

Tod E. Kurt 14 May 31, 2022
Scripts used in the RayStation medical radiation dosimetry treatment planning system

Med Phys Scripts These are scripts that I, the medical physics assistant at Cookeville Regional Medical Center, wrote for use in our radiation therapy

Kaley White 2 Oct 19, 2022
A notebook explaining the principle of adversarial attacks and their defences

TL;DR: A notebook explaining the principle of adversarial attacks and their defences Abstract: Deep neural networks models have been wildly successful

1 Jan 22, 2022
Python Function to manage users via SCIM

Python Function to manage users via SCIM This script helps you to manage your v2 users. You can add and delete users or groups, add users to groups an

4 Oct 11, 2022
This repo holds custom callback plugin, so your Ansible could write everything in the PostgreSQL database.

English What is it? This is callback plugin that dumps most of the Ansible internal state to the external PostgreSQL database. What is this for? If yo

Sergey Pechenko 19 Oct 21, 2022
My solutions for the 2021's Advent of Code

Advent of Code 2021 My solutions for Advent of Code 2021. This year I am practicing Python 🐍 and also trying to develop my own language, Chocolate 🍫

Jakob Erzar 2 Dec 15, 2021
A submodule of rmcrkd/ODE-Uniqueness

Heston-ODE This repo contains the Heston-related code that accompanies the article One-sided maximal uniqueness for a class of spatially irregular ord

0 Jan 05, 2022
Project repository of Apache Airflow, deployed on Docker in Amazon EC2 via GitLab.

Airflow on Docker in EC2 + GitLab's CI/CD Personal project for simple data pipeline using Airflow. Airflow will be installed inside Docker container,

Ammar Chalifah 13 Nov 29, 2022
Simple script with AminoLab to send ghost messages

Simple script with AminoLab to send ghost messages

Moleey 1 Nov 22, 2021
Ballistic calculator for Airsoft

Ballistic-calculator-for-Airsoft 用于Airsoft的弹道计算器 This is a ballistic calculator for airsoft gun. To calculate your airsoft gun's ballistic, you should

3 Jan 20, 2022
Advanced Variable Manager {AVM} [0.8.0]

Advanced Variable Manager {AVM} [0.8.0] By Grosse pastèque#6705 WARNING : This modules need some typing modifications ! If you try to run it without t

Big watermelon 1 Dec 11, 2021
Mangá downloader (para leitura offline) voltado para sites e scans brasileiros.

yonde! yonde! (読んで!) é um mangá downloader (para leitura offline) voltado para sites e scans brasileiros. Também permite que você converta os capítulo

Yonde 8 Nov 28, 2021
Basic-Killfeed - A simple DayZ Console Killfeed

Basic-Killfeed A simple DayZ Console Killfeed. Setup Install Python Version 3.10

Nick 1 Apr 25, 2022
KUIZ is a web application quiz where you can create/take a quiz for learning and sharing knowledge from various subjects, questions and answers.

KUIZ KUIZ is a web application quiz where you can create/take a quiz for learning and sharing knowledge from various subjects, questions and answers.

Thanatibordee Sihaboonthong 3 Sep 12, 2022
A project to empower needy-students.

Happy Project 😊 A project to empower needy-students. Happy Project is a non-profit initiation founded by IT people from Jaffna, Sri Lanka. This is to

1 Mar 14, 2022
KeyBrowser: A program launches a browser and a keylogger at the same time, is used to retrieve a person's personal information

KeyBrowser: A program launches a browser and a keylogger at the same time, is used to retrieve a person's personal information

3 Oct 16, 2022
YunoHost is an operating system aiming to simplify as much as possible the administration of a server.

YunoHost is an operating system aiming to simplify as much as possible the administration of a server. This repository corresponds to the core code, written mostly in Python and Bash.

YunoHost 1.5k Jan 09, 2023
Home Assistant integration for spanish electrical data providers (e.g., datadis)

homeassistant-edata Esta integración para Home Assistant te permite seguir de un vistazo tus consumos y máximas potencias alcanzadas. Para ello, se ap

VMG 163 Jan 05, 2023