Hodge structure
Definition of mixed Hodge structure.