\def(nl 0 {
})\
\def(a 0 a \(nl) b)\
\a