sexpr.egi

(define $unorderedPair unordered-pair)
(define $takeAndDrop take-and-drop)
(define $takeWhile take-while)
(define $dropWhile drop-while)
(define $deleteFirst delete-first)
(define $deleteFirst/m delete-first/m)

(define $dfNormalize df-normalize)
(define $antisymmetrize df-normalize)