Need help identifying synth song that appears with the math symbols.