for @{ 'comprehension $s (\lambda ${ident i}. $p)}.
notation "hvbox(a break ∈ b)" non associative with precedence 45
for @{ 'mem $a $b }.
for @{ 'comprehension $s (\lambda ${ident i}. $p)}.
notation "hvbox(a break ∈ b)" non associative with precedence 45
for @{ 'mem $a $b }.