From 34e237ed288cd35123b7ee509662f282c0fc4f66 Mon Sep 17 00:00:00 2001 From: Sergio Alejandro Vargas Date: Wed, 10 Nov 2021 17:01:31 -0500 Subject: [PATCH] fix: use unicode character for `\times` conceal Concealing `\times` with a letter `x` can make expressions like `x \times x` awkward to read. --- autoload/vimtex/syntax/core.vim | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/autoload/vimtex/syntax/core.vim b/autoload/vimtex/syntax/core.vim index cefb795d0e..cc242c6a25 100644 --- a/autoload/vimtex/syntax/core.vim +++ b/autoload/vimtex/syntax/core.vim @@ -1421,7 +1421,7 @@ let s:cmd_symbols = [ \ ['supseteq', '⊇'], \ ['surd', '√'], \ ['swarrow', '↙'], - \ ['times', 'x'], + \ ['times', '×'], \ ['to', '→'], \ ['top', '⊤'], \ ['triangle', '∆'],