Symbol: sqrt2