So the formal syntax for <optional true> should be: > <optional {\tt true}>\is<optional spaces> > \alt<optional {\tt true}>[true]<optional spaces> I think you are right. I will put on the pile for Don's next review (in 2021). Thanks!