Another tactic I tried by way of porting operator variables into Peirce’s logical graphs and Spencer Brown’s logical forms was to hollow out a leg of the latter’s crosses, gnomons, or markers, whatever you wish to call them, as shown below.

The initial idea I had in mind was the same as before, that the operator over would be counted as absent when evaluates to a space and present when evaluates to a cross.

However, much in the same way operators with a shade of negativity tend to be more generative than the purely positive brand, it turned out more useful to reverse the initial polarity of operation, letting the operator over be counted as absent when evaluates to a cross and present when evaluates to a space.

So that is the convention I’ll adopt from this point on.

cc: FB | Logical Graphs • Laws of Form • Ma^thstodon • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science