From 1e1034248e0b4d95d702d077b99369beea032514 Mon Sep 17 00:00:00 2001 From: Pavel Sanda Date: Mon, 20 Mar 2023 22:48:41 +0100 Subject: [PATCH] * autocorrect comment --- lib/autocorrect | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/lib/autocorrect b/lib/autocorrect index 41131e2564..c8f9b2cf33 100644 --- a/lib/autocorrect +++ b/lib/autocorrect @@ -4,7 +4,8 @@ # from TeXMacs (they give vdhoeven@texmacs.org as contact) # # We do it a bit differently and allow corrections only to combine a symbol -# and a char to a new symbol. +# and a char to a new symbol. In other words the combination of the first column +# followed by the second column produces third column in the mathed. # #