Python正式定义的字符串插值运算符在哪里？

Question

我正在撰写一篇关于Python字符串格式的文章，我很好奇正确定义了％运算符的工作原理。我找不到定义运算符的PEP，我只在官方文档中找到了引用。

对于Python 2.7：https://docs.python.org/2.7/library/stdtypes.html#string-formatting-operations
对于Python 3.6：https://docs.python.org/3.6/library/stdtypes.html#printf-style-string-formatting

有谁知道我在哪里找到它们？

Answer 1

根据Steven Rumbalski的回答，我决定将这个问题标记为已回答。

不幸的是，除了文档之外，似乎没有插值运算符的正式定义。