This document defines a minimal algebraic structure derived from the symbolic transformation rule:
(∘(in)(᛫) = ¬(᛫))
This rule parses as follows: the operator ∘(in) acts as an inversion-context application. When applied to an undifferentiated placeholder operand (᛫), it yields its logical negation, ¬(᛫).
This encodes the meta-rule: