∙→ fixity
small change for nicer wedge def'n