http://static.rust-lang.org/doc/master/rust.html#machine-types currently has text like `$[0, 2^8 - 1]$`. It looks like it’s supposed to be rendered as a nicely formatted equation, and maybe was at some point.