User blog comment:Deedlit11/My humble extension of FOOT/@comment-30118230-20161222140851

I don't get it.How is \(\text{FOST}^1_0\) equivalent to FOOT?