diff --git a/README.md b/README.md
index 3d8680a..03d40fa 100644
--- a/README.md
+++ b/README.md
@@ -35,6 +35,7 @@ This repository contains the 'channel.json' file which lists all official micro
 | `lsp`           | An basic LSP client implementation                      | https://github.com/AndCake/micro-plugin-lsp                | :heavy_check_mark:                       |
 | `run`      | F5 to save and run, F12 to 'make', F9 to 'make' in background. Go, Python, Lua and executable file (#!) supported. Can 'make' whole project even from subdir. | https://github.com/terokarvinen/micro-run   | :heavy_check_mark:      |
 | `palettero`      | Command palette - Ctrl-P to fuzzy search & run commands, textfilters and descriptions. Use Python oneliners and grep to edit text. |  https://github.com/terokarvinen/palettero  | :heavy_check_mark:      |
+| `unicode`      | Unicode symbol input via backslash abbreviations (Lean4/LaTeX/HOL4) |  https://github.com/lukaszcz/micro-unicode  | :heavy_check_mark:      |
 | `cheat`      | F1 cheatsheet for the language you're editing: Python, Go, Lua... |  https://github.com/terokarvinen/micro-cheat  | :heavy_check_mark:      |
 
 ## Adding your own plugin
diff --git a/channel.json b/channel.json
index 6bd00cc..31eaade 100644
--- a/channel.json
+++ b/channel.json
@@ -86,6 +86,9 @@
   // palettero plugin
   "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/plugins/palettero.json",
 
+  // unicode plugin
+  "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/plugins/micro-unicode.json",
+
   // cheat plugin
   "https://raw.githubusercontent.com/micro-editor/plugin-channel/master/plugins/micro-cheat.json"
 
diff --git a/plugins/micro-unicode.json b/plugins/micro-unicode.json
new file mode 100644
index 0000000..4d81ee0
--- /dev/null
+++ b/plugins/micro-unicode.json
@@ -0,0 +1,16 @@
+[{
+  "Name": "unicode",
+  "Description": "Unicode symbol input via backslash abbreviations (Lean4/LaTeX/HOL4)",
+  "Website": "https://github.com/lukaszcz/micro-unicode",
+  "Tags": ["unicode", "input", "symbols", "latex", "lean4"],
+  "License": "MIT",
+  "Versions": [
+    {
+      "Version": "1.0.0",
+      "Url": "https://github.com/lukaszcz/micro-unicode/archive/v1.0.0.zip",
+      "Require": {
+        "micro": ">=2.0.0"
+      }
+    }
+  ]
+}]