我正在寻找的符号可以有多个名称，我想用于“收缩”（一个度量和一个集合）。
它应该看起来像 \square 的左下半部分，即像 \llcorner 但更大。我发现了包含该符号的不同软件包，但它们似乎都与 amssymb 不兼容。
有人知道在哪里可以找到这样的符号吗？谢谢
latex symbols
latex ×1
symbols ×1