Latex rendering: Render square brackets (from KlistWrap) as terminals.