“Tenedor”, en la jerga bursátil, se le llama a quien compra una opción, mientras que “lanzador” es quien la vende.