How is this symbol encoded?