File:HasegawaSymbol.png