# Fuzzy logic operator symbols

How can I write in Latex symbols for standard or Łukasiewicz conjunction like these?

Thank you

-
It looks like \mathop{\tt and}\nolimits in plain TeX... –  Alex Nelson Dec 30 '13 at 15:45
What about \wedge? –  ppr Dec 30 '13 at 16:02
can you cite a published reference where these are used, please? (an arXiv article or other on-line reference would be most convenient.) –  barbara beeton Dec 30 '13 at 16:04
It's my homework assignment: cw.felk.cvut.cz/wiki/_media/courses/ae4m33rzn/fl_assignment.pdf Here are lecture slides: cw.felk.cvut.cz/wiki/_media/courses/ae4m33rzn/… –  Messa Dec 30 '13 at 16:07
the example shown in the slides (p.49 according to adobe reader) appears to use \underset (from amsart) as the "S" is clearly not snugged up into the wedge. but it's probably somewhat a matter of taste, so the answer by @StevenSegletes seems to satisfy that condition. (but it isn't a new symbol to be considered by unicode, which is why i asked for a reference.) –  barbara beeton Dec 30 '13 at 16:36

If you don't need them in subscripts or superscripts, here's a way:

\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}


-

This keeps the "S" and "L" in non-italic upshape, as given in your example.

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


-