Dear Vladyslav,
I just realized that when you copy and paste the code from the arXiv the "->" symbol gets transformed into characters which the bare eye can not distinguish.
Once that "->" symbol and the doubled "=" are changed everything works fine.
Thank you so much!
This archive was generated by hypermail 2b29 : 09/04/20-12:55:05 AM Z CEST