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