def hex_char_to_bin(hex: str) -> str:
    """
    Convert a single hex character to it's binary
    representation

    >>> hex_char_to_bin("F")
    '1111'

    >>> hex_char_to_bin("7")
    '0111'
    """
    return bin(int(hex, 16))[2:].zfill(4)