Zulip Chat Archive
Stream: new members
Topic: Syntax
Shadman Sakib (Jun 04 2021 at 22:14):
How do I write less than or equal to symbol in lean vs?
Kevin Buzzard (Jun 04 2021 at 22:15):
\le
Kevin Buzzard (Jun 04 2021 at 22:16):
If you can see the symbol on your screen then you can hover over it to see the short cut
Shadman Sakib (Jun 05 2021 at 00:31):
thanks!
Last updated: Dec 20 2023 at 11:08 UTC