часто в документации встречается обозначение “::=”

это чисто логическое обозначение для документации или в Python реально есть такой оператор?

Это часто применяющаяся запись для определения символа в EBNF.