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