#224·monoid左箭头图标显示为 `-`作者: tcmassony创建于 2019年1月18日更新于 2023年11月3日在输入序列 <- 时,连接符会显示为 - 字形。 内容来源: larsenwork/monoid查看 GitHub 原文在 GitHub 查看讨论