UTS18 set notation in regular expressions. Contribute to sloppyjuicy/proposal-regexp-set-notation development by creating an account on GitHub.

Set notation Set notation is used in mathematics to essentially list numbers, objects or outcomes. Set notation uses curly brackets { } which are sometimes referred to as braces.

This allows set theory notation like {(a, b) : Nat × Nat | a < b}. I have set the priority lower than all other set theory notation defined in Mathlib.Init.Set.lean, so this shouldn't interfere with ...

Historical Topics: A History of Set Theory Notation Mathematics in School , pp. 17-20 (4 pages) Published By: The Mathematical Association ...