Change \of to a math operator. Add \iso command for isomorphism