“白色方括号”〚 和 〛 的 LaTeX 代码

Question

可能重复：
如何查找符号？

如何将黑板上的符号变成粗体方括号，例如 [[。所讨论的符号用于包含在命题逻辑中讨论其真值的公式。谢谢和问候符号的图像：

Answer 1

您正在寻找

• \llbracket并\rrbracket从stmaryrd包裹中
• \textlbrackdbl并\textrbrackdbl从textcomp包裹中

解毒是一个在线工具，可以帮助您通过绘制来查找乳胶符号。