Nope, no great solution. What would be the "elegant way" of extracting the touched symbols ?