Implemented #166: lmh symbols takes dash-equivalence into account