DejaVu Serif, Book - ⊨