left "" g = A "←" x "→" H "↔" H right ""