[Spot] check equivalence from files?

Question about the command line interface. I know something like ltlfilt -f 'a U (b U a)' --equivalent-to 'b U a’ can be used to determine if two LTL formulas are equivalent. Is there a way to do that if both formulas are in files? From the man page I could only see how to make the first formula come from a file (-F).