Регулярные выражения в WinEdt: поиск формул с неиспользуемыми номерами

[cypok]

На всякий случай, если кто-то захочет решить задачу из топика более фундаментально: refcheck.

RefCheck.sty is intended to check references. It looks for numbered but unlabelled equations, for labels, which are not used in the text, for unused bibliography references. Besides, it displays label and bibitem `keys' in text margins.

[Singul]

Большое спасибо! Каюсь, к сожалению не знал. В своё время безуспешно пытался нагуглить такого рода решение, используя фразы наподобие: latex labels are never used (возможно потому, что тогда я ещё не слышал о регулярных выражениях и соответственно обходился без них при использовании google и других поисковиков). Поиск и запросы на разного рода тематических форумах тоже не дали результата (кроме разве что RefTeX, но последний реализован только под Emacs, частью которого теперь и является).

Впрочем, даже если бы и знал, всё равно, скорее всего, описал именно этот пример, потому как на нём идея использования регулярных выражений и макросов в поиске WinEdt раскрывается особенно наглядно. Кроме того, хотелось не только рассказать о данном механизме, но и сделать это на примере такой задачи, которая могла бы быть интересна и полезна не только мне одному. Хотя, конечно, идея эта весьма плодотворна и уже применялась мною не один раз (в частности, в связи с редактировании разного рода латеховских окружений).

[rkh]

Есть вот такое решение похожей проблемы: добавить в преамбулу

\usepackage{mathtools}  
\mathtoolsset{showonlyrefs}  

Тогда формулы, ссылок на которые в тексте нет, будут напечатаны без номеров, даже если у них есть \label. Меня грешным делом обычно больше заботит внешний вид выходного документа, чем эффективность кода, поэтому такое решение вполне устраивает.

Вообще пакет mathtools еще какие-то полезные штуки предлагает по поводу отображения формул, рекомендую.