<<< native [ EText TextNormal "\160" ] >>> tex \text{~}