Ese código no son de opciones del miniSP, sino del SPY (ETF que replica el SP500).
SPY es el nombre del ETF.
El resto de números hacen referencia al strike price, a la fecha de expiración y al tipo de opción.
Saber el código de una opción es lo de menos. Lo importante es entender una cadena de opciones, pues luego, cuando introduzcas la orden, no tienes que meter ningún código (esto lo hace el bróker por ti), sólo tienes que indicar: strike, tipo de opción y expiración.
Te dejo algunos links que te interesarán:
Cadena de opciones: http://www.sharkopciones.com/blog/noticia-76
Conceptos educativos: http://www.sharkopciones.com/blog/categoria-11
Saludos.