agnoster theme: Use other unicode chars