Programming Language Theory Flashcard

What is the meaning of the of the notation gamma dash^{mathcal{u};mathcal{x}}_mathcal{r}j ParseError: Unexpected character: '' at position 7: gamma ̲dash^{mathcal{u…?

Books

Deckgeneral

Question

What is the meaning of the of the notation $γ ⊢_{𝓇}^{𝓊; 𝓍} j$ ?

Answer

What is the meaning of the of the notation gamma dash^{mathcal{u};mathcal{x}}_mathcal{r}j ParseError: Unexpected character: ' ' at position 7: gamma ̲dash^{mathcal{u…?