Question
How to locate a command
On my system is a customized command "OberflaeSymbole" its not a bad one. But unfortunately there is a small error in it and for me that means I have to change the symbol height to change every time from 2.5 to 3.5.
I'd like to fix that but I don't know how to find the file in which the command is located.
Help will be appreciated.

