Thread:Haloprov/@comment-226878-20131114212231/@comment-226878-20140602202600

I uploaded sharper versions of the symbols.