bnf - 在计算机科学中（尤其是在使用 EBNF 的元语言中），符号 -> 和 <- 是否具有特定含义？

Question

如果这不在 SO 的领域内，我深表歉意——它有点高级/理论。我正在研究自定义语言规范（如果您有兴趣，称为 ACELandic）。它基于扩展巴科斯-瑙尔形式（EBNF）。

我看到像这样的符号

<- 

->

<=

=>

这真的让我很困惑。这些是标准化的符号吗？我记得在 Haskell 中这样的东西，但我无法理解这一点。我感谢任何提示或建议。