html5char.py

from html.entities import entitydefs
from functools import partial

def html5char(value):
    def key_find(find_value, key):
        return entitydefs[key] == find_value
    
    f = filter(partial(key_find, value), entitydefs)
    
    return "&{0};".format(tuple(f)[0])