UP | HOME

NOTE: 輸出特殊數學字元的 vim plugin

在開發一些 theorem prover 程式的時候,常常會需要打出像是 Γ、λ、ℕ 之類的字元,這時候用 packer 安裝下列這類程式就很方便

1 選擇一 kdheepak/cmp-latex-symbols

use {
  'hrsh7th/nvim-cmp',
  requires = {
    { "kdheepak/cmp-latex-symbols" },
  },
  sources = {
    {
      name = "latex_symbols",
      option = {
	strategy = 0, -- mixed
      },
    },
  },
}

2 選擇二 arthurxavierx/vim-unicoder

use 'arthurxavierx/vim-unicoder'

Date: 2022-11-30 Wed 00:00

Author: Lîm Tsú-thuàn