Silly Question?

Stream: new members

[Debendro Mookerjee]

How do I write not equal to sign in Lean

[Marc Huisinga]

\neq

[Marc Huisinga]

you can find the vscode unicode mappings here:
https://github.com/leanprover/vscode-lean/blob/master/translations.json

[Gabriel Ebner]

If you're in vscode, then you only need to hover over a unicode symbol and you get a popup that tells you how to type it.

[Kevin Buzzard]

In general if you know the TeX for a symbol this often works in VS Code.