Is this a typo in the "Elementary Introduction to WL" book?

[xdavidliu (David Liu)]

I’m reading the notebook version of the book on my desktop copy of Mathematica. In chapter 28 “Tests and conditionals”, the text (as rendered) shows

You can also test for less than or equal using ≤, which is typed as ≤.

You can test whether two things are not equal using ≠, which is typed as ≠

Clearly the “which is typed as” is not so useful here, and the second instances of those symbols were not supposed to be “pretty-printed” like that: Instead, the intent was for the sentences to end as

… using ≤, which is typed as <=.

… using ≠, which is typed as !=.

[tomasgarza10 (Tomas Garza)]

Odd…! I couldn’t replicate the problem you mention. I checked the online version of the EIWL book, as well as the printed version, and in both cases the sentences appear just as you suggest.

[rohitnamjoshi]

Same here. Unable to reproduce on “13.1.0 for Mac OS X ARM (64-bit) (June 16, 2022)” or WolframCloud.

[xdavidliu (David Liu)]

I’m using Debian 11 and Mathematica 13.1. Here’s a screenshot of what I’m talking about.