This repository contains an MIM file for m17n to convert Lean-style abbreviations such as \nat to ℕ in all applications.

First you need an input method framework such as fcitx (with the fcitx-m17n plugin) or ibus. Then you only need to install the MIM file, and enable the new input method:

install -Dm0644 lean.mim ~/.m17n.d/lean.mim

Or alternatively:

mkdir -p ~/.m17n.d
curl https://raw.githubusercontent.com/gebner/m17n-lean/master/lean.mim >~/.m17n.d/lean.mim