Math Comprehension

Axiom of Comprehension

A macro libarary allowing you write as exactly how you write in Math notation:

comp {x|x ∈ {1,2,3}, x > 1}

Or use `in` (in AccQuoted) over ∈

Simple x in {1,2} will be considered as predictition

comp {x|x `in` {1,2}}