A small fix for negative numbers

Because I highlight symbols separately, somehow by loading the html
syntax file it would clobber my negative numbers and not interpret them
as numbers. By removing the `-` sign from the number detection, I fixed
this problem completely.
Fancifying symbols for Arrays