No, you just type \N. You can also use `nat` instead if you prefer.

		nodogoto on April 10, 2023 \| parent \| context \| favorite \| on: What I've Learned About Formal Methods in Half a Y... No, you just type \N. You can also use `nat` instead if you prefer.