notation < "hvbox((\lfloor term 19 p \rfloor) \sub ident i)" with precedence 90
for @{ 'sequence (\lambda ${ident i} : $t . $p)}.
notation < "hvbox((\lfloor term 19 p \rfloor) \sub ident i)" with precedence 90
for @{ 'sequence (\lambda ${ident i} : $t . $p)}.