Funny high-frequency trading quotes