for char in str.chars:
    record = str.table[char]
if record:
    name = record[1].strip()
if name and name[0] != '<':
    names[char] = name + chr(0)
Как я могу определить символ Unicode по его имени в Python, даже если этот символ является управляющим?