Comment Comment by ubavic That is something I accidentally discovered. TexInfo also uses @. parent ubavic 11 months ago