Distinguish \perp and \bot

Julian / lean.nvim

neovim support for the Lean theorem prover

MIT License

248 stars 25 forks source link

Distinguish \perp and \bot #296

Closed MithicSpirit closed 1 year ago

MithicSpirit commented 1 year ago

The vscode extension distinguishes between them, with one being ⟂ and the other being ⊥ (I'm not sure which is which; I think that the former is \perp but that should be manually confirmed). This nvim extension should probably reflect that in order to improve compatibility.

Julian commented 1 year ago

Thanks! Missed this change upstream a few months ago but now should be automatically kept in sync.

Fixed in e80616c64506a339500bf7480801fa50b3f1b450