code: def tokenize_punctuation_command(text):
      
      if text.peek() == '\\':
          for point in PUNCTUATION_COMMANDS:
              if text.peek((1, len(point) + 1)) == point:
                  return text.forward(len(point) + 1)
docs: Process command that augments or modifies punctuation.
  
      This is important to the tokenization of a string, as opening or closing
      punctuation is not supposed to match.
  
      :param Buffer text: iterator over text, with current position