. "([[hitet]] \u2192)" . . . .