added functions for m -> n symbol matching