#!/usr/bin/tclsh
gets stdin li

# for {} {![eof stdin]} {gets stdin li} {
#   if {[regexp "^%:\[ \t\]*(\\^.*\$)" $li -> names]} {
#     regsub -all {\^} $names { } names 
#     puts [format {$$\ded{%s}$$} [join $names "\} \\qquad \\ded\{"]]
#   }
# }

for {} {![eof stdin]} {gets stdin li} {
  if {[regexp "^%:" $li]} {
    set names {}
    regsub "( \t)+" $li " " li
    foreach str [split $li] {
      if {[regexp {^\^(.+)} $str -> name]} {
        lappend names $name
      }
    }
    if {$names!=""} {
      puts [format {$$\ded{%s}$$} [join $names "\} \\qquad \\ded\{"]]
    }
  }
}