MATHEMATICAL DOUBLE STRUCK DIGIT SEVEN