<pre>, the tag
<b> is visually ignored on the mobile version and on some Window-versions.
false should be bold. And the part right to it should be
Then, click on "mobile" to switch to the mobile version. In the mobile version downmarked bold tt annotations are still present, like
false, but all bold is gone from the
Just as a side remark: the request for further markup in
<pre> has been refused on the grounds that real programs do not posses such annotation either. But in this case here a program is annotated to explain properties of the program.