roystgnr comments on You can’t signal to rubes

[roystgnr]

I think that instead of “&&” you mean “$Leftrightarrow$”