如何在符号的右侧放置一条垂直线？

Question

我想创建一个如下所示的符号：

我最近了解到我可以用来\underset{-}{\lessdot}获得：

但我需要在右侧添加另一条垂直线。我该怎么做？

Answer 1

你可以自己动手，把 放进\cdot去\triangleleft。我更喜欢使用\underline而不是\underset

\documentclass{article}

\newcommand{\tdot}{\underline\triangleleft\kern-3.2pt{\cdot}\thinspace}

\begin{document}

\[
x \tdot y
\]

\end{document}