Ticker symbol for Westinghouse Corp?

Westinghouse Electric Company is majority owned by Toshiba Corporation and is a leading supplier of nuclear plant products and technologies to utilities throughout the world. TOSHIBA PLANY SYSTEMTOISFTOSHIBA CORPORATIONTOSBFTOSHIBA CORPORATIONTOSYY