House style is to prefer double-quotes.