尝试写一个双线 \ulcorner

Question

我的教授使用这个符号：来表示一种编码。

我尝试使用 Detexify 并在综合 LaTeX 符号列表中搜索该符号，但没有成功。

Answer 1

这有点像是集体努力的结果。我曾想过用负字距覆盖两个角。David 建议缩小间隙。这就是我下面要介绍的内容。

然而，我最初使用了成对的分隔符，而 campa 建议不要使用它们以避免其他问题。因此我们现在拥有的是复合分隔符。

\documentclass{article}
\usepackage{mathtools,amssymb}
\newcommand\dcorn[1]{\ulcorner\mkern-7mu\ulcorner\mkern-3mu#1%
  \mkern-3mu\urcorner\mkern-7mu\urcorner}
\begin{document}
\[
\dcorn{u}
\]
\end{document}

Answer 2

图片模式来救援！

\documentclass{article}
\usepackage{amsmath,amssymb}
\usepackage{pict2e,color}

\newcommand{\encoding}[1]{%
  \uldoublecorner
  \mspace{0.278mu}
  #1%
  \mspace{0.278mu}
  \urdoublecorner
}

\newcommand{\uldoublecorner}{\mathopen{\udoublecorner{1}{3}}}
\newcommand{\urdoublecorner}{\mathclose{\udoublecorner{4}{6}}}
\makeatletter
\DeclareRobustCommand{\udoublecorner}[2]{%
  \mathpalette\udoublecorner@{{#1}{#2}}%
}
\newcommand{\udoublecorner@}[2]{%
  \udoublecorner@@#1#2%
}
\newcommand{\udoublecorner@@}[3]{%
  \begingroup
  \settoheight{\unitlength}{$\m@th#1\ulcorner$}%
  \begin{picture}(0.7,1)
  \roundcap
  \Line(0.1,0.975)(0.6,0.975)
  \Line(0.#2,0.475)(0.#2,0.975)
  \Line(0.#3,0.475)(0.#3,0.975)
  \end{picture}%
  \endgroup
}
\makeatother

\begin{document}

$\encoding{u}$ $\scriptstyle\encoding{u}$

% examples with overlapping symbols and color

\leavevmode\rlap{$\ulcorner u\urcorner$}\textcolor{red}{$\encoding{u}$}

\leavevmode\rlap{$\encoding{u}$}\textcolor{red}{$\ulcorner u\urcorner$}

\end{document}

如果确实需要，可以通过改变脚本样式的线条粗细来改进。