๐ โข Glyphs โข DejaVu Sans, Book ๐ - mathematical double-struck digit seven DejaVu Sans, Book