FYI You can literally ask the same question to the terminal -- we process English language queries (and can resolve textual company names to tickers :)).