import re


def split_to_list(expr):
    """
    turns the expression into a list, using '( )!¬·+-' as delimiters. Case is ignored.
    """
    return [e for e in re.split('([(| |)|!|¬|·|+|-|↓|↑])', expr.upper()) if e != " " and e != ""]