History of deqn