“The term "high frequency trading" was coined at Citadel by a former string theorist to differentiate short-term trading strategies from longer-term ones.”