File:Christensen symbol.svg