$\forall \row . < name : string; \row> \rightarrow string$latex起動！エラー。\rowなんて知りません。…… $\forall \raw . < name : string; \raw> \rightarrow string$latex起動！エラー。\rawなんて知りません。…… $\forall \ro . < name : string; \ro…