As a temporary fix to an on-going bug, you can now type: ))<>(( in a comment and it will show up as ))((. You're welcome!