![](https://secure.gravatar.com/avatar/4ecdc932663fb2bc14337f4516d53ed1.jpg?s=120&d=mm&r=g)
8 Jan
2019
8 Jan
'19
10:46 p.m.
You're right, my example was broken. With \stops it works as intended, as does your example. Thanks,