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
Simple tools for the Horse Reality webgame

Realtools (Web Tools for Horse Reality) These tools were made on request from a close friend of mine who plays this game. A live instance can be found

shay 0 Sep 06, 2022
A script for creating battle animations in FEGBA format.

AA2 Made by Huichelaar. I heavily referenced FEBuilderGBA. I also referenced circleseverywhere's Animation Assembler. This is also where I took lzss.p

2 May 31, 2022
One line Brainfuck interpreter in Python

One line Brainfuck interpreter in Python

16 Dec 21, 2022
msgqywx 使用企业微信的应用消息推送实时信息

msgqywx 使用企业微信的应用消息推送实时信息

Demon Finch 8 Dec 18, 2022
A Klipper plugin for accurate Z homing

Stable Z Homing for Klipper A Klipper plugin for accurate Z homing This plugin provides a new G-code command, STABLE_Z_HOME, which homes Z repeatedly

Matthew Lloyd 24 Dec 28, 2022
Drop-down terminal for GNOME

Guake 3 README Introduction Guake is a python based dropdown terminal made for the GNOME desktop environment. Guake's style of window is based on an F

Guake 4.1k Dec 25, 2022
🔵Open many google dorks in a fasted way

Dorkinho 🔵 The author is not responsible for misuse of the tool, use it in good practices like Pentest and CTF OSINT challenges. Dorkinho is a script

SidHawks 2 May 02, 2022
OTP-Bomber - An otp from MPL ID app, which can be spammed

OTP-Bomber An otp from MPL ID app, which can be spammed Note: Only available on

5 Oct 29, 2022
Stop python warnings, no matter what!

SHUTUP - Stop python warnings, no matter what! Sometimes you just can't mute python warnings. Use this library to solve this. Installation pip install

80 Jan 04, 2023
Lookup for interesting stuff in SMB shares

SMBSR - what is that? Well, SMBSR is a python script which given a CIDR/IP/IP_file/HOSTNAME(s) enumerates all the SMB services listening (445) among t

Vincenzo 112 Dec 15, 2022
Скрипт позволяет заводить задачи в Панель мониторинга YouTrack на основе парсинга сайта safe-surf.ru

Скрипт позволяет заводить задачи в Панель мониторинга YouTrack на основе парсинга сайта safe-surf.ru

Bad_karma 3 Feb 12, 2022
This repository can help you made a PocketMine-MP Server with Termux apps!

Hello This GitHub repository can made you a Server PocketMine-MP On development! How to Install Open Termux Type "pkg install git && python" If python

1 Mar 04, 2022
Домашние задания, выполненные на 3ем семестре РТУ МИРЭА, по дисциплине

ДЗ по курсу "Конфигурационное управление" в РТУ МИРЭА Описание В данном репозитории находятся домашние задания, выполненные на 3ем семестре РТУ МИРЭА,

Semyon Esaev 4 Dec 22, 2022
A carrot-based color palette you didn't know you needed.

A package to produce a carrot-inspired color palette for python/matplotlib. Install: pip install carrotColors Update: pip install --upgrade carrotColo

10 Sep 28, 2021
Adansons Base is a data management tool that organizes metadata of unstructured data and creates and organizes datasets.

Adansons Base is a data management tool that organizes metadata of unstructured data and creates and organizes datasets. It makes dataset creation more effective and helps find essential insights fro

Adansons Inc 27 Oct 22, 2022
Urban Big Data Centre Housing Sensor Project

Housing Sensor Project The Urban Big Data Centre is conducting a study of indoor environmental data in Scottish houses. We are using Raspberry Pi devi

Jeremy Singer 2 Dec 13, 2021
A blazing fast mass certificate generator script for the community ⚡

A simple mass certificate generator script for the community ⚡ Source Code · Docs · Raw Script Docs All you need Certificate Design a simple template

Tushar Nankani 24 Jan 03, 2023
An-7 tool for python

***An-7 tool - Anonime-X Team*** An-x Menu : SPAM Android web malware interpreter Spam Tools : scampages letters mailers smtpcrack wpbrute shell Andro

Hamza Anonime 8 Nov 18, 2021
Python Service for MISP Feed Management

Python Service for MISP Feed Management This set of scripts is designed to offer better reliability and more control over the fetching of feeds into M

Chris 7 Aug 24, 2022
You will need to install a few python packages for this one.

Features Bait support Auto repair will repair every 10 catches Anti detection (still a work in progress) but using random times and click positions Pr

12 Sep 21, 2022