Which is the index symbol for eur.usd minfuture, or eur/usd forex currency? Is there something more than usd symbol worth about 72,20 now? Thanks in advance