phukraut - and define the symbols with what?
Then again, you're probably right - but I'd go one further and remove the argument itself. Just leave the symbols and people can go around having petty arguments like:
> (A & B) -> C
> A
> B
> ergo C
n0 way man WTF!!!! j00 R r0ng.
ergo (not) C
(big
)