理由が分からないまま「欠落番号、ゼロとして扱われます」というエラーが表示されます

理由が分からないまま「欠落番号、ゼロとして扱われます」というエラーが表示されます

次のテストコード

\documentclass[11pt,a4paper]{article}

\begin{document}
\section{Introduction}

[DWP (1981), Heim \& Kratzer (1990)] \\ [[`vi is mortal']]g= 1 iff [[`mortal']] g([[vi]]g) \\ [[`mortal'] ]g([[vi]]g) iff $\lambda$x.mortal(x)(g(vi))

\end{document}

次のエラー メッセージが生成されます:

! Missing number, treated as zero.
<to be read again> 
[
l.6 ... Heim \& Kratzer (1990)] \\ [[`vi is mortal']
                                                  ]g= 1 iff [[`mortal']] g([...

? 

理由は分かりません。誰か何か考えはありますか?

答え1

\\ [...]この問題は、 の使用法と一致する入力パターン によって発生します\\[<dimen>]。歴史的な理由により、構文 では\\[<dimen>]、 の前にスペースを入れることが許可されています (つまり、無視されます) [

\\\relax回避策として使用できます。

\documentclass[11pt,a4paper]{article}

\begin{document}
\section{Introduction}

[DWP (1981), Heim \& Kratzer (1990)] \\\relax
[[`vi is mortal']]g= 1 iff [[`mortal']] g([[vi]]g) \\\relax
[[`mortal'] ]g([[vi]]g) iff $\lambda$x.mortal(x)(g(vi))

\end{document}

PS: 疑似コードをタイプセットするには、逐語的な環境またはアルゴリズム パッケージが必要になる場合があります。

関連情報