Encodings for Unicode Character 'MUSICAL SYMBOL CUT TIME' (U+1D135)