[1] MathML では、unsigned-integer は、非負整数を表す複数の decimal-digit の文字列です。正数を表します。

[2] >>1 の MathML における定義は、空文字列が含まれるのかどうかあまり自明ではありません。 多分含まれないと思いますが・・・。