Bar-repeat sign too big in small font

Printable View