![](https://secure.gravatar.com/avatar/27c34cb91f1e92bd850fe60b3d9ef336.jpg?s=120&d=mm&r=g)
6 Oct
2012
6 Oct
'12
1:31 a.m.
Hi Hans, -\unexpanded\gdef\symb_show_set - {\dosingleargument\doshowsymbolset} +\unexpanded\gdef\showsymbolset + {\dosingleargument\symb_show_set} Wolfgang