• Characters
• »
• ⎮ - integral extension
• »
• Glyphs

DejaVu Sans, Book

DejaVu Serif, Book