<div dir="ltr">Sorry, my mistake. You're right. I thought `true` can be repeating for some reason.<div><br></div><div>As <optional spaces> appear in both cases, the syntax could be</div><div><br></div><div>> <span style="color:rgb(0,0,0);white-space:pre-wrap"><normal dimen>\is<internal dimen>\alt<factor></span><optional spaces><span style="color:rgb(0,0,0);white-space:pre-wrap"><unit of measure></span></div><div><span style="color:rgb(0,0,0);white-space:pre-wrap">> <unit of measure>\is</span><span style="color:rgb(0,0,0);white-space:pre-wrap"><internal unit></span></div><div><span style="color:rgb(0,0,0);white-space:pre-wrap">>   \alt</span><span style="color:rgb(0,0,0);white-space:pre-wrap"><optional {\tt true}><physical unit><one optional space></span></div><div><span style="color:rgb(0,0,0);white-space:pre-wrap">> </span><span style="color:rgb(0,0,0);white-space:pre-wrap"><optional {\tt true}>\is[true]</span><optional spaces><span style="color:rgb(0,0,0);white-space:pre-wrap">\alt<empty><br></span></div><div><span style="color:rgb(0,0,0);white-space:pre-wrap"><br></span></div><div><span style="color:rgb(0,0,0);white-space:pre-wrap">Regards,</span></div><div><span style="color:rgb(0,0,0);white-space:pre-wrap">Young Min Kim</span></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Oct 27, 2019 at 4:25 PM Julian Gilbey <<a href="mailto:julian@d-and-j.net">julian@d-and-j.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Thu, Oct 24, 2019 at 05:08:39PM -0600, Karl Berry wrote:<br>
>     So the formal syntax for <optional true> should be:<br>
> <br>
>     > <optional {\tt true}>\is<optional spaces><br>
>     >   \alt<optional {\tt true}>[true]<optional spaces><br>
> <br>
> I think you are right. I will put on the pile for Don's next review (in<br>
> 2021). Thanks!<br>
<br>
I think there's a typo here, as that would allow the impermissible<br>
"truetrue".<br>
<br>
Rather, the following appears to be the correct replacement:<br>
  <optional {\tt true}>\is<optional spaces><br>
    \alt<optional spaces>[true]<optional spaces><br>
<br>
Best wishes,<br>
<br>
   Julian<br>
</blockquote></div>