Re: [NTG-context] Thicker \cdot ?