code: def to_char(token):
      
      if ord(token) in _range(9216, 9229 + 1):
          token = _unichr(ord(token) - 9216)
  
      return token
docs: Transforms the ASCII control character symbols to their real char.
  
      Note: If the token is not an ASCII control character symbol, just
      return the token.
  
      Keyword arguments:
      token -- the token to transform