diff --git a/fish/.config/fish/functions/coqtop.fish b/fish/.config/fish/functions/coqtop.fish
new file mode 100644
index 0000000..1aa50fc
--- /dev/null
+++ b/fish/.config/fish/functions/coqtop.fish
@@ -0,0 +1,3 @@
+function coqtop
+  rlwrap coqtop $argv
+end