Token code: 262 Token value: α Token code: 260 Token value: Token code: 261 Token value: ∀ Token code: 260 Token value: Token code: 262 Token value: β