Closed Pi-Cla closed 2 months ago
\TRule{\Box}{\True} should be \TRule{\True}{\Box} as the macro already swaps the symbols
\TRule{\Box}{\True}
\TRule{\True}{\Box}
\TRule{\Box}{\True}should be\TRule{\True}{\Box}as the macro already swaps the symbols