One inside case modulesymbol and another one here. They look quite similar.