metachirality comments on Algebraic Linguistics

[metachirality]

Well that’s because it’s meant to be quantifying over linear equations.$x$ and $y$ are not meant to be replaced but $a$ and $b$ are.