DejaVu Serif, Book - 𝔼