Use an explicit syntax table for trifle highlighting, so characters are
highlighted correctly.