What Is a Double Square?