https://mingredbestcheapprice.blogspot.com/2024/02/boolean-operation-with-symbol-in-sympy.html