ファジー論理演算子記号

ファジー論理演算子記号

このような標準接続詞またはŁukasiewicz接続詞をLaTeX記号で記述するにはどうすればよいでしょうか?

スクリーンショット

ありがとう

答え1

これにより、例に示されているように、「S」と「L」が非イタリックな上向きの形状に保たれます。

\documentclass{article}
\usepackage{stackengine}
\begin{document} 
$ a \mathrel{\stackunder[-1pt]{$\wedge$}{\tiny L}} 
  b \mathrel{\stackunder[-1pt]{$\wedge$}{\tiny S}} c$
\end{document}

ここに画像の説明を入力してください

答え2

下付き文字や上付き文字が必要ない場合は、次の方法があります。

\documentclass{article}

\newcommand{\landl}{\mathbin{\landx{L}}}
\newcommand{\lands}{\mathbin{\landx{S}}}

\newcommand{\landx}[1]{%
  \ooalign{%
    $\land$\cr
    \noalign{\kern.5ex}
    \hidewidth$\scriptscriptstyle#1\mkern1.5mu$\hidewidth\cr
  }%
}

\begin{document}
$a\landl b\lands c$
\end{document}

ここに画像の説明を入力してください

関連情報