ASCII rendering of _|_ instead of Unicode about milewski-ctfp-pdf HOT 4 CLOSED

I realize this issue is nit-pickish. I understand that _|_ is the commonly used ASCII notation for this operator in Haskell [1]. I was just surprised to see it preferred in a PDF/print document over the better-looking Unicode symbol. Forgive me if I'm wasting everyone's time with this issue.

[1] https://wiki.haskell.org/Bottom

from milewski-ctfp-pdf.

This was the way it was initially written in the blog post, which was the basis for the PDF book. I also believe this is the only reference to the ASCII form in the entire text; some Haskell texts may refer to the bottom type by the ugly ASCII representation.

The point is, this is verbatim from the original text, so I'd leave it at that :)

from milewski-ctfp-pdf.

I guess my motivation was that since True and False were written using Haskell syntax, so should the bottom.

from milewski-ctfp-pdf.

Makes sense to me as it's related to the preceding Haskell code. I see that in the next chapter the Unicode notation is indeed used instead. Thanks again for this great book!

from milewski-ctfp-pdf.