Encodings for Unicode Character 'MATHEMATICAL DOUBLE-STRUCK DIGIT SEVEN' (U+1D7DF)