Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
prisonguard
on April 10, 2023
|
parent
|
context
|
favorite
| on:
What I've Learned About Formal Methods in Half a Y...
thank you for explaining, but do i need a special keyboard just to type out the natural number type?
deadbeef57
on April 10, 2023
|
next
[–]
No, you can just type `\nat` and the Lean extension in VScode will turn it into `ℕ`. Similarly, you can type many LaTeX macros, and the will render in unicode. Examples: `\times` becomes `×` and `\to` becomes `→`, etc...
nodogoto
on April 10, 2023
|
prev
[–]
No, you just type \N. You can also use `nat` instead if you prefer.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
