Ring Theory: Fix incorrect symbol.