But in copyedit, it was resolved that Even though appropriate, this was as well alien for usual folks to instantly apprehend. So we adopted a courageous but unambiguous convention that programmers would promptly apprehend: The natural numbers sort a set, commonly symbolized like a Daring N or blackboard Daring ⁠ https://share.evernote.com/note/c1a29341-55fb-6549-054a-7664564039cf