P
Initializing...
`v` on scalars is `q ↦ q⁻¹`. · Prove2Me