texmath-0.13.1.2: test/writer/tex/digit-double-struck.test

<<< native
[ EText
    TextNormal
    "\120792\120793\120794\120795\120796\120797\120798\120799\120800\120801"
]
>>> tex
\text{𝟘𝟙𝟚𝟛𝟜𝟝𝟞𝟟𝟠𝟡}