在计算机科学中（特别是在使用EBNF的元语言中），做符号 - ＆gt;和＆ - 有特定的含义？

Question

如果这不属于SO的领域，我表示道歉 - 这有点高级/理论。 我正在研究一种自定义语言规范（如果你感兴趣，可以称为ACELandic）。它基于Extended Backus-Naur Form（EBNF）。

我看到像

这样的符号

<- 

->

<=

=>

这真让我感到困惑。 这些是标准符号吗？我在Haskell回忆起这样的事情，但是我无法理解这一点......我很感激任何提示或建议。