What is a hydrocarbon, C13H26, of the ethylene series, corresponding to tridecane, and obtained from Burmah petroleum as a light colorless liquid; -- called also tridecylene, and tridecene called?

tridecatylene — A hydrocarbon, C13H26, of the ethylene series, corresponding to tridecane, and obtained from Burmah petroleum as a light colorless liquid; -- called also tridecylene, and tridecene. (Webster's 1913.)