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.
smime.p7s
Description: S/MIME cryptographic signature