Re-instate pretty double angle bracket symbol

Prefer these over two single large angle brackets, not sure if they were
lost in a merge or intentionally removed.