I have a description list with a long label: (1) ↔ (2) ↔ (3) ↔ (4) ↔ (5) ↔ (6)
If I replace numeric labels with references, it becomes yet wider and may not fit on screen. What to do? I need references, not just numeric labels. I could type the labels in ERT, but can I add an ERT inside a description list? -- Victor Porton - http://portonvictor.org
