Return a list of symbols.

def symbols():
    """Return a list of symbols."""
    symbols = []
    for line in symbols_stream():
        symbols.append(line.decode('utf-8').strip())
    return symbols