Did you know that gender identity disorder in children is a diagnosis formally recognized in 1980 that often involves controversial therapeutic intervention?