如何绘制 Dijkstra 的保护命令语言的框？

Question

我想知道是否有一个标准的、规范的方法来排版 Dijkstra 的 GCL 中的程序（472 型）。特别是，我对一个命令感兴趣，该命令[]为

理想情况下，该框还应该显示为生成的 PDF 文件的文本层中的一些有意义的 Unicode 符号（或符号），而不是从 NFSS 符号获得的通常的乱码。

\fbox目前，我只是用适当的白色s绘制一个框\rule，这有点非常临时。解毒给出零可用结果，并且形状捕手给出了太多看起来相同的白色矩形框，其中没有一个在 Dijkstra 符号附近有描述。

  

Answer 1

尝试2AFF。

这不是一件容易找到的事情；当数学符号（和其他技术符号）被提交给 Unicode 时，他们拒绝任何包含与现有形状非常相似的形状的尝试，而且当时参与编写提交内容的人并不知道这个符号的含义。他们最终放宽了指导方针，并接受了这个符号，理由是它在其他类似形状不可接受的环境中使用。

Unicode 中的规范名称是“n 元白色竖线”，虽然具有描述性，但并未说明其用途。后来添加的内容给出了更有用的含义：“n 元 Dijkstra 选择”。我希望这与您要寻找的足够接近。

附录：
该符号应以名称出现在 stix 字体中\bigtalloblong。这也不是一个特别好的名字，我已经向软件包的维护者建议unicode-math，也许可以设计出更好的替代名称。

更新
@MdAyq 的评论表明 2AFF 在显示中太大，而 2AFE 可能更合适。这似乎有道理，但超出了我的个人知识范围。此符号在 STIX 字体中的名称为\talloblong，在 中的名称也相同unicode-math。