3 ms·
What about those special characters like the lambda or the universal quantification? How to you type them?
by ofrzeta 8y ago
What about those special characters like the lambda or the universal quantification? How to you type them?
- Gabriel439 8y agoThere are ASCII equivalents. You can type `\` instead of `λ` and `forall` instead of `∀`. Also `dhall format` will automatically translate ASCII to Unicode for you. However, if you do want to type them then see: https://en.wikipedia.org/wiki/Unicode_input https://en.wikipedia.org/wiki/Unicode_input ... and the relevant code points are: * `λ`: `U+03BB` * `∀`: `U+2200`