<div dir="ltr">Hi all,<br><div><br></div><div>I'm wondering why the second line in my definition for `<font face="monospace"><b>xor</b></font>` below is being partially highlighted in a very light gray background, as shown.</div><div><br></div><div>Thanks,</div><div>-db</div><div><br></div><div><font face="monospace">data Bin : Set where<br>  ⟨⟩ : Bin<br>  _O : Bin → Bin<br>  _I : Bin → Bin<br></font></div><div><font face="monospace"><br></font></div><div><font face="monospace">_xor_ : Bin → Bin → Bin<br>⟨⟩    xor y      =  y<br><span style="background-color:rgb(238,238,238)">x     xor ⟨⟩</span>     =  x<br>(x O) xor (y O)  = (x xor y) O<br>(x O) xor (y I)  = (x xor y) I<br>(x I) xor (y O)  = (x xor y) I<br>(x I) xor (y I)  = (x xor y) O<br></font></div><div><br></div></div>