Girardの論文でフとヲを使っているのをチラ見したことがあるがこれらが何を指しているものなのか及びなぜこの記号で導入したのかはよくわかっていない
https://girard.perso.math.cnrs.fr/trsy4.pdf
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。