On Sat, 2015-12-26 at 18:53 +0100, Andreas Metzler wrote: > I do not know on how to improve on that. Feel free to close this > bug-report. I think the proper way would be to use some formatting to differ between terminal and non-terminal symbols. E.g. Underlining any non-terminal symbols. Cheers, Chris.
Attachment:
smime.p7s
Description: S/MIME cryptographic signature