我怎样才能在乳胶中生成这个表达式：⌜A⌝？

Question

我想在我的文档中引入一个独特的运算符。我基本上希望它看起来像这样：⌜A⌝，其中A只是一个任意语句。所以“⌜⌝”是运算符。

我如何才能在这里生成⌜和⌝符号？到目前为止，我得到的最接近的是\lceil和\rceil命令，但它们并不令人满意，因为它们太大了。它看起来就像这样：⌈A⌉。我如何才能为我正在寻找的运算符类型创建新命令？

我在 overleaf 上使用amsmathLuaLaTeX，以防这与此相关。

Answer 1

如果软件包提供的\ulcorner和符号的版本对您来说有点太大，您可以尝试软件包中提供的那些。\urcorneramssymbunicode-math

根据构成 参数的字母\upcorner，可能需要进行一些微调。例如，对于字母T， 的输出\upcorner{\,T}看起来比 的输出更好\upcorner{T}。

% !TEX TS-program = lualatex
\documentclass{article}
\usepackage{mathtools}    % for \DeclarePairedDelimiter macro
\usepackage{unicode-math} % for \ulcorner and \urcorner macros
\newcommand\upcorner[1]{\ulcorner\!#1\urcorner}
\DeclarePairedDelimiter\ceil\lceil\rceil % just for comparison

\begin{document}
$\upcorner{A}\ \upcorner{B}\ \upcorner{C}\ \dots\ 
 \upcorner{X}\ \upcorner{Y}\ \upcorner{Z}$

$\scriptstyle\upcorner{A}\ \upcorner{B}\ \upcorner{C}\ \dots\ 
 \upcorner{X}\ \upcorner{Y}\ \upcorner{Z}$
 
$\scriptscriptstyle\upcorner{A}\ \upcorner{B}\ \upcorner{C}\ \dots\ 
 \upcorner{X}\ \upcorner{Y}\ \upcorner{Z}$


\medskip
$\upcorner{A}$ vs.\ $\ceil{A}$  
\end{document}

Answer 2

您可以\urcorner尝试\ulcorner：amssymb

\documentclass{article}

\usepackage{amssymb}

\begin{document}

\[
 \ulcorner T \urcorner
\]

\end{document}

Answer 3

"C:\texlive\2023\texmf-dist\doc\latex\comprehensive\symbols-a4.pdf"您可以通过进行搜索\ulcorner。

\documentclass{article}
\usepackage{amsmath}
\usepackage{amssymb}
% \usepackage{MnSymbol}
% \usepackage{fdsymbol}
% \usepackage{stix}
% \usepackage{mathabx}
\begin{document}
$\ulcorner A\urcorner$ amssymb
% $\ulcorner A\urcorner$ MnSymbol
% $\ulcorner A\urcorner$ fdsymbol
% $\ulcorner A\urcorner$ stix
% $\ulcorner A\urcorner$ mathabx
\end{document}

Answer 4

变体https://tex.stackexchange.com/a/674742/4427

\documentclass{article}
\usepackage{amsmath}
\usepackage{tikz}

\makeatletter
\NewDocumentCommand{\godel}{m}{{\mathpalette\godel@{#1}}}
\newcommand{\godel@}[2]{%
  \mspace{1\medmuskip}%
  \vphantom{#2}%
  \begin{tikzpicture}[baseline=(M.south)]
    \node[inner ysep=0pt,inner xsep=3pt](M){\smash[b]{$\m@th#1\mathstrut#2$}};
    \draw([xshift=-1mm]M.north east)--(M.north east)--++(0,-.1);
    \draw([xshift=1mm]M.north west)--(M.north west)--++(0,-.1);
  \end{tikzpicture}%
  \mspace{1\medmuskip}%
}
\makeatother

\begin{document}

$\godel{A}$

$\godel{a+b}$

\medskip

$\displaystyle\godel{\sum_{n\ge0}a_n}$

\end{document}