Complex structure on a real vector space V is an automorphism of V that squares to the minus identity