See https://cadabra.science/qa/1284/extending-zoom-function ; we need a way to specify that the pattern a Q?? should match even when Q?? is empty, or there should be a way to specify multiple patterns in a single zoom, so that zoom(_, $a, a Q??$) works.
See https://cadabra.science/qa/1284/extending-zoom-function ; we need a way to specify that the pattern
a Q??
should match even whenQ??
is empty, or there should be a way to specify multiple patterns in a single zoom, so thatzoom(_, $a, a Q??$)
works.