def _encode_base_10_number(n: int, symbols: str) -> str:
    """Write a number in base 10 using symbols from a given string.

    Examples:
    >>> _encode_base_10_number(42, "0123456789")
    "42"
    >>> _encode_base_10_number(42, "abcdefghij")
    "eb"
    >>> _encode_base_10_number(42, "₀₁₂₃₄₅₆₇₈₉")
    "₄₂"
    """
    return ''.join([symbols[int(digit)] for digit in str(n)])