<<< tex 1. >>> native [ ENumber "1" , ESymbol Ord "." ]