次のようなメタ記号を使う。$`\newcommand{\TS}{\mathrel{\,|\!-} } \newcommand{\TTS}{\mathrel{\,||\!-} } \newcommand{\TTTS}{\mathrel{\,|||\!-} } \newcommand{\Imp}{\Rightarrow } \newcommand{\Iff}{\Leftrightarrow } \newcommand{\In}{\text{ in } …

長谷川真人さんの "Classical Linear Logic of Implications"https://www.kurims.kyoto-u.ac.jp/~hassei/papers/clli.pdf ：加法的〈非線形〉コンテキストと乗法的〈線形〉コンテキストを持つ型判断〈typing judgement〉$`\quad \Gamma ;\Delta \vdash M:\si…