Made an AutoHotkey script for Windows users: Unicode latex substitutions from julia for AutoHotkey · GitHub
The file needs to be resaved with UTF-8 BOM encoding, otherwise it spits out weird stuff. Also substitution needs to be completed with a Tab.
Made an AutoHotkey script for Windows users: Unicode latex substitutions from julia for AutoHotkey · GitHub
The file needs to be resaved with UTF-8 BOM encoding, otherwise it spits out weird stuff. Also substitution needs to be completed with a Tab.