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
Git Hooks Tutorial.

Git Hooks Tutorial My public talk about this project at Sberloga: Git Hooks Is All You Need 1. Git Hooks 101 Init git repo: mkdir git_repo cd git_repo

Dani El-Ayyass 17 Oct 12, 2022
Cross-platform config and manager for click console utilities.

climan Help the project financially: Donate: https://smartlegion.github.io/donate/ Yandex Money: https://yoomoney.ru/to/4100115206129186 PayPal: https

3 Aug 31, 2021
dotfiles - Cristian Valero Abundio

In this repository you can find various configurations to configure your Linux operating system, preferably ArchLinux and its derivatives.

Cristian Valero Abundio 1 Jan 09, 2022
Code and yara rules to detect and analyze Cobalt Strike

Cobalt Strike Resources This repository contains: analyze.py: a script to analyze a Cobalt Strike beacon (python analyze.py BEACON) extract.py; extrac

Tek 224 Jan 04, 2023
A chain of stores wants a 3-month demand forecast for its 10 different stores and 50 different products.

Demand Forecasting Objective A chain store wants a machine learning project for a 3-month demand forecast for 10 different stores and 50 different pro

2 Jan 06, 2022
Python version of RocketLeague-Dropshot-Calculated-shot

Python version of RocketLeague-Dropshot-Calculated-shot. This is just to demo around and a tool I used to develop the actual plugin.

JareBear 1 Jan 14, 2022
A Python feed reader library.

reader is a Python feed reader library. It aims to allow writing feed reader applications without any business code, and without enforcing a dependenc

266 Dec 30, 2022
✔️ Create to-do lists to easily manage your ideas and work.

Todo List + Add task + Remove task + List completed task + List not completed task + Set clock task time + View task statistics by date Changelog v 1.

Abbas Ataei 30 Nov 28, 2022
Camera track the tip of a pen to use as a drawing tablet

cablet Camera track the tip of a pen to use as a drawing tablet Setup You will need: Writing utensil with a colored tip (preferably blue or green) Bac

14 Feb 20, 2022
Python program that generates random user from API

RandomUserPy Author kirito sate #modules used requests, json, tkinter, PIL, urllib, io, install requests and PIL modules from pypi pip install Pillow

kiritosate 1 Jan 05, 2022
MoBioTools A simple yet versatile toolkit to automatically setup quantum mechanics/molecular mechanics

A simple yet versatile toolkit to setup quantum mechanical/molecular mechanical (QM/MM) calculations from molecular dynamics trajectories.

MoBioChem 17 Nov 27, 2022
Osu statistics right on your desktop, made with pyqt

Osu!Stat Osu statistics right on your desktop, made with Qt5 Credits Would like to thank these creators for their projects and contributions. ppy, osu

Aditya Gupta 21 Jul 13, 2022
Simply create JIRA releases based on your github releases

Simply create JIRA releases based on your github releases

8 Jun 17, 2022
Watcher for systemdrun user scopes

Systemctl Memory Watcher Animated watcher for systemdrun user scopes. Usage Launch some process in your GNU-Linux or compatible OS with systemd-run co

Antonio Vanegas 2 Jan 20, 2022
Buildium-to-stessa - Automation to assist in converting Buildium transactions into Stessa format

Buildium Transactions - Stessa Transactions There is currently no third-party i

Austin Comstock 4 Apr 17, 2022
pyshell is a Linux subprocess module

pyshell A Linux subprocess module, An easier way to interact with the Linux shell pyshell should be cross platform but has only been tested with linux

4 Mar 02, 2022
A proof-of-concept package manager for Cairo contracts/libraries

glyph A proof-of-concept package manager for Cairo contracts/libraries. Distribution through pypi. Installation through existing package managers -- p

Sam Barnes 11 Jun 06, 2022
Djangoblog - A blogging site where people can make their accout and write blogs and read other author's blogs

This a blogging site where people can make their accout and write blogs and read other author's blogs.

1 Jan 26, 2022
Provide Prometheus url_sd compatible API Endpoint with data from Netbox

netbox-plugin-prometheus-sd Provide Prometheus http_sd compatible API Endpoint with data from Netbox. HTTP SD is a new feature in Prometheus and not a

Felix Peters 66 Dec 19, 2022
Adam with minor modifications which give significant improvement

BAdam Modification of Adam [1] optimizer with increased stability and better performance. Tricks used: Decoupled weight decay as in AdamW [2]. Such de

19 May 11, 2022